A Tool Set for Integrated Software and Hardware Dependability Analysis Using the Architecture Analysis and Design Language (AADL) and Error Model Annex

2011 ◽  
Author(s):  
Myron Hecht ◽  
Alexander Lam ◽  
Chris Vogl
Keyword(s):  
Error Model ◽  
Analysis And Design ◽  
Design Language ◽  
Dependability Analysis ◽  
Software And Hardware ◽  
Tool Set ◽  
Integrated Software ◽  
Architecture Analysis

scholarly journals Research on the Reliability Analysis of the Integrated Modular Avionics System Based on the AADL Error Model

2018 ◽  
Vol 2018 ◽  
pp. 1-11 ◽  
Author(s):  
Peng Wang ◽  
Changxiao Zhao ◽  
Fang Yan
Keyword(s):  
Resource Sharing ◽  
Error Model ◽  
Reliability Model ◽  
Analysis And Design ◽  
Failure Propagation ◽  
Display Function ◽  
Software And Hardware ◽  
Integrated Modular Avionics ◽  
Error Behavior ◽  
Architecture Analysis

In recent years, the integrated modular avionics (IMA) concept has been introduced to replace the traditional federated avionics. Different avionics functions are hosted in a shared IMA platform, and IMA adopts partition technologies to provide a logical isolation among different functions. The IMA architecture can provide more sophisticated and powerful avionics functionality; meanwhile, the failure propagation patterns in IMA are more complex. The feature of resource sharing introduces some unintended interconnections among different functions, which makes the failure propagation modes more complex. Therefore, this paper proposes an architecture analysis and design language- (AADL-) based method to establish the reliability model of IMA platform. The single software and hardware error behavior in IMA system is modeled. The corresponding AADL error model of failure propagation among components, between software and hardware, is given. Finally, the display function of IMA platform is taken as an example to illustrate the effectiveness of the proposed method.

Sign in / Sign up

Export Citation Format

Share Document