Advances in Software Engineering and Aeronautics

Avionics, like any other safety-critical real-time systems, pose unique challenges on system design, development, and testing. Specifically, the rigorous certification process mandated for avionics software calls for additional attention. The DO-178C Software Considerations in Airborne Systems and Equipment Certification provides detailed guidelines to ensure safety measures. This chapter gives a different angle to avionics development and certification, highlighting model-based approaches for advancing the design, development, testing, and maintenance of airborne software systems. Modern software engineering processes such as agile and scrum are discussed as the new techniques in speeding up the certification hurdle, while achieving higher return on investment.

[1]  C.B. Watkins.  Integrated Modular Avionics: Managing the Allocation of Shared Intersystem Resources , 2006, 2006 ieee/aiaa 25TH Digital Avionics Systems Conference.

[2]  R.D. Busser,et al.  Reducing cost of high integrity systems through model-based testing , 2004, The 23rd Digital Avionics Systems Conference (IEEE Cat. No.04CH37576).

[3]  Matthias Zimmer,et al.  OverNight Testing - The Fully Automated Simulation Environment for Evaluation of Car Concepts ONT , 2014, Simul. Notes Eur..

[4]  Richard A. Kemmerer,et al.  Integrating formal methods into the development process , 1990, IEEE Software.

[5]  Michael Nowak,et al.  Toward Efficient Model-Based Development of Aerospace Applications , 2015 .

[6]  Jens Weiland,et al.  A classification of modeling variability in simulink , 2014, VaMoS '14.

[7]  Umut Durak.  Extending the Knowledge Discovery Metamodel for architecture-driven simulation modernization , 2015, Simul..

[8]  B. D. Aleksa,et al.  Boeing 777 airplane information management system operational experience , 1997, 16th DASC. AIAA/IEEE Digital Avionics Systems Conference. Reflections to the Future. Proceedings.

[9]  Viktor K. Decyk,et al.  RE-ENGINEERING LEGACY MISSION SCIENTIFIC SOFTWARE* , 2001 .

[10]  James A. Highsmith,et al.  Adaptive Software Development: A Collaborative Approach to Managing Complex Systems , 1999 .

[11]  Frank Dordowsky,et al.  Implementing a Software Product Line for a Complex Avionics System , 2011, 2011 15th International Software Product Line Conference.

[12]  Jaejoon Lee,et al.  Incorporating certification in feature modelling of an unmanned aerial vehicle product line , 2012, SPLC '12.

[13]  Vincenza Carchiolo,et al.  Hardware/software synthesis of formal specifications in codesign of embedded systems , 2000, TODE.

[14]  Pieter J. Mosterman,et al.  Model-Based Testing for Embedded Systems , 2011, Computational Analysis, Synthesis, & Design Dynamic Systems.

[15]  Frank Dordowsky,et al.  Adopting software product line principles to manage software variants in a complex avionics system , 2009, SPLC.

[16]  L.M. Boden,et al.  Adding natural relationships to Simulink models to improve automated model-based testing , 2004, The 23rd Digital Avionics Systems Conference (IEEE Cat. No.04CH37576).

[17]  Justyna Zander-Nowicka,et al.  Model-based Testing of Real-Time Embedded Systems in the Automotive Domain , 2009 .

[18]  Barbara Gallina,et al.  Deriving verification-related means of compliance for a model-based testing process , 2016, 2016 IEEE/AIAA 35th Digital Avionics Systems Conference (DASC).

[19]  Joseph Kasser,et al.  Model-Based Systems Engineering : Back to the future? , 2013 .

[20]  Volker Gruhn,et al.  Model-Driven Software Development , 2005 .

[21]  Jeannette M. Wing.  A specifier's introduction to formal methods , 1990, Computer.

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

[23]  Mario Piattini,et al.  Knowledge Discovery Metamodel-ISO/IEC 19506: A standard to modernize legacy systems , 2011, Comput. Stand. Interfaces.

[24]  Klaus Pohl,et al.  Software Product Line Engineering , 2005 .

[25]  Ina Schieferdecker,et al.  Model-Based Testing of Embedded Systems Exemplified for the Automotive Domain , 2010 .

[26]  Hassan Gomaa,et al.  Designing Software Product Lines with UML , 2005, 29th Annual IEEE/NASA Software Engineering Workshop - Tutorial Notes (SEW'05).

[27]  Rushby John,et al.  Partitioning in Avionics Architectures: Requirements, Mechanisms, and Assurance , 1999 .

[28]  H. R. Walters.  Hybrid Implementations of Algebraic Specifications , 1990, ALP.

[29]  Danilo Beuche.  Modeling and building software product lines with pure::variants , 2011, SPLC '11.

[30]  Leanna Rierson,et al.  RTCA DO-297/EUROCAE ED-124 Integrated Modular Avionics (IMA) Design Guidance and Certification Considerations , 2017 .

[31]  Camille Salinesi,et al.  Bridging the gap between product lines and systems engineering: an experience in variability management for automotive model based systems engineering , 2013, SPLC '13.

[32]  Andreas Hein,et al.  Modeling and Using Product Line Variability in Automotive Systems , 2002, IEEE Softw..

[33]  Steve R. Palmer,et al.  A Practical Guide to Feature-Driven Development , 2002 .

[34]  Gerard E. Migneault.  Software reliability and advanced avionics , 1980, AFIPS '80.

[35]  Thorsten Pawletta,et al.  Model-Based Testing for Objective Fidelity Evaluation of Engineering and Research Flight Simulators , 2015 .

[36]  Sune Wolff.  Scrum goes formal: Agile methods for safety-critical systems , 2012, 2012 First International Workshop on Formal Methods in Software Engineering: Rigorous and Agile Approaches (FormSERA).

[37]  Jaejoon Lee,et al.  Concepts and Guidelines of Feature Modeling for Product Line Software Engineering , 2002, ICSR.

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

[39]  Heiko Stallbaum,et al.  Toward DO-178B-compliant Test Models , 2010, 2010 Workshop on Model-Driven Engineering, Verification, and Validation.

[40]  Ken Schwaber,et al.  Agile Software Development with SCRUM , 2001 .

[41]  Meir M. Lehman.  Programs, life cycles, and laws of software evolution , 1980 .

[42]  Ettore Merlo,et al.  Adapting Software Product Lines for complex certifiable avionics software , 2012, 2012 Third International Workshop on Product LinE Approaches in Software Engineering (PLEASE).

[43]  Jan Bosch,et al.  Systems and Software Variability Management , 2013, Springer Berlin Heidelberg.

[44]  Giuseppe Visaggio,et al.  Journal of Software Maintenance and Evolution: Research and Practice Ageing of a Data-intensive Legacy System: Symptoms and Remedies , 2022 .

[45]  Danilo Beuche,et al.  Automotive model-driven development and the challenge of variability , 2012, SPLC '12.

[46]  Harry M. Sneed,et al.  Estimating the costs of a reengineering project , 2005, 12th Working Conference on Reverse Engineering (WCRE'05).

[47]  Bernhard Rumpe,et al.  First-class variability modeling in Matlab/Simulink , 2013, VaMoS.

[48]  David Lorge Parnas,et al.  Software aging , 1994, Proceedings of 16th International Conference on Software Engineering.

[49]  Alistair Cockburn,et al.  Crystal Clear: A Human-Powered Methodology for Small Teams , 2004 .