Projects and Initiatives
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.
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.
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.