Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Bücher
Zeitschriften
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
SLX-Digitalkonferenz: Zukunftswerkstatt 2024

Mehr Umsatz mit Top-Kontakten

Am 7. Mai erfahren Sie, wie Vertriebsteams Leadgenerierung, Leadnurturing und Leadstrategien effizient steuern können.
Erweiterte Suche
Anmelden
nach oben
Erschienen in:
Flight 4.0: The Changing Technology Landscape of Aeronautics Kapitel lesen Erstes Kapitel lesen

2018 | OriginalPaper | Buchkapitel

7. Advances in Software Engineering and Aeronautics

verfasst von : Shafagh Jafer, Umut Durak, Hakan Aydemir, Richard Ruff, Thorsten Pawletta

Erschienen in: Advances in Aeronautical Informatics

Verlag: Springer International Publishing

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

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.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Jetzt informieren
Vorheriges Kapitel Ontologies in Aeronautics
Nächstes Kapitel Towards Autonomy and Safety for Unmanned Aircraft Systems
Literatur
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
2.
RTCA. DO-297: Integrated Modular Avionics (IMA) Development Guidance and Certification Considerations. Technical report, RTCA (2005)
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
4.
J. Rushby, Partitioning in avionics architectures: requirements, mechanisms, and assurance. Technical report, SRI International (2000)
5.
RTCA/EUROCAE. ED-12C/DO-178C Software considerations in airborne systems and equipment certification. Technical report, EUROCAE (2012)
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)
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
8.
S. Furnell, U.G. Bleimann, P. Dowland, O. Schneider, in Proceedings of the Eighth International Network Conference (INC 2010). Lulu.com (2010)
9.
10.
C. Jones, O. Bonsignour, The Economics of Software Quality (Addison-Wesley Professional, USA, 2011)
11.
RTCA/EUROCAE. DO-333/ED-216 Formal Methods Supplement to DO-178C and DO-278A. Technical report, EUROCAE (2012)
12.
RTCA/EUROCAE. E-218/DO-331 Model-based development and verificationsupplement to ED-12C and ED-109A. Technical report, EUROCAE (2012)
13.
K. Schwaber, M. Beedle, Agile Software Development with Scrum, vol. 1 (Prentice Hall, Upper Saddle River, 2002)
14.
K. Beck, Extreme Programming Explained: Embrace Change (Addison-Wesley Professional, USA, 2000)
15.
A. Cockburn, Crystal Clear: A Human-Powered Methodology for Small Teams (Pearson Education, London, 2004)
16.
S.R. Palmer, M. Felsing, A Practical Guide to Feature-Driven Development (Pearson Education, London, 2001)
17.
K. Beck, Test-Driven Development: By Example (Addison-Wesley Professional, USA, 2003)
18.
J. Highsmith, Adaptive Software Development: A Collaborative Approach to Managing Complex Systems (Addison-Wesley, USA, 2013)
19.
R.A. Kemmerer, Integrating formal methods into the development process. IEEE Softw. 7(5), 37–50 (1990)CrossRef
20.
J.M. Wing, A specifier’s introduction to formal methods. Computer 23(9), 8–22 (1990)CrossRef
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
22.
H. Walters, Hybrid implementations of algebraic specifications, in International Conference on Algebraic and Logic Programming (Springer, Berlin, 1990), pp. 40–54CrossRef
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)CrossRef
24.
J. Kasser, Model-based systems engineering: back to the future? in Asia-Pacific Council on Systems Engineering (APCOSE) Conference (Yokohama, Japan, 2013)
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
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
27.
28.
29.
F. Paterno, Model-Based Design and Evaluation of Interactive Applications (Springer Science & Business Media, Berlin, 2012)
30.
S. Beydeda, M. Book, V. Gruhn et al., Model-Driven Software Development, vol. 15 (Springer, Berlin, 2005)CrossRef
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)
32.
R. Capilla, J. Bosch, K.-C. Kang et al., Systems and Software Variability Management, in Concepts Tools and Experiences (2013)
33.
I. Groher, M. Voelter, Expressing feature-based variability in structural models, in Workshop on Managing Variability for Software Product Lines (Citeseer, 2007)
34.
OMG, OMG Meta Object Facility (MOF) Core Specification Version 2.5.1. Technical report, Object Management Group (2016)
35.
H. Gomaa, Designing Software Product Lines with UML (IEEE, New York, 2005)CrossRef
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–77CrossRef
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
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)CrossRef
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
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
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
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)CrossRef
43.
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
45.
S. Thiel, A. Hein, Modelling and using product line variability in automotive systems. IEEE Softw. 19(4), 66–72 (2002)CrossRef
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
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
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
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
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
51.
J. Zander, I. Schieferdecker, P.J. Mosterman, Model-Based Testing for Embedded Systems (CRC Press, USA, 2011)
52.
M. Utting, B. Legeard, Practical Model-Based Testing: A Tools Approach (Morgan Kaufmann, USA, 2010)
53.
T. Roßner, C. Brandes, H. Goetz, M. Winter, Basiswissen Modellbasierter Test. Dpunkt. verlag, 2012
54.
J. Zander-Nowicka, Model-based testing of real-time embedded systems in the automotive domain (2009)
55.
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
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
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
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
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)
61.
M.M. Lehman, Programs, life cycles, and laws of software evolution. Proc. IEEE 68(9), 1060–1076 (1980)CrossRef
62.
G. Visaggio, Ageing of a data-intensive legacy system: symptoms and remedies. J. Softw. Evol. Process 13(5), 281–308 (2001)CrossRef
63.
D.L. Parnas, Software aging, in Proceedings of the 16th International Conference on Software Engineering (IEEE Computer Society Press, 1994), pp. 279–287
64.
H.M. Sneed, Estimating the costs of a reengineering project, in 12th Working Conference on Reverse Engineering (IEEE, New York, 2005), p. 9
65.
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)CrossRef
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)
68.
U. Durak, Extending the Knowledge Discovery Metamodel for architecturedriven simulation modernization. Simulation 91(12), 1052–1067 (2015)CrossRef
Metadaten
Titel
Advances in Software Engineering and Aeronautics
verfasst von
Shafagh Jafer
Umut Durak
Hakan Aydemir
Richard Ruff
Thorsten Pawletta
Copyright-Jahr
2018
Buch
Advances in Aeronautical Informatics

Print ISBN: 978-3-319-75057-6

Electronic ISBN: 978-3-319-75058-3

Copyright-Jahr: 2018

DOI
https://doi.org/10.1007/978-3-319-75058-3_7