Search Results

Vehicle-to-vehicle (V2V) and vehicle-to-infrastructure (V2I) communications are gaining increasing importance in automotive research and engineering domains. The novel communication scheme is targeted to improve driver safety (e.g., forward collision warnings) and comfort (e.g., routing to avoid congestion, automatic toll collection, etc.). Features exploiting these communication schemes are still in the early stages of research and development. However, growing attention to system wide infrastructure - in terms of OEM collaboration on interface standardization, protocol standardization, and government supported road/wireless infrastructure - will lead to popularity of such features in the future. This paper focuses on evaluating reliability and safety/integrity of data communicated over the wireless channels for early design verification. Analysis of a design can be done based on formal models, simulation, emulation, and testing.

Future automobiles are required to support an increasing number of complex, distributed functions such as active safety and X-by-wire. Because of safety concerns and the need to deliver correct designs in a short time, system properties should be verified in advance on function models, by simulation or model checking. To ensure that the properties still hold for the final deployed system, the implementation of the models into tasks and communication messages should preserve properties of the model, or in general, its semantics. FlexRay offers the possibility of deterministic communication and can be used to define distributed implementations that are provably equivalent to synchronous reactive models like those created from Simulink. However, the low level communication layers and the FlexRay schedule must be carefully designed to ensure the preservation of communication flows and functional outputs.