Title :
Pervasive Layered Verification of a Distributed Real-Time System
Author_Institution :
Saarland Univ., Saarbrucken
Abstract :
We deal with a distributed time-triggered system consisting of several electronic control units (ECUs). Each ECU contains a processor and a FlexRay-like interface that is connected to a bus. An OSEKtime-like operating system is running on all ECUs. We develop a detailed model of this system and prove its correctness. To do so we formally argue about operating system and driver correctness, termination of applications, and the communication behavior.
Keywords :
distributed processing; operating systems (computers); real-time systems; user interfaces; FlexRay-like interface; OSEKtime-like operating system; distributed real-time system; distributed time-triggered system; electronic control units; pervasive layered verification; Automotive engineering; Buffer storage; Communication standards; Communication system control; Computer science; Concrete; Control systems; Operating systems; Real time systems; Tin; distributed; pervasive; real-time; time-triggered; verification;
Conference_Titel :
Systems, 2008. ICONS 08. Third International Conference on
Conference_Location :
Cancun
Print_ISBN :
978-0-7695-3105-2
Electronic_ISBN :
978-0-7695-3105-2
DOI :
10.1109/ICONS.2008.10
