Abstract
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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
C.B. Watkins, Integrated modular avionics: managing the allocation of shared intersystem resources, in 25th Digital Avionics Systems Conference, 2006 IEEE/AIAA (IEEE, 2006), pp. 1–12
RTCA. DO-297: Integrated Modular Avionics (IMA) Development Guidance and Certification Considerations. Technical report, RTCA (2005)
B. Aleksa, J.P. Carter, Boeing 777 airplane information management system operational experience, in Digital Avionics Systems Conference, 1997. 16th DASC AIAA/IEEE, vol. 1 (IEEE, New York, 1997), pp. 1–3
J. Rushby, Partitioning in avionics architectures: requirements, mechanisms, and assurance. Technical report, SRI International (2000)
RTCA/EUROCAE. ED-12C/DO-178C Software considerations in airborne systems and equipment certification. Technical report, EUROCAE (2012)
C.B. Watkins, R. Walter, Transitioning from federated avionics architectures to integrated modular avionics, in 2007 IEEE/AIAA 26th Digital Avionics Systems Conference (2007)
G.E. Migneault, Software reliability and advanced avionics, in Proceedings of the May 19–22, 1980, National Computer Conference (ACM, New York, 1980), pp. 715–720
S. Furnell, U.G. Bleimann, P. Dowland, O. Schneider, in Proceedings of the Eighth International Network Conference (INC 2010). Lulu.com (2010)
T.O. Group, Technical Standard for Future Airborne Capability Environment (FACE) (2017), http://www.opengroup.org/face
C. Jones, O. Bonsignour, The Economics of Software Quality (Addison-Wesley Professional, USA, 2011)
RTCA/EUROCAE. DO-333/ED-216 Formal Methods Supplement to DO-178C and DO-278A. Technical report, EUROCAE (2012)
RTCA/EUROCAE. E-218/DO-331 Model-based development and verificationsupplement to ED-12C and ED-109A. Technical report, EUROCAE (2012)
K. Schwaber, M. Beedle, Agile Software Development with Scrum, vol. 1 (Prentice Hall, Upper Saddle River, 2002)
K. Beck, Extreme Programming Explained: Embrace Change (Addison-Wesley Professional, USA, 2000)
A. Cockburn, Crystal Clear: A Human-Powered Methodology for Small Teams (Pearson Education, London, 2004)
S.R. Palmer, M. Felsing, A Practical Guide to Feature-Driven Development (Pearson Education, London, 2001)
K. Beck, Test-Driven Development: By Example (Addison-Wesley Professional, USA, 2003)
J. Highsmith, Adaptive Software Development: A Collaborative Approach to Managing Complex Systems (Addison-Wesley, USA, 2013)
R.A. Kemmerer, Integrating formal methods into the development process. IEEE Softw. 7(5), 37–50 (1990)
J.M. Wing, A specifier’s introduction to formal methods. Computer 23(9), 8–22 (1990)
S. Wolff, Scrum goes formal: Agile methods for safety-critical systems, in Proceedings of the First International Workshop on Formal Methods in Software Engineering: Rigorous and Agile Approaches (IEEE Press, New York, 2012), pp. 23–29
H. Walters, Hybrid implementations of algebraic specifications, in International Conference on Algebraic and Logic Programming (Springer, Berlin, 1990), pp. 40–54
V. Carchiolo, M. Malgeri, G. Mangioni, Hardware/software synthesis of formal specifications in codesign of embedded systems. ACM Trans. Design Autom. Electron. Syst. (TODAES) 5(3), 399–432 (2000)
J. Kasser, Model-based systems engineering: back to the future? in Asia-Pacific Council on Systems Engineering (APCOSE) Conference (Yokohama, Japan, 2013)
I. Amundson, L. Shipton, A. Liu, M. Nowak, Toward efficient model-based development of aerospace applications, in 15th AIAA Aviation Technology, Integration, and Operations Conference (2015), p. 2741
D.J. Coe, J.H. Kulick, A model-based agile process for DO-178C certification, in Proceedings of the International Conference on Software Engineering Research and Practice (SERP). The Steering Committee of The World Congress in Computer Science. Computer Engineering and Applied Computing (WorldComp) (2013), p. 1
IBM. Rational Rhapsody Family (2017), http://www-03.ibm.com/software/products/en/ratirhapfami
IBM. Rational DOORS (2017), http://www-03.ibm.com/software/products/en/ratidoor
F. Paterno, Model-Based Design and Evaluation of Interactive Applications (Springer Science & Business Media, Berlin, 2012)
S. Beydeda, M. Book, V. Gruhn et al., Model-Driven Software Development, vol. 15 (Springer, Berlin, 2005)
P. Swithinbank, M. Chessell, T. Gardner, C. Griffin, J. Man, H. Wylie, L. Yusuf, Patterns: Model-Driven Development Using IBM Rational Software Architect (IBM, International Technical Support Organization, 2005)
R. Capilla, J. Bosch, K.-C. Kang et al., Systems and Software Variability Management, in Concepts Tools and Experiences (2013)
I. Groher, M. Voelter, Expressing feature-based variability in structural models, in Workshop on Managing Variability for Software Product Lines (Citeseer, 2007)
OMG, OMG Meta Object Facility (MOF) Core Specification Version 2.5.1. Technical report, Object Management Group (2016)
H. Gomaa, Designing Software Product Lines with UML (IEEE, New York, 2005)
K. Lee, K.C. Kang, J. Lee, Concepts and guidelines of feature modeling for product line software engineering, in International Conference on Software Reuse (Springer, Berlin, 2002), pp. 62–77
D. Beuche, Modeling and building software product lines with pure:: variants, in Proceedings of the 16th International Software Product Line Conference, vol. 2 (ACM, New York, 2012), pp. 255–255
M. Krausz, M. Zimmer, H.C. Reuss, OverNight Testing-The fully automated simulation environment for evaluation of car concepts ONT, in Simulation Notes Europe: Ontologies in Modelling and Simulation, vol. 2, pp. 87–94 (2014)
A. Haber, C. Kolassa, P. Manhart, P.M.S. Nazari, B. Rumpe, I. Schaefer, First-class variability modeling in matlab/simulink, in Proceedings of the Seventh International Workshop on Variability Modelling of Software Intensive Systems (ACM, New York, 2013), p. 4
J. Weiland, P. Manhart, A classification of modeling variability in simulink, in Proceedings of the Eighth International Workshop on Variability Modelling of Software-Intensive Systems (ACM, New York, 2014), p. 7
M. Schulze, J. Weiland, D. Beuche, Automotive model-driven development and the challenge of variability, in Proceedings of the 16th International Software Product Line Conference, vol. 1 (ACM, New York, 2012), pp. 207–214
K. Pohl, G. Böckle, F.J. van Der Linden, Software Product Line Engineering: Foundations, Principles and Techniques (Springer Science & Business Media, Berlin, 2005)
Software Product Lines (2017), http://www.sei.cmu.edu/productlines/
C. Dumitrescu, R. Mazo, C. Salinesi, A. Dauron, Bridging the gap between product lines and systems engineering: an experience in variability management for automotive model based systems engineering, in Proceedings of the 17th International Software Product Line Conference (ACM, New York, 2013), pp. 254–263
S. Thiel, A. Hein, Modelling and using product line variability in automotive systems. IEEE Softw. 19(4), 66–72 (2002)
N. Sozen, E. Merlo, Adapting software product lines for complex certifiable avionics software, in Proceedings of the Third International Workshop on Product Line Approaches in Software Engineering (IEEE Press, New York, 2012), pp. 21–24
F. Dordowsky, W. Hipp, Adopting software product line principles to manage software variants in a complex avionics system, in Proceedings of the 13th International Software Product Line Conference (Carnegie Mellon University, 2009), pp. 265–274
F. Dordowsky, R. Bridges, H. Tschope, Implementing a software product line for a complex avionics system, in 2011 15th International Software Product Line Conference (SPLC) (IEEE, New York, 2011), pp. 241–250
R.T. Braga, O. Trindade Jr, K.R. Branco, J. Lee, Incorporating certification in feature modelling of an unmanned aerial vehicle product line, in Proceedings of the 16th International Software Product Line Conference, vol. 1 (ACM, New York, 2012), pp. 249–258
J.C. Jensen, D.H. Chang, E.A. Lee, A model-based design methodology for cyber-physical systems, in 2011 7th International Wireless Communications and Mobile Computing Conference (IWCMC) (IEEE, New York, 2011), pp. 1666–1671
J. Zander, I. Schieferdecker, P.J. Mosterman, Model-Based Testing for Embedded Systems (CRC Press, USA, 2011)
M. Utting, B. Legeard, Practical Model-Based Testing: A Tools Approach (Morgan Kaufmann, USA, 2010)
T. Roßner, C. Brandes, H. Goetz, M. Winter, Basiswissen Modellbasierter Test. Dpunkt. verlag, 2012
J. Zander-Nowicka, Model-based testing of real-time embedded systems in the automotive domain (2009)
Simulink Verification and Validation (2017), http://www.mathworks.com/products/simverification/
L.M. Boden, R.D. Busser, Adding natural relationships to Simulink models to improve automated model-based testing, in The 23rd Digital Avionics Systems Conference, 2004. DASC 04, vol. 2 (IEEE, New York, 2004), pp. 6–B
R.D. Busser, M.R. Blackburn, A.M. Nauman, T.R. Morgan, Reducing cost of high integrity systems through model-based testing, in The 23rd Digital Avionics Systems Conference, 2004. DASC 04, vol. 2 (IEEE, New York, 2004), pp. 6–B
H. Stallbaum, M. Rzepka, Toward DO-178B-compliant test models, in 2010 Workshop on Model-Driven Engineering, Verification, and Validation (MoDeVVa) (IEEE, New York, 2010), pp. 25–30
B. Gallina, A. Andrews, Deriving verification-related means of compliance for a model-based testing process, in Digital Avionics Systems Conference (DASC), 2016 IEEE/AIAA 35th (IEEE, New York, 2016), pp. 1–6
U. Durak, A. Schmidt, T. Pawletta, Model-based testing objective fidelity evaluation of engineering and research flight simulators, in Proceedings of AIAA Modeling and Simulation Technologies Conference (Dallas/TX, USA, 2015)
M.M. Lehman, Programs, life cycles, and laws of software evolution. Proc. IEEE 68(9), 1060–1076 (1980)
G. Visaggio, Ageing of a data-intensive legacy system: symptoms and remedies. J. Softw. Evol. Process 13(5), 281–308 (2001)
D.L. Parnas, Software aging, in Proceedings of the 16th International Conference on Software Engineering (IEEE Computer Society Press, 1994), pp. 279–287
H.M. Sneed, Estimating the costs of a reengineering project, in 12th Working Conference on Reverse Engineering (IEEE, New York, 2005), p. 9
V. Kshusidman, ADM transformation, in ADM Task Force (White Paper, 2008), http://www.omg.org/adm/ADMTransformartionv4.pdf
R. Pérez-Castillo, I.G.-R. De Guzman, M. Piattini, Knowledge Discovery Metamodel-ISO/IEC 19506: A standard to modernize legacy systems. Comput. Stand. Interfaces 33(6), 519–532 (2011)
C. Norton, V. Decyk, Re-engineering legacy mission scientific software, in AIAA Space 2001 Conference and Exposition. American Institute of Aeronautics and Astronautics (2001)
U. Durak, Extending the Knowledge Discovery Metamodel for architecturedriven simulation modernization. Simulation 91(12), 1052–1067 (2015)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer International Publishing AG, part of Springer Nature
About this chapter
Cite this chapter
Jafer, S., Durak, U., Aydemir, H., Ruff, R., Pawletta, T. (2018). Advances in Software Engineering and Aeronautics . In: Durak, U., Becker, J., Hartmann, S., Voros, N. (eds) Advances in Aeronautical Informatics. Springer, Cham. https://doi.org/10.1007/978-3-319-75058-3_7
Download citation
DOI: https://doi.org/10.1007/978-3-319-75058-3_7
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-75057-6
Online ISBN: 978-3-319-75058-3
eBook Packages: Computer ScienceComputer Science (R0)