Challenges in Validating Safety-Critical Embedded Systems
Date Published: 2009-11-10
Paper Number:2009-01-3284
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.
Author(s):
Peter H. Feiler - Software Engineering Institute
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.
Purchase more technical papers and save! With TechSelect,
you decide what SAE Technical Papers you need, when you need them, and how much you want to pay.
Learn more >
