Challenges in Validating Safety-Critical Embedded Systems

Paper #:
  • 2009-01-3284

Published:
  • 2009-11-10
DOI:
  • 10.4271/2009-01-3284
Citation:
Feiler, P., "Challenges in Validating Safety-Critical Embedded Systems," SAE Int. J. Aerosp. 3(1):109-116, 2010, doi:10.4271/2009-01-3284.
Pages:
8
Abstract:

The embedded software has played an increasing role in safety-critical systems. At the same time the current development process of “build, then integrate” has proven unaffordable for the Aerospace industry. This paper outlines challenges in safety-critical embedded systems in addressing system-level faults that are currently discovered late in the development life cycle. We then discuss an architecture-centric approach to model-based engineering, i.e., to complement the validation of systems with analysis of different operational quality aspects from an architecture model. A key technology in this approach is the Architecture Analysis & Design Language (AADL), an SAE International standard for embedded software system. It supports analysis of operational qualities such as responsiveness, safety-criticality, security, and reliability through model annotations. A number of industry initiatives have been underway to demonstrate the feasibility of using this technology in industrial practice.

Access
Now
SAE MOBILUS Subscriber? You may already have access.
Buy
Select
Price
List
Download
$26.00
Mail
$26.00
Members save up to 38% off list price.
Share
HTML for Linking to Page
Page URL

Related Items

Training / Education
2016-10-17
Technical Paper / Journal Article
2004-11-16
Article
2015-09-02
Technical Paper / Journal Article
2006-11-21