This content is not included in
your SAE MOBILUS subscription, or you are not logged in.
Model-Based Design Flow Driven by Integrated Modular Avionic Simulations
Technical Paper
2013-01-2211
ISSN: 0148-7191, e-ISSN: 2688-3627
Annotation ability available
Sector:
Language:
English
Abstract
The Integrated Modular Avionics (IMA) architecture has been a crucial concern for the aerospace industry in developing more complex systems, while seeking to reduce space, weight and power (SWaP), as well as development, certification and production time. From a software perspective, that objective pushes developers to migrate toward safety critical space and time partitioning environment. However, mainstream commercial real-time operating systems (RTOS) offering such partitioning can be restrictive in early development due to very high licensing costs. That situation is even more striking when considering that low-cost alternatives could instead be used for system modeling and early simulation before acquisition of a target platform.
This paper reviews existing low-cost and open-source development environments to propose a novel design flow. The proposed methodology starts with model-based analysis in the AADL modeling language. Then, configuration files and software integration code are generated and executed using the Simulated IMA (SIMA) software from GMV. A case study experiment was created using a Multi-purpose Control and Display Unit (MCDU) communicating with an external Flight Management System (FMS) simulation provided by our industrial partner CMC Electronics. Results show reduction of time for system and partition configurations from hours to seconds, notably by reducing human error. It also proves useful in identifying design flaws in early development as well as facilitating software architectural exploration for integrated modular avionics.
Recommended Content
Authors
Topic
Citation
Savard, J., Bao, L., Bois, G., and Boland, J., "Model-Based Design Flow Driven by Integrated Modular Avionic Simulations," SAE Technical Paper 2013-01-2211, 2013, https://doi.org/10.4271/2013-01-2211.Also In
References
- Watkins C. B. and Walter R. Transitioning from federated avionics architectures to integrated modular avionics Proceedings of the 26th Digital Avionics Systems Conference (DASC) Dallas, Texas 2007 2.A.1-1 2.A.1-10
- Walter R. and Watkins C. Genesis Platform Digital Avionics Handbook Spitzer C. R. 2 Taylor & Francis Group LLC 2007 12-1 12-28
- Aeronautical Radio Inc. Avionics Application Software Standard Interface - Part 1 - Required Services Airlines Electronic Engineering Committee ARINC characteristic, 653P1-3 2010
- Aeronautical Radio Inc. Avionics Application Software Standard Interface - Part 2 - Extended Services Airlines Electronic Engineering Committee ARINC characteristic, 653P2-1 2008
- Aeronautical Radio Inc. Avionics Application Software Standard Interface - Part 3 - Conformity Test Specification Airlines Electronic Engineering Committee ARINC characteristic, 653P3 2006
- Aeronautical Radio Inc. Avionics Application Software Standard Interface - Part 4 - Subset Services Airlines Electronic Engineering Committee ARINC characteristic, 653P4 2012
- Feiler P. H. and Gluch D. P. Model-Based Engineering with AADL: An Introduction to the SAE Architecture Analysis & Design Language Boston Addison-Wesley Professional 2012
- Schoofs T. , Santos S. , Tatibana C. , and Anjos J. An Integrated Modular Avionics Development Environment Proceedings of the 28th Digital Avionics Systems Conference (DASC) Lisbon, Portugal 2009 1.A.2-1 1.A.2-9
- Horváth Á. , Varró D. , and Schoofs T. Model-driven development of ARINC 653 configuration tables Proceedings of the 29th Digital Avionics Systems Conference (DASC) Salt Lake City, Utah 2010 5.A.5-1 5.A.5-116
- Delange J. , Honvault C. , and Windsor J. Model-based Engineering Approach for System Architecture Exploration Proceedings of the Embedded Real Time Software and Systems Conference (ERTS) Toulouse, France 2012
- Perrotin M. , Conquet E. , Delange J. , and Tsiodras T. TASTE - An open-source tool-chain for embedded system and software development Proceedings of the Embedded Real Time Software and Systems Conference (ERTS) Toulouse, France 2012
- Perrotin M. , Tsiodras T. , Delange J. , and Hugues J. TASTE - The Assert Set of Tools for Engineering European Space Agency Noordwijk, Netherland January 27th 2012 http://download.tuxfamily.org/taste/snapshots/doc/tastedocumentation-current.pdf March 29th 2013
- Delange J. , Hugues J. , and Dissaux P. Validate implementation correctness using simulation: the TASTE approach Proceedings of the Embedded Real Time Software and Systems Conference (ERTS) Toulouse, France 2012
- Lasnier G. , Zalila B. , Pautet L. , and Hugues J. OCARINA: An Environment for AADL Models Analysis and Automatic Code Generation for High Integrity Applications Proceedings of the 14th Ada-Europe International Conference on Reliable Software Technologies Brest, France 2009 237 250
- Hugues J. , Vergnaud T. , and Zalila B. OCARINA, a compiler for the AADL Telecom ParisTech Paris, France User manual February 2012
- Crespo A. , and al. XtratuM: An open source hypervisor for TSP embedded systems in aerospace Proceedings of the DASIA 2009: Data Systems In Aerospace Conference Istanbul, Turkey 2009
- Seronie-Vivien J. and Cantenot C. RTEMS operating system qualification Proceedings of the DASIA 2005: Data Systems In Aerospace Conference Edinburgh, Scotland 2005
- On-Line Applications Research (OAR) Corporation RTEMS C User's Guide On-Line Applications Research (OAR) Corporation Manual Edition 4.10.2, for RTEMS 4.10.2 2011 http://www.rtems.org/onlinedocs/releases/rtemsdocs-4.10.2/share/rtems/pdf/c_user.pdf March 29th 2013
- Masmano M. , and al. LithOS: a ARINC-653 guest operating for XtratuM 12th Real-Time Linux Workshop (RTLWS) Nairobi, Kenya 2010 https://http://www.osadl.org/fileadmin/dam/rtlws/12/Crespo.pdf March 29th 2013
- Masmano M. , and al. LithOS: A ARINC-653 guest operating for XtratuM Universidad Politécnica de Valencia 2010 http://polimedia.upv.es/visor/?id=c2d897f7-1084-774fa474-a52dbfd01464 March 29th 2013
- Delange J. and Lec L. POK, an ARINC 653-compliant operating system released under the BSD license 13th Real-Time Linux Workshop (RTLWS) Electrical Engineering Faculty, Czech Technical University in Prague 2011 https://lwn.net/images/conf/rtlws-2011/proc/Delange_POK.pdf March 29th 2013
- POK Team POK User Guide POK Team February 2011 http://download.tuxfamily.org/pok/snapshots/ March 29th 2013
- Rufino J. , and al. ARINC 653 Interface in RTEMS Proceedings of the DASIA 2007: Data Systems In Aerospace Conference Naples, Italy 2007
- Rufino J. , and al. AIR Technology: a step towards ARINC 653 in space Proceedings of the DASIA 2009: Data Systems In Aerospace Conference Istanbul, Turkey 2009
- Craveiro J. Integration of generic operating systems in partitioned architectures M. Sc. Thesis University of Lisbon Lisbon, Portugal 2009 http://air.di.fc.ul.pt/air-ii/downloads/Craveiro09MSc.pdf May 9th 2012
- Santos S. , and al. A portable ARINC 653 standard interface Proceedings of the 27th Digital Avionics Systems Conference (DASC) St-Paul, Minnesota 2008 1.E.2-1 1.E.2-7
- GMV Home GMV http://www.gmv.com/en/index.html March 29th 2013
- Feiler P. H. , Gluch D. P. , and Hudak J. J. The Architecture Analysis & Design Language (AADL): An Introduction Carnegie Mellon University Technical report CMU/SEI-2006-TN-011 2006 http://www.sei.cmu.edu/library/abstracts/reports/06tn011.cfm March 29th 2013
- SAE International Aerospace Standard SAE Architecture Analysis and Design Language (AADL) Annex Volume 2 SAE Standard AS5506/2 Jan. 2011
- Khoroshilov A. , Petrenko A. , Koverninskiy I. , and Ugnenko A. Integrating AADL based toolchain into existing industrial processes Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS) Las Vegas, Nevada 2011 367 371
- SAE International Aerospace Standard Architecture Analysis & Design Language (AADL) SAE Standard AS5506A Jan. 2009
- SAE International Aerospace Standard SAE Architecture Analysis and Design Language (AADL) Annex Volume 1: Annex A: Graphical AADL Notation, Annex C: AADL Meta-Model and Interchange Formats, Annex D: Language Compliance and Application Program Interface Annex E: Error Model Annex SAE Standard AS5506/1 April 2011
- Delange J. , and al. Validate, simulate, and implement ARINC653 systems using the AADL Proceedings of the ACM SIGAda annual international conference on Ada and related technologies Tampa Bay, Florida 2009 31 44
- GMV IMA Research Group SIMA Command Line Tools Application Development and Configuration Guide GMV 2009 2010
- Pascoal E. , Rufino J. , Schoofs T. , and Windsor J. AMOBA - ARINC 653 Simulator for Modular Based Space Applications Proceedings of the DAta Systems In Aerospace Conference Palma de Mallorca, Spain 2008
- Aeronautical Radio Inc. Multi-purpose Control and Display Unit Airlines Electronic Engineering Committee ARINC characteristic, 739A-1 1998
- CMC Electronics Featuring CMC Electronics Esterline http://www.esterline.com/avionicssystems/enus/overview.aspx March 29th 2013
- TOPCASED Downloads for project ADELE TOPCASED - The Open-Source Toolkit for Critical Systems http://www.topcased.org/index.php?idd_projet_pere=73 March 29th 2013
- CONFIG_PREEMPT_RT community Real-Time Linux Wiki CONFIG_PREEMPT_RT community https://rt.wiki.kernel.org/index.php/Main_Page September 10th 2012