DocumentCode
3319911
Title
Pervasive Layered Verification of a Distributed Real-Time System
Author
Knapp, Steffen
Author_Institution
Saarland Univ., Saarbrucken
fYear
2008
fDate
13-18 April 2008
Firstpage
323
Lastpage
328
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/ICONS.2008.10
Filename
4497144
Link To Document