SAVI Demonstrations

From AadlWiki

Jump to: navigation, search

SAVI Proof of Concept Demonstrations

During Phase 1 and Phase 2 of the SAVI initiative several proof of concept demonstrations were performed. See the references in AVSI SAVI Project for further details of the demonstrations.

The SAVI demonstration series shows our ability to support modeling and analysis of aircraft systems across multiple tiers starting with the aircraft with specific focus on the Integrated Modular Avionics (IMA) architecture of the embedded software system. In that context the demonstration illustrates the use of an architecture modeling notation with well-defined semantics (SAE AADL) as the single source of truth for multiple dimensions of analysis of operational quality attributes ranging from mission behavior and performance to safety-criticality concerns such as safety, reliability, and security.

SAVI Phase 1 Demonstrations

The SAVI phase 1 demonstrations focus on our ability to support modeling and analysis of aircraft systems across multiple tiers starting with the aircraft with specific focus on the Integrated Modular Avionics (IMA) architecture of the embedded software system.

Link to Phase 1 demos: http://www.aadl.info/aadl/savi/2009POCDemo/avsisaviPOCDemo35min.html.

SAVI Phase 2 Demonstrations

The SAVI Phase demonstrations include an Mechatronics scenario, a reliability analysis scenario focusing on MTTF for an embedded avionics system, and a safety analysis scenario that include both Functional Hazard Assessment (FHA) and Failure Mode and Effects Analysis (FMEA).

All demos in a single video

http://www.aadl.info/aadl/savi/2010/Phase2-3Demos/Phase2-3Demos.html

Mechatronics demo

The Mechatronics demo consists of modeling and simulation of the wing structure (finite element model) and the impact of an actuator (Simulink model) on the wing dynamics. The information for these models is interchanged via the AADL architecture model.

http://www.aadl.info/aadl/savi/2010/behaviordemo10min/behaviordemo10min.html

Reliability demo

The reliability analysis demo illustrates the use of an AADL model to perform Mean To To Failure (MTTF) calculation for an embedded avionics system running dual redundant on a two processor and three processor configuration. Two operational mode are taken into consideration. Furthermore, the embedded software is considered to have no faults (a common assumption), to be faulty, and to distinguish between faults in the application software and the fault management software.

http://www.aadl.info/aadl/savi/2010/reliabilityDemo10min/reliabilityDemo10min.html

Safety demo

The safety analysis demo includes both Functional Hazard Assessment (FHA) and Failure Mode and Effects Analysis (FMEA). These safety analysis are applied to an embedded avionics system running dual redundant on a two processor and three processor configuration. Two operational mode are taken into consideration. Furthermore, the embedded software is considered to have no faults (a common assumption), to be faulty, and to distinguish between faults in the application software and the fault management software.

http://www.aadl.info/aadl/savi/2010/safetydemo10min/safetydemo10min.html

Note about the Videos

The videos have a control panel at the bottom. It includes a table of content that allows you to jump to specific sections.

Personal tools