ABSTRACT
The main purposes of electronic systems is to assist the driver to control the vehicle through functions related to the steering, traction, or braking such as the anti-lock braking system, electronic stability program, Electric Power Steering, active suspensions, or engine control. The main function of the powertrain domain is controlling the engine. There are two main paradigms for communications in automotive systems: time-triggered and event- triggered. The communication protocol must define a policy to grant access to the bus to avoid collisions; for instance, the strategy used in controller area network (CAN) is to assign a priority to each frame and to give the bus access to the highest priority frame. The CAN is without a doubt the most widely used in-vehicle network. The verification of the performances of a communication system is twofold. This is typically the case for real-time constraints on tasks and signals, where the patterns of activations and transmissions have to be identified.
