| Bibliography | 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.
University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology.
pp. 1-13, english.
Shaker Verlag, October 2006.
Article in Proceedings (Conference Paper).
|
|---|
| CR-Schema | I.2.9 (Robotics)
I.2.10 (Vision and Scene Understanding)
I.2.11 (Distributed Artificial Intelligence)
|
|---|
| Keywords | complex real-time systems; automotive safety |
|---|
| Abstract | 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.
|
|---|
| Contact | Paul.Levi@ipvs.uni-stuttgart.de |
|---|
| Department(s) | University of Stuttgart, Institute of Parallel and Distributed Systems, Image Understanding
|
|---|
| Entry date | March 15, 2007 |
|---|