{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,4]],"date-time":"2026-09-04T09:12:10Z","timestamp":1788513130471,"version":"build-2803163510"},"reference-count":45,"publisher":"Springer Science and Business Media LLC","issue":"1-3","license":[{"start":{"date-parts":[[2026,6,1]],"date-time":"2026-06-01T00:00:00Z","timestamp":1780272000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2026,6,1]],"date-time":"2026-06-01T00:00:00Z","timestamp":1780272000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Informatik Spektrum"],"published-print":{"date-parts":[[2026,6]]},"DOI":"10.1007\/s00287-026-01605-w","type":"journal-article","created":{"date-parts":[[2026,8,7]],"date-time":"2026-08-07T13:02:54Z","timestamp":1786107774000},"page":"48-58","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Avionik-Software Engineering\u00a0\u2013 Besonderheiten der Software-Entwicklung in der Luftfahrt"],"prefix":"10.1007","volume":"49","author":[{"given":"Andreas","family":"Schweiger","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Hendrik","family":"Kausch","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mathias","family":"Pfeiffer","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Deni","family":"Raco","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"J\u00fcrgen","family":"Lang","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Bernhard","family":"Rumpe","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2026,8,7]]},"reference":[{"key":"1605_CR1","unstructured":"J. Marsden, A. Windisch, R. Mayo, J. Grossi, J. Villermin, L. Fabre, C. Aventini, ED-12C\/DO-178C vs. Agile Manifesto \u2013 A Solution to Agile Development of Certifiable Avionics Systems, in ERTS 2018 (2018)"},{"key":"1605_CR2","doi-asserted-by":"crossref","unstructured":"B. Annighoefer, M. Halle, A. Schweiger, M. Reich, C. Watkins, S. van der Leest, S. Harwarth, P. Deiber, Challenges and Ways Forward for Avionics Platforms and their Development in 2019, in 38th Digital Avionics SystemConference (DASC) (2019)","DOI":"10.1109\/DASC43569.2019.9081794"},{"key":"1605_CR3","unstructured":"A. Brahmi, D. Delmas, M.H. Essoussi, F. Randimbivololona, A. Atki, T. Marie, Formalise to Automate: Deployment of a\u00a0Safe and Cost-efficient Process for Avionics Software, in 9th European Congress on Embedded Real TimeSoftware and Systems (ERTS 2018) (Toulouse, France, 2018)"},{"issue":"3","key":"1605_CR4","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/s11334-011-0142-7","volume":"7","author":"PA Judas","year":"2011","unstructured":"Judas PA, Prokop LE (2011) A Historical Compilation of Software Metrics with Applicability to NASA\u2019s Orion Spacecraft Flight Software Sizing. Innovations in Systems and Software Engineering 7(3):161\u2013170","journal-title":"Innovations in Systems and Software Engineering"},{"key":"1605_CR5","volume-title":"Object Oriented Design with Applications","author":"G Booch","year":"1990","unstructured":"Booch G (1990) Object Oriented Design with Applications. Benjamin-Cummings Publishing Co., Inc., USA"},{"key":"1605_CR6","volume-title":"Continuous Integration: ImprovingSoftware Quality and Reducing Risk","author":"P Duvall","year":"2007","unstructured":"Duvall\u00a0P, Matyas\u00a0S, Glover\u00a0A (2007) Continuous Integration: Improving Software Quality and Reducing Risk. Pearson International"},{"key":"1605_CR7","doi-asserted-by":"crossref","unstructured":"Eder\u00a0S, Hauptmann\u00a0B, Junker\u00a0M, Juergens\u00a0E, Vaas\u00a0R, Prommer\u00a0KH (2013) Did we Test our Changes? Assessing Alignment between Tests and Development in Practice, in 2013 8th International Workshop on Automation of Software Test (AST), pp. 107\u2013110","DOI":"10.1109\/IWAST.2013.6595800"},{"key":"1605_CR8","doi-asserted-by":"crossref","unstructured":"Juergens\u00a0E, Dei\u00dfenb\u00f6ck\u00a0F, Hummel\u00a0B, Wagner\u00a0S (o.J.) Do Code Clones Matter?, in 31st International Conference on Software Engineering (IEEE, Piscataway, NJ.), pp.\u00a0485\u2013495","DOI":"10.1109\/ICSE.2009.5070547"},{"issue":"4","key":"1605_CR9","doi-asserted-by":"publisher","first-page":"526","DOI":"10.1109\/JPROC.2009.2037771","volume":"98","author":"M Broy","year":"2010","unstructured":"Broy\u00a0M, Feilkas\u00a0M, Herrmannsdoerfer\u00a0M, Merenda\u00a0S, Ratiu\u00a0D (2010) Seamless Model-Based Development: From Isolated Tools to Integrated Model Engineering Environments. Proceedings of the IEEE 98(4):526\u2013545","journal-title":"Proceedings of the IEEE"},{"issue":"3","key":"1605_CR10","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1109\/MS.2013.43","volume":"30","author":"Y Moy","year":"2013","unstructured":"Moy\u00a0Y, Ledinot\u00a0E, Delseny\u00a0H, Wiels\u00a0V, Monate\u00a0B (2013) Testing or Formal Verification: DO-178C Alternatives and Industrial Experience. IEEE Software 30(3):50\u201357","journal-title":"IEEE Software"},{"key":"1605_CR11","doi-asserted-by":"crossref","unstructured":"Cousot\u00a0P, Cousot\u00a0R (1977) Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints, in Proceedings of the 4th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (Association for Computing Machinery, New York, NY, USA), POPL \u201977, p. 238\u2013252","DOI":"10.1145\/512950.512973"},{"key":"1605_CR12","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/3-540-11494-7_22","volume-title":"International Symposium on Programming","author":"JP Queille","year":"1982","unstructured":"Queille\u00a0JP, Sifakis\u00a0J (1982) Specification and Verification of Concurrent Systems in CESAR. In: Dezani-Ciancaglini M, Montanari U (Hrsg.) International Symposium on Programming. Springer Berlin Heidelberg, Berlin, Heidelberg, pp\u00a0337\u2013351"},{"key":"1605_CR13","doi-asserted-by":"crossref","unstructured":"Klein\u00a0G, Andronick\u00a0J, Elphinstone\u00a0K, Murray\u00a0T, Sewell\u00a0T, Kolanski\u00a0R, Heiser\u00a0G (2014) Comprehensive Formal Verification of an OS Microkernel. ACM Trans. Comput. Syst. 32(1)","DOI":"10.1145\/2560537"},{"issue":"10","key":"1605_CR14","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1109\/MC.2004.172","volume":"37","author":"D Harel","year":"2004","unstructured":"Harel\u00a0D, Rumpe\u00a0B (2004) Meaningful Modeling: What\u2019s the Semantics of \u201eSemantics\u201c. IEEE Computer Journal 37(10):64\u201372","journal-title":"IEEE Computer Journal"},{"key":"1605_CR15","doi-asserted-by":"crossref","unstructured":"Kausch\u00a0H, Pfeiffer\u00a0M, Raco\u00a0D, Rumpe\u00a0B, Schweiger\u00a0A (2022) Correct and Sustainable Development Using Model-based Engineering and Formal Methods, in 2022 IEEE\/AIAA 41st Digital Avionics Systems Conference (DASC) (IEEE)","DOI":"10.1109\/DASC55683.2022.9925819"},{"key":"1605_CR16","first-page":"169","volume-title":"Software Engineering 2023 Workshops","author":"H Kausch","year":"2023","unstructured":"Kausch\u00a0H, Pfeiffer\u00a0M, Raco\u00a0D, Rath\u00a0A, Rumpe\u00a0B, Schweiger\u00a0A (2023) A Theory for Event-Driven Specifications Using Focus and MontiArc on the Example of a\u00a0Data Link Uplink Feed System. In: Groher I, Vogel T (eds) Software Engineering 2023 Workshops. Gesellschaft f\u00fcr Informatik e.V., pp\u00a0169\u2013188"},{"issue":"1","key":"1605_CR17","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/s00287-006-0124-6","volume":"30","author":"M Broy","year":"2007","unstructured":"Broy\u00a0M, Rumpe\u00a0B (2007) Modulare hierarchische Modellierung als Grundlage der Software- und Systementwicklung. Informatik-Spektrum 30(1):3\u201318","journal-title":"Informatik-Spektrum"},{"key":"1605_CR18","first-page":"87","volume":"2308","author":"S Kriebel","year":"2019","unstructured":"Kriebel\u00a0S, Raco\u00a0D, Rumpe\u00a0B, St\u00fcber\u00a0S (2019) Model-Based Engineering for Avionics: Will Specification and Formal Verification e.g. Based on Broy\u2019s Streams Become Feasible? CEUR Workshop Proceedings 2308:87\u201394","journal-title":"CEUR Workshop Proceedings"},{"key":"1605_CR19","unstructured":"Kausch\u00a0H, Michael\u00a0J, Pfeiffer\u00a0M, Raco\u00a0D, Rumpe\u00a0B, Schweiger\u00a0A (2021) Model-Based Development and Logical AI for Secure and Safe Avionics Systems: A\u00a0Verification Framework for SysML Behavior Specifications, in Aerospace Europe Conference 2021 (AEC 2021) (Council of European Aerospace Societies (CEAS), 2021)"},{"key":"1605_CR20","unstructured":"Kausch\u00a0H, Pfeiffer\u00a0M, Raco\u00a0D, Rumpe\u00a0B (2021) Model-Based Design of Correct Safety-Critical Systems using Dataflow Languages on the Example of SysML Architecture and Behavior Diagrams, in Proceedings of the Software Engineering 2021 Satellite Events, vol. 2814, ed. by S. G\u00f6tz, L. Linsbauer, I. Schaefer, A. Wortmann (CEUR, 2021)"},{"key":"1605_CR21","series-title":"Aachener Informatik Berichte, Software Engineering","volume-title":"Towards an Isabelle Theory for distributed, interactivesystems - the untimed case","author":"JC B\u00fcrger","year":"2020","unstructured":"B\u00fcrger\u00a0JC, Kausch\u00a0H, Raco\u00a0D, Ringert\u00a0JO, Rumpe\u00a0B, St\u00fcber\u00a0S, Wiartalla\u00a0M (2020) Towards an Isabelle Theory for distributed, interactive systems - the untimed case. Aachener Informatik Berichte, Software Engineering, vol 45. Shaker Verlag"},{"issue":"3","key":"1605_CR22","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1109\/MS.2013.65","volume":"31","author":"J Whittle","year":"2014","unstructured":"Whittle\u00a0J, Hutchinson\u00a0J, Rouncefield\u00a0M (2014) The State of Practice in Model-Driven Engineering. IEEE Software 31(3):79\u201385","journal-title":"IEEE Software"},{"key":"1605_CR23","volume-title":"Design by Contract","author":"B Meyer","year":"2002","unstructured":"Meyer B (2002) Design by Contract. Prentice Hall, Upper Saddle River"},{"key":"1605_CR24","doi-asserted-by":"crossref","unstructured":"Brenner\u00a0W, Broy\u00a0M, Leimeister\u00a0JM (2017) Auf dem Weg zu einer Informatik neuer Pr\u00e4gung in Wissenschaft, Studium und Wirtschaft. Informatik Sprektrum 40","DOI":"10.1007\/s00287-017-1066-x"},{"issue":"12","key":"1605_CR25","doi-asserted-by":"publisher","first-page":"1226","DOI":"10.1109\/TC.1976.1674590","volume":"C-25","author":"BW Boehm","year":"1976","unstructured":"Boehm BW (1976) Software Engineering. IEEE Transactions on Computers C\u201125(12):1226\u20131241","journal-title":"IEEE Transactions on Computers"},{"key":"1605_CR26","doi-asserted-by":"crossref","unstructured":"Baziuk\u00a0W (1995) BNR\/NORTEL: Path to Improve Product Quality, Reliability and Customer Satisfaction, in Proceedings of Sixth International Symposiumon Software Reliability Engineering. ISSRE\u201995, pp.\u00a0256\u2013262","DOI":"10.1109\/ISSRE.1995.497665"},{"issue":"5","key":"1605_CR27","doi-asserted-by":"publisher","first-page":"408","DOI":"10.1007\/s00287-008-0279-4","volume":"31","author":"F Fieber","year":"2008","unstructured":"Fieber\u00a0F, Huhn\u00a0M, Rumpe\u00a0B (2008) Modellqualit\u00e4t als Indikator f\u00fcr Softwarequalit\u00e4t: eine Taxonomie. Informatik-Spektrum 31(5):408\u2013424","journal-title":"Informatik-Spektrum"},{"key":"1605_CR28","first-page":"119","volume-title":"Avionics Systems andSoftware Engineering Workshop of the Software Engineering 2024 - CompanionProceedings (AvioSE)","author":"H Kausch","year":"2024","unstructured":"Kausch\u00a0H, Pfeiffer\u00a0M, Raco\u00a0D, Rumpe\u00a0B, Schweiger\u00a0A (2024) Enhancing System-model Quality: Evaluation of the MontiBelle Approach with the Avionics Case Study on a\u00a0Data Link Uplink Feed System. In: Avionics Systems and Software Engineering Workshop of the Software Engineering 2024 - Companion Proceedings (AvioSE). Gesellschaft f\u00fcr Informatik e.V., pp\u00a0119\u2013138"},{"key":"1605_CR29","doi-asserted-by":"crossref","unstructured":"Rushby\u00a0J (2008) Automated Test Generation and Verified Software (Springer Berlin Heidelberg, Berlin, Heidelberg), pp.\u00a0161\u2013172","DOI":"10.1007\/978-3-540-69149-5_18"},{"key":"1605_CR30","unstructured":"Kausch\u00a0H, Pfeiffer\u00a0M, Raco\u00a0D, Rumpe\u00a0B (2020) An Approach for Logic-based Knowledge Representation and Automated Reasoning over Underspecification and Refinement in Safety-Critical Cyber-Physical Systems, in Combined Proceedings of the Workshops at Software Engineering 2020, vol. 2581, ed. by R. Hebig, R. Heinrich (CEUR Workshop Proceedings)"},{"key":"1605_CR31","doi-asserted-by":"crossref","unstructured":"Kausch\u00a0H, Pfeiffer\u00a0M, Raco\u00a0D, Rumpe\u00a0B (2020) MontiBelle - Toolbox for a\u00a0Model-Based Development and Verification of Distributed Critical Systems for Compliance with Functional Safety, in AIAA Scitech 2020 Forum (American Institute of Aeronautics and Astronautics, 2020)","DOI":"10.2514\/6.2020-0671"},{"key":"1605_CR32","doi-asserted-by":"publisher","first-page":"683","DOI":"10.1007\/s00165-012-0222-y","volume":"25","author":"AD Brucker","year":"2012","unstructured":"Brucker\u00a0AD, Wolff\u00a0B (2012) On Theorem Prover-based Testing. Formal Aspects of Computing 25:683\u2013721","journal-title":"Formal Aspects of Computing"},{"key":"1605_CR33","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-7091-8327-4","volume-title":"Allgemeine Modelltheorie","author":"H Stachowiak","year":"1973","unstructured":"Stachowiak\u00a0H (1973) Allgemeine Modelltheorie. Springer"},{"key":"1605_CR34","doi-asserted-by":"publisher","first-page":"154","DOI":"10.1007\/3-540-58555-9_94","volume":"LNCS 873","author":"B Paech","year":"1994","unstructured":"Paech\u00a0B, Rumpe\u00a0B (1994) A new Concept of Refinement used for Behaviour Modelling with Automata. Proceedings of the Industrial Benefit of Formal Methods (FME\u201994) LNCS 873:154\u2013174","journal-title":"Proceedings of the Industrial Benefit of FormalMethods (FME\u201994)"},{"key":"1605_CR35","unstructured":"Grosu\u00a0R, Klein\u00a0C, Rumpe\u00a0B, Broy\u00a0M (1996) State Transition Diagrams. Technischer Bericht., Technische Universit\u00e4t M\u00fcnchen."},{"key":"1605_CR36","volume-title":"Software-Management, Software-Qualit\u00e4tssicherung,Unternehmensmodellierung","author":"H Balzert","year":"1998","unstructured":"Balzert\u00a0H (1998) Software-Management, Software-Qualit\u00e4tssicherung,Unternehmensmodellierung. Spektrum Akademischer Verlag"},{"key":"1605_CR37","unstructured":"Lockhead Martin Corporation (2005) Joint Strike Fighter \u2013 Air Vehicle C++Coding Standards for the System Development and Demonstration Program."},{"key":"1605_CR38","volume-title":"Software Product Lines","author":"P Clements","year":"2002","unstructured":"Clements\u00a0P, Northrop\u00a0L (2002) Software Product Lines. Addison-Wesley, Boston"},{"key":"1605_CR39","doi-asserted-by":"crossref","unstructured":"Haber\u00a0A, Rendel\u00a0H, Rumpe\u00a0B, Schaefer\u00a0I (2012) Evolving Delta-oriented Software Product Line Architectures. In: Large-Scale Complex IT Systems.Development, Operation and Management, 17th Monterey Workshop 2012. LNCS, Vol. 7539. Springer, pp\u00a0183\u2013208","DOI":"10.1007\/978-3-642-34059-8_10"},{"key":"1605_CR40","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-28901-1","volume-title":"Software Product LineRngineering: Foundations, Principles, and Techniques","author":"K Pohl","year":"2005","unstructured":"Pohl\u00a0K, B\u00f6ckle\u00a0G, Van\u00a0Der\u00a0Linden\u00a0F (2005) Software Product Line Engineering: Foundations, Principles, and Techniques, Vol. 1. Springer"},{"key":"1605_CR41","doi-asserted-by":"crossref","unstructured":"Keswani\u00a0R, Joshi\u00a0S, Jatain\u00a0A (2014) Software Reuse in Practice, in 2014 Fourth International Conference on Advanced Computing & Communication Technologies, pp. 159\u2013162","DOI":"10.1109\/ACCT.2014.57"},{"key":"1605_CR42","volume-title":"Model-BasedEngineering of Embedded Systems","year":"2012","unstructured":"Pohl\u00a0K, H\u00f6nninger\u00a0H, Achatz\u00a0R, Broy\u00a0M (eds) (2012) Model-Based Engineering of Embedded Systems. Springer, Berlin, Heidelberg"},{"key":"1605_CR43","volume-title":"Advanced Model-BasedEngineering of Embedded Systems","year":"2016","unstructured":"Pohl\u00a0K, H\u00f6nninger\u00a0H, Daembkes\u00a0H, Broy\u00a0M (eds) (2016) Advanced Model-Based Engineering of Embedded Systems. Springer, Cham"},{"key":"1605_CR44","volume-title":"Model-Based Engineering of Collaborative Embedded Systems","year":"2021","unstructured":"B\u00f6hm\u00a0W, Broy\u00a0M, Klein\u00a0C, Pohl\u00a0K, Rumpe\u00a0B, Schr\u00f6ck\u00a0S (eds) (2021) Model-Based Engineering of Collaborative Embedded Systems. Springer"},{"key":"1605_CR45","unstructured":"SpesML-Projektseite. https:\/\/spesml.github.io"}],"container-title":["Informatik Spektrum"],"original-title":[],"language":"de","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00287-026-01605-w.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s00287-026-01605-w","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00287-026-01605-w.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,9,4]],"date-time":"2026-09-04T08:15:47Z","timestamp":1788509747000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s00287-026-01605-w"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,6]]},"references-count":45,"journal-issue":{"issue":"1-3","published-print":{"date-parts":[[2026,6]]}},"alternative-id":["1605"],"URL":"https:\/\/doi.org\/10.1007\/s00287-026-01605-w","relation":{},"ISSN":["0170-6012","1432-122X"],"issn-type":[{"value":"0170-6012","type":"print"},{"value":"1432-122X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026,6]]},"assertion":[{"value":"4 February 2026","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"6 March 2026","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"7 August 2026","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}