Bibliograph. Daten | Montag, Pascal; Nowotka, Dirk; Levi, Paul: Verification in the Design Process of Large Real-Time Systems: A Case Study. In: Automotive Safety and Security 2006, Stuttgart (Germany), October 12-13, 2006. Universität Stuttgart, Fakultät Informatik, Elektrotechnik und Informationstechnik. S. 1-13, englisch. Shaker Verlag, Oktober 2006. Artikel in Tagungsband (Konferenz-Beitrag).
|
CR-Klassif. | I.2.9 (Robotics) I.2.10 (Vision and Scene Understanding) I.2.11 (Distributed Artificial Intelligence)
|
Keywords | complex real-time systems; automotive safety |
Kurzfassung | A verification case study of a complex real-time system from the automotive area, an emergency brake assistant, is conducted. In particular the application and usefulness of formal methods in the refinement process during the design of a large system is investigated, where we mean by "large system" a system which cannot be formally verified as a whole due to its complexity. We establish that the application of formal methods in the early phase of a system design is beneficial despite the limits of current tools. Useful directions of further work to improve the verified design of safety-critical systems are also shown.
|
Kontakt | Paul.Levi@ipvs.uni-stuttgart.de |
Abteilung(en) | Universität Stuttgart, Institut für Parallele und Verteilte Systeme, Bildverstehen
|
Eingabedatum | 15. März 2007 |
---|