Browse Publications Technical Papers 2004-01-1768
2004-03-08

Supporting Model-Based Development with Unambiguous Specifications, Formal Verification and Correct-By-Construction Embedded Software 2004-01-1768

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.

SAE MOBILUS

Subscribers can view annotate, and download all of SAE's content. Learn More »

Access SAE MOBILUS »

Preview Document Add to Cart
Members save up to 16% off list price.
Login to see discount.
Special Offer: Download multiple Technical Papers each year? TechSelect is a cost-effective subscription option to select and download 12-100 full-text Technical Papers per year. Find more information here.
We also recommend:
JOURNAL ARTICLE

Driver Override for Safety-Critical Vehicles and Networks

2009-01-0751

View Details

TECHNICAL PAPER

Software Systems Safety and Human Error Avoidance

872522

View Details

Book
BOOK

Safety-Critical Automotive Systems

View Details

X