Modeling and simulation based development of an enhanced ground proximity warning system for multicore targets

The advances in Cyber-Physical Systems (CPS) are also effecting the aeronautics. The growth of the cyber layer in aircraft is demanding higher throughput and eventually multi-core systems are becoming topics of interest. The development of parallel real-time systems for multicore processors requires new approaches in model-based design and simulation-based verification. The Enhanced Ground Proximity Warning System (EGPWS) is a terrain awareness system that creates aural and visual warnings for the pilot to prevent Controlled Flight into Terrain (CFIT). This paper presents a multi-core parallelization workflow and a corresponding x-in-the-loop testing pipeline for model-based development of an EGPWS.

[1]  Ken Butts,et al.  Simulation-Based Approaches for Verification of Embedded Control Systems: An Overview of Traditional and Advanced Modeling, Testing, and Verification Techniques , 2016, IEEE Control Systems.

[2]  Jean-Philippe Chancelier,et al.  Modeling and Simulation in Scilab/Scicos with ScicosLab 4.4 , 2009 .

[3]  Milind Girkar,et al.  The hierarchical task graph as a universal intermediate representation , 2007, International Journal of Parallel Programming.

[4]  Alain Le Guennec,et al.  Benefits of Model Based System Engineering for Avionics Systems , 2016 .

[5]  Mirko Conrad,et al.  Experiences with model and autocode reviews in model-based software development , 2006, SEAS '06.

[6]  Colin Atkinson,et al.  Model-Driven Development: A Metamodeling Foundation , 2003, IEEE Softw..

[7]  Michael Paulitsch,et al.  Design and implementation of a degraded vision landing aid application on a multicore processor architecture for safety-critical application , 2013, 16th IEEE International Symposium on Object/component/service-oriented Real-time distributed Computing (ISORC 2013).

[8]  Sven Hartmann,et al.  Computational Representation for a Simulation Scenario Definition Language , 2018 .

[9]  Matthias Grochtmann,et al.  Classification trees for partition testing , 1993, Softw. Test. Verification Reliab..

[10]  Radha Poovendran,et al.  Aviation Cyber–Physical Systems: Foundations for Future Aircraft and Air Transport , 2013, Proceedings of the IEEE.

[11]  Sven Hartmann,et al.  Using System Entity Structures to Model the Elements of a Scenario in a Research Flight Simulator , 2017 .

[12]  Michael G. Hinchey,et al.  Model-Based Verification of Embedded Software , 2009, Computer.

[13]  Umut Durak,et al.  Model-based Development of Enhanced Ground Proximity Warning System for Heterogeneous Multi-Core Architectures , 2016 .

[14]  Jürgen Becker,et al.  Advances in Avionic Platforms: Multi-core Systems , 2018, Advances in Aeronautical Informatics.

[15]  H. Agrou,et al.  Mastering the behavior of multi-core systems to match avionics requirements , 2012, 2012 IEEE/AIAA 31st Digital Avionics Systems Conference (DASC).

[16]  Levent Yilmaz,et al.  Distributed Simulation: A Model Driven Engineering Approach , 2016 .

[17]  C.B. Watkins,et al.  Transitioning from federated avionics architectures to Integrated Modular Avionics , 2007, 2007 IEEE/AIAA 26th Digital Avionics Systems Conference.

[18]  Dragan Gasevic,et al.  Model Driven Engineering and Ontology Development , 2009 .

[19]  Umut Durak,et al.  Flight 4.0: The Changing Technology Landscape of Aeronautics , 2018, Advances in Aeronautical Informatics.

[20]  Umut Durak,et al.  Tackling the complexity of simulation scenario development in aviation , 2017 .

[21]  Michael Paulitsch,et al.  Leveraging Multi-core Computing Architectures in Avionics , 2012, 2012 Ninth European Dependable Computing Conference.

[22]  Bernard P. Zeigler,et al.  System entity structuring and model base management , 1990, IEEE Trans. Syst. Man Cybern..

[23]  Simin Nadjm-Tehrani,et al.  Challenges in Future Avionic Systems on Multi-Core Platforms , 2014, 2014 IEEE International Symposium on Software Reliability Engineering Workshops.

[24]  O. Sander,et al.  The promised future of multi-core processors in avionics systems , 2017 .

[25]  Edward A. Lee,et al.  A model-based design methodology for cyber-physical systems , 2011, 2011 7th International Wireless Communications and Mobile Computing Conference.

[26]  François Charot,et al.  GeCoS: A framework for prototyping custom hardware design flows , 2013, 2013 IEEE 13th International Working Conference on Source Code Analysis and Manipulation (SCAM).

[27]  Jon Friedman,et al.  Best Practices for Verification, Validation, and Test in Model- Based Design , 2008 .

[28]  Andreas Tolk,et al.  Systems engineering, architecture, and simulation , 2014, Modeling and Simulation-Based Systems Engineering Handbook.

[29]  Edward A. Lee,et al.  Introduction to Embedded Systems - A Cyber-Physical Systems Approach , 2013 .

[30]  P. J. Prisaznuk,et al.  Integrated modular avionics , 1992, Proceedings of the IEEE 1992 National Aerospace and Electronics Conference@m_NAECON 1992.