This content is not included in
your SAE MOBILUS subscription, or you are not logged in.
Supporting Model-Based Development with Unambiguous Specifications, Formal Verification and Correct-By-Construction Embedded Software
Technical Paper
2004-01-1768
ISSN: 0148-7191, e-ISSN: 2688-3627
Annotation ability available
Sector:
Language:
English
Abstract
In this paper we will explore how 15 years after being introduced into avionics systems, “by-wire” technologies have entered the automotive world. The use of software within safety-relevant application areas like restraint systems, braking, steering and vehicle dynamics support and control systems, is requiring changes in the processes and methodologies used for embedded software development.
Recommended Content
Journal Article | Driver Override for Safety-Critical Vehicles and Networks |
Technical Paper | Software Systems Safety and Human Error Avoidance |
Progress In Technology | Safety-Critical Automotive Systems |
Authors
Topic
Citation
Hohmann, W., "Supporting Model-Based Development with Unambiguous Specifications, Formal Verification and Correct-By-Construction Embedded Software," SAE Technical Paper 2004-01-1768, 2004, https://doi.org/10.4271/2004-01-1768.Also In
In-Vehicle Networks and Software, Electrical Wiring Harnesses, and Electronics and Systems Reliability
Number: SP-1852; Published: 2004-03-08
Number: SP-1852; Published: 2004-03-08
References
- Berry G. Gonthier G. The Esterel synchronous programming language: Design, semantics, implementation Science of Computer Programming 19 2 87 152 1992
- Berry G. The foundations of Esterel Plotkin G. Stirling C. Tofte M. Proof, Language and Interaction: Essays in Honour of Robin Milner MIT Press 1998
- Andre Ch. Synccharts: A visual representation of reactive behaviors Rapport de recherche tr95-52 Université de Nice-Sophia Antipolis 1995
- Halbwachs N. Caspi P. Raymond P. Pilaud D. The synchronous dataflow programming language LUSTRE Proceedings of the IEEE 79 9 1305 1320 1991