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.
Supporting Model-Based Development with Unambiguous Specifications, Formal Verification and Correct-By-Construction Embedded Software
Sae Technical Papers
SAE 2004 World Congress & Exhibition ; 2004
2004-03-08
Conference paper
English
British Library Conference Proceedings | 2004
|British Library Conference Proceedings | 2004
|Formal verification for model-based development
Automotive engineering | 2005
|Formal Verification in Model Based Development
British Library Conference Proceedings | 2015
|