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.
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.

Buy
Select
Price
List
Download
$24.00
Mail
$24.00
Members save up to 37% off list price.
Bundle
Paper included in Book V119-1
Share
HTML for Linking to Page
Page URL

Related Items

Article
2013-11-26
Article
2014-03-27
Technical Paper
1995-12-01
Technical Paper
1995-08-01