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
Aufsatz (Konferenz)
Englisch
British Library Conference Proceedings | 2004
|Generation of Object-Oriented Formal Software Specifications
British Library Conference Proceedings | 1997
|Formal Verification for Model-Based Development
SAE Technical Papers | 2005
|Formal Verification in Model Based Development
SAE Technical Papers | 2015
|