Skip to main content
SpringerLink
Log in

Advances in Software Engineering and Aeronautics

  • Chapter
  • First Online:
Advances in Aeronautical Informatics

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 69.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 89.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 119.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. 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

    Google Scholar 

  2. RTCA. DO-297: Integrated Modular Avionics (IMA) Development Guidance and Certification Considerations. Technical report, RTCA (2005)

    Google Scholar 

  3. 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

    Google Scholar 

  4. J. Rushby, Partitioning in avionics architectures: requirements, mechanisms, and assurance. Technical report, SRI International (2000)

    Google Scholar 

  5. RTCA/EUROCAE. ED-12C/DO-178C Software considerations in airborne systems and equipment certification. Technical report, EUROCAE (2012)

    Google Scholar 

  6. C.B. Watkins, R. Walter, Transitioning from federated avionics architectures to integrated modular avionics, in 2007 IEEE/AIAA 26th Digital Avionics Systems Conference (2007)

    Google Scholar 

  7. 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

    Google Scholar 

  8. S. Furnell, U.G. Bleimann, P. Dowland, O. Schneider, in Proceedings of the Eighth International Network Conference (INC 2010). Lulu.com (2010)

    Google Scholar 

  9. T.O. Group, Technical Standard for Future Airborne Capability Environment (FACE) (2017), http://www.opengroup.org/face

  10. C. Jones, O. Bonsignour, The Economics of Software Quality (Addison-Wesley Professional, USA, 2011)

    Google Scholar 

  11. RTCA/EUROCAE. DO-333/ED-216 Formal Methods Supplement to DO-178C and DO-278A. Technical report, EUROCAE (2012)

    Google Scholar 

  12. RTCA/EUROCAE. E-218/DO-331 Model-based development and verificationsupplement to ED-12C and ED-109A. Technical report, EUROCAE (2012)

    Google Scholar 

  13. K. Schwaber, M. Beedle, Agile Software Development with Scrum, vol. 1 (Prentice Hall, Upper Saddle River, 2002)

    Google Scholar 

  14. K. Beck, Extreme Programming Explained: Embrace Change (Addison-Wesley Professional, USA, 2000)

    Google Scholar 

  15. A. Cockburn, Crystal Clear: A Human-Powered Methodology for Small Teams (Pearson Education, London, 2004)

    Google Scholar 

  16. S.R. Palmer, M. Felsing, A Practical Guide to Feature-Driven Development (Pearson Education, London, 2001)

    Google Scholar 

  17. K. Beck, Test-Driven Development: By Example (Addison-Wesley Professional, USA, 2003)

    Google Scholar 

  18. J. Highsmith, Adaptive Software Development: A Collaborative Approach to Managing Complex Systems (Addison-Wesley, USA, 2013)

    Google Scholar 

  19. R.A. Kemmerer, Integrating formal methods into the development process. IEEE Softw. 7(5), 37–50 (1990)

    Article  Google Scholar 

  20. J.M. Wing, A specifier’s introduction to formal methods. Computer 23(9), 8–22 (1990)

    Article  Google Scholar 

  21. 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

    Google Scholar 

  22. H. Walters, Hybrid implementations of algebraic specifications, in International Conference on Algebraic and Logic Programming (Springer, Berlin, 1990), pp. 40–54

    Chapter  Google Scholar 

  23. 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)

    Article  Google Scholar 

  24. J. Kasser, Model-based systems engineering: back to the future? in Asia-Pacific Council on Systems Engineering (APCOSE) Conference (Yokohama, Japan, 2013)

    Google Scholar 

  25. 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

    Google Scholar 

  26. 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

    Google Scholar 

  27. IBM. Rational Rhapsody Family (2017), http://www-03.ibm.com/software/products/en/ratirhapfami

  28. IBM. Rational DOORS (2017), http://www-03.ibm.com/software/products/en/ratidoor

  29. F. Paterno, Model-Based Design and Evaluation of Interactive Applications (Springer Science & Business Media, Berlin, 2012)

    Google Scholar 

  30. S. Beydeda, M. Book, V. Gruhn et al., Model-Driven Software Development, vol. 15 (Springer, Berlin, 2005)

    Book  Google Scholar 

  31. 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)

    Google Scholar 

  32. R. Capilla, J. Bosch, K.-C. Kang et al., Systems and Software Variability Management, in Concepts Tools and Experiences (2013)

    Google Scholar 

  33. I. Groher, M. Voelter, Expressing feature-based variability in structural models, in Workshop on Managing Variability for Software Product Lines (Citeseer, 2007)

    Google Scholar 

  34. OMG, OMG Meta Object Facility (MOF) Core Specification Version 2.5.1. Technical report, Object Management Group (2016)

    Google Scholar 

  35. H. Gomaa, Designing Software Product Lines with UML (IEEE, New York, 2005)

    Book  Google Scholar 

  36. 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

    Chapter  Google Scholar 

  37. 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

    Google Scholar 

  38. 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)

    Article  Google Scholar 

  39. 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

    Google Scholar 

  40. 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

    Google Scholar 

  41. 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

    Google Scholar 

  42. K. Pohl, G. Böckle, F.J. van Der Linden, Software Product Line Engineering: Foundations, Principles and Techniques (Springer Science & Business Media, Berlin, 2005)

    Book  Google Scholar 

  43. Software Product Lines (2017), http://www.sei.cmu.edu/productlines/

  44. 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

    Google Scholar 

  45. S. Thiel, A. Hein, Modelling and using product line variability in automotive systems. IEEE Softw. 19(4), 66–72 (2002)

    Article  Google Scholar 

  46. 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

    Google Scholar 

  47. 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

    Google Scholar 

  48. 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

    Google Scholar 

  49. 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

    Google Scholar 

  50. 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

    Google Scholar 

  51. J. Zander, I. Schieferdecker, P.J. Mosterman, Model-Based Testing for Embedded Systems (CRC Press, USA, 2011)

    Google Scholar 

  52. M. Utting, B. Legeard, Practical Model-Based Testing: A Tools Approach (Morgan Kaufmann, USA, 2010)

    Google Scholar 

  53. T. Roßner, C. Brandes, H. Goetz, M. Winter, Basiswissen Modellbasierter Test. Dpunkt. verlag, 2012

    Google Scholar 

  54. J. Zander-Nowicka, Model-based testing of real-time embedded systems in the automotive domain (2009)

    Google Scholar 

  55. Simulink Verification and Validation (2017), http://www.mathworks.com/products/simverification/

  56. 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

    Google Scholar 

  57. 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

    Google Scholar 

  58. 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

    Google Scholar 

  59. 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

    Google Scholar 

  60. 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)

    Google Scholar 

  61. M.M. Lehman, Programs, life cycles, and laws of software evolution. Proc. IEEE 68(9), 1060–1076 (1980)

    Article  Google Scholar 

  62. G. Visaggio, Ageing of a data-intensive legacy system: symptoms and remedies. J. Softw. Evol. Process 13(5), 281–308 (2001)

    Article  Google Scholar 

  63. D.L. Parnas, Software aging, in Proceedings of the 16th International Conference on Software Engineering (IEEE Computer Society Press, 1994), pp. 279–287

    Google Scholar 

  64. H.M. Sneed, Estimating the costs of a reengineering project, in 12th Working Conference on Reverse Engineering (IEEE, New York, 2005), p. 9

    Google Scholar 

  65. V. Kshusidman, ADM transformation, in ADM Task Force (White Paper, 2008), http://www.omg.org/adm/ADMTransformartionv4.pdf

  66. 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)

    Article  Google Scholar 

  67. C. Norton, V. Decyk, Re-engineering legacy mission scientific software, in AIAA Space 2001 Conference and Exposition. American Institute of Aeronautics and Astronautics (2001)

    Google Scholar 

  68. U. Durak, Extending the Knowledge Discovery Metamodel for architecturedriven simulation modernization. Simulation 91(12), 1052–1067 (2015)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Embry Riddle Aeronautical University, Daytona Beach, FL, USA

    Shafagh Jafer

  2. German Aerospace Center (DLR), Braunschweig, Germany

    Umut Durak

  3. Turkish Aerospace Industries (TAI), Ankara, Turkey

    Hakan Aydemir

  4. The MathWorks, Dallas, TX, USA

    Richard Ruff

  5. Wismar University of Applied Sciences, Wismar, Germany

    Thorsten Pawletta

Authors
  1. Shafagh Jafer
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Umut Durak
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Hakan Aydemir
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Richard Ruff
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Thorsten Pawletta
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Shafagh Jafer .

Editor information

Editors and Affiliations

  1. Institute of Flight Systems, German Aerospace Center (DLR), Braunschweig, Germany

    Umut Durak

  2. Institute of Information Processing, Karlsruhe Institute of Technology (KIT), Karlsruhe, Germany

    Jürgen Becker

  3. Department of Informatics, Clausthal University of Technology, Clausthal-Zellerfeld, Germany

    Sven Hartmann

  4. Computer and Informatics Engineering Department, Technological Educational Institute of Western Greece, Nafpaktos, Greece

    Nikolaos S. Voros

Rights and permissions

Reprints and permissions

Copyright information

© 2018 Springer International Publishing AG, part of Springer Nature

About this chapter

Check for updates. Verify currency and authenticity via CrossMark

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)

Publish with us

Policies and ethics

Search

Navigation