Projects and Initiatives

From AadlWiki

Revision as of 20:26, 24 May 2017 by Michela.Munoz.Fernandez (Talk | contribs)
(diff) ←Older revision | Current revision (diff) | Newer revision→ (diff)
Jump to: navigation, search

NOTE: This list is work in progress. Please add your initiative or project.




The Aerospace Vehicle Systems Institute (AVSI) is an international consortium of aerospace companies with government participation. AVSI has initiated the System Architecture Virtual Integration (SAVI) initiative, whose members include Boeing, Lockheed Martin, Airbus, BAE Systems, Rockwell Collins, GE Aviation, FAA, NASA, and DoD.

The SAVI goal is to achieve an affordable solution through a paradigm shift of "integrate then build." Key concepts of this paradigm shift are an architecture-centric model repository as single source for analytical system models, accessed through a model bus, used as a single source for analytical models, and multi-level, multi-fidelity analysis of multiple operational quality attributes of the system and embedded software system architecture. The result is discovery of system-level faults earlier in the life cycle—reducing risk, cost, and development time.

SAVI Proof of Concept Demonstrations

Video versions of these demonstrations can be found at SAVI Demonstrations.


"Estimating Return on Investment for SAVI (a Model-Based Virtual Integration Process)," by Don Ward and Steven Helton in SAE Int. Journal of Aerospace, 2011.

"Virtual Integration for Improved System Design" by David Redman (AVSI), Don Ward (AVSI), John Chilenski (Boeing), Greg Pollari (Rockwell Collins), Dec 2010.

Case Study Report on System Architecture Virtual Integration SEI-2009-TR-017 AVSI SAVI

Article on the SAVI project titled Toward Model-Based Embedded System Validation through Virtual Integration in DACS SoftwareTech Jan 2010

Paper at ERTS 2010 titled "System Architecture Virtual Integration: A Case Study".

S5 Safe & Secure Systems & Software Symposium June 2010 presentation.

FAA Software Conference 2009 presentation.


COMPASS (2008-2010): Correctness, Modeling and Performance of Areosapce Systems (COMPASS) is an international research project or developing a theoretical and technological basis for the system-software co-engineering approach. Project members are Institute of Computer Science of the RWTH Aachen University in Germany (project coordinator), research center Fondazione Bruno Kessler in Italy (research subcontractor), Thales Alenia Space in France (industrial subcontractor), European Space Agency (funder). A presentation from Sept 2011.

NASA Model-based IVV


NASA Model-based IV&V (2007-2009): NASA IV&V funded the SEI to Integrate Model-Based Software Assurance using AADL into System Development V&V Process. The results of this work are a report on a model-based practice framework for IV&V and two case studies - the application to the Mission Data System reference architecture and to a Juno subsystem.


Case Study: Mission Data System with AADL: an article in AIAA Infotech April 2009.

SEI technical report.

NASA HQ SARP – Software Assurance Research Program


Software Architecture Modeling and Assurance with AADL for the NASA JPL Juno Project (2012-2014).


Paper at SpaceOps Conference, 2014, Pasadena (CA) titled "Using AADL to Enable MBSE for NASA Space Mission Operations" by Michela Munoz Fernandez (NASA Jet Propulsion Laboratory). This paper describes the potential of Model-Based Systems Engineering (MBSE) that uses the Architecture Analysis and Design Language (AADL) to model space systems. AADL modeling is applicable to real-time embedded systems– the types of systems NASA builds. A case study with the Juno mission to Jupiter showcases how this work will enable future missions to benefit from using these models throughout their life cycle from design to flight operations.

Paper at the 2013 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW): "Space systems modeling using the Architecture Analysis & Design Language (AADL)" by Michela Munoz Fernandez.

Paper at the AIAA Infotech@Aerospace 2012 (CA) titled “Assuring Software Fault Management with the Architecture Analysis and Design Language” by Kenneth D. Evensen, and Michela Muñoz Fernández.


ITEA SPICES (2006-2009): European industry/research initiative (15 partners) to put in place a model-based engineering method incorporating CCM, AADL, and SystemC, covering both analysis and generation, as well as application to six different application domains.

A list of SPICES related publications is available. SPICES One-Pager.


TOPCASED (2005-2009): industry initiative led by Airbus (28 partners) to build an open source industrial tool infrastructure for model-based engineering of embedded systems.


ESA ASSERT (2004-2008): funded by the European Commission with 30 partners to pilot the development of the satellite system families with validated architectures through proof-based techniques.


TASTE European Space Agency public website. Successor project to ASSERT. The website includes a download of the TASTE toolchain. See the following presentations at AADL User Days ESA TASTE Toolchain and TASTE: The ASSERT Set of Tools for Engineering. See also the TASTE paper at ERTS 2010.


Modular Avionics System Integrator Workplace is developed by Institute for System Programming of Russian Academy of Sciences in collaboration with GosNIIAS. See the following presentations at AADL User Days Modular Avionics System Integrator Workplace and Compliance Testing of AADL V2. See also ISPRAS publications.

Personal tools