Model-based Development of Enhanced Ground Proximity Warning System for Heterogeneous Multi-Core Architectures

The aerospace domain, very much similar to other cyber-physical systems domains such as automotive or automation, is demanding new methodologies and approaches for increasing performance and reducing cost, while maintaining safety levels and programmability. While the heterogeneous multi-core architectures seem promising, apart from certification issues, there is a solid necessity for complex toolchains and programming processes for exploiting their full potential. The ARGO (WCET-Aware PaRallelization of Model-Based Ap-plications for HeteroGeneOus Parallel Systems) project is addressing this challenge by providing an inte-grated toolchain that realizes an innovative holistic approach for programming heterogeneous multi-core sys-tems in a model-based workflow. Model-based design elevates systems modeling and promotes simulation with the executing these models for verification and validation of the design decisions. As a case study, the ARGO toolchain and workflow will be applied to a model-based Enhanced Ground Proximity Warning System (EGPWS) development. EGPWS is a readily available system in current aircraft which provides alerts and warnings for obstacles and terrain along the flight path utilizing high resolution terrain databases, Global Positioning System and other sensors-. After a gentle introduction to the model-based development approach of the ARGO project for the heterogeneous multi-core architectures, the EGPWS and the EGPWS systems modelling will be presented.

[1]  A. Roth,et al.  The shuttle radar topography mission—a new class of digital elevation models acquired by spaceborne radar , 2003 .

[2]  Masoud Najafi,et al.  Implementation of Hybrid Automata in Scicos , 2007, 2007 IEEE International Conference on Control Applications.

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

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

[5]  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).

[6]  Jean-Philippe Chancelier,et al.  Modeling and Simulation in Scilab/Scicos , 2006 .

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

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

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

[10]  Christer Ericson,et al.  Real-Time Collision Detection , 2004 .

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

[12]  George Baciu,et al.  Image-based collision detection , 2004 .

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

[14]  Qing Zhu,et al.  Digital terrain modeling - principles and methodology , 2004 .

[15]  R. Trautner,et al.  Scalable Sensor Data Processor: A Multi-Core Payload Data Processor ASIC , 2015 .

[16]  Dimitrios Kritharidis,et al.  Compiling Scilab to high performance embedded multicore systems , 2013, Microprocess. Microsystems.

[17]  Ming C. Lin,et al.  Collision Detection between Geometric Models: A Survey , 1998 .