1st Workshop on Avionics Systems and Software Engineering (AVIOSE’19) Björn Annighöfer Andreas Schweiger Marina Reich University of Stuttgart Airbus Defence and Space GmbH Airbus Defence and Space GmbH Institute of Aircraft Systems (ILS) Manching, Germany University of Chemnitz Stuttgart, Germany andreas.schweiger@airbus.com Manching, Germany bjoern.annighoefer@ils.uni-stuttgart.de marina.reich@airbus.com Abstract—Companies are struggling with the complexity of systems and/or software engineering methods within the avion- digital avionics systems. Millions of man months are required ics domain. (2) Bring together all involved disciplines, e.g. for the development of digital airborne systems. Moreover, the computer scientists theories, engineering methods, and indus- complexity of functions, the number of vehicles, and systems continuously rises. There is a high demand for more efficient trial processes. (3) Derive a common consensus on the most methods and tools of systems and software engineering. The important challenges within the avionics sector within the AVIOSE workshop establishes a new forum for the exchange next decade. (4) Discuss between participants on what way to for the people working on simplifying, shortening, and maturing proceed in order to solve the problems of the future. With these the creation of avionics systems. in mind, the topics of interest for the workshop are defined to Index Terms—avionics, systems engineering, software engineer- ing, formal methods, model-based, requirements, qualification, be: certification, simulation, processes • Development technologies: Requirements engineering, modeling languages and tools, transfer of modeling tech- I. I NTRODUCTION niques to industrial application, verification via testing Software development in the aerospace domain is driven and formal methods, security & safety by increasing complexity, new application potentials, and • Development methods: Certification, agile development, rising certification effort. Future applications demand for new interaction with other domains (e. g. physics, psychology) software development methodologies, e.g. autonomous air • Product technologies: Applications of artificial intelli- transport and commercial UAVs and further enhancement of gence (including verification), autonomous systems existing functionality. At the same time, there are issues in • Additional challenges: Reference architectures for hard- communication and navigation in airspace, multi-core pro- and software and interfaces between sub-systems, sensors cessors or artificial intelligence. Many projects struggle with and sensor fusion, Integrated Modular Avionics (IMA), continuously rising effort required for the implementation, obsolescence (management) development, configuration, integration, and qualification of digital airborne systems, i. e. avionics. III. TALKS AND C ONTRIBUTIONS Progress is made in various disciplines, as formal methods, process automation, simulation and regulations, but results The workshop is organized as one-day conference with often stay in their (academic) community. For instance, formal contributions from researchers as specialists of their specific methods like CSP [1], FOCUS [2], CCS [3], Petri Nets [4], domain. Each author has the forum to present and discuss his π-Calculus [5], Hoare-Calculus [6], or Isabelle [7], [8] are results, such that important and novel ideas from the AVIOSE around already for several years or even decades. However, domain are shared in detail. On the high-level a motivation and they are still not widely adopted in industry. general challenges are provided by invited long-term experts Therefore, it is about time to create a central point of from the academic and industrial world as keynote speakers. exchange for the engineers, computer scientists, and industry In addition, it is envisaged to collect common topics, cross- and all other involved parties with a holistic meeting on relations, and lessons learned during the workshop; to evaluate ”Avionics Systems and Software Engineering”. Invited are key and discuss those within a moderated podium discussion in players from the industrial and academic community to take order to find and define common results of the workshop. part in a one-day workshop held in the context of the ”Com- In total six papers with topics from formal verification bined Conference Software Engineering & Management” in and testing, early validation as well as requirements process February 2019 in Stuttgart (SE’2019). automation have been chosen for a presentation. Despite the SE being a German institution, the AVIOSE attracted authors II. W ORKSHOP G OALS of various nationalities. Most of them situated in Germany, The core objectives of the workshop are: (1) Providing but it got high European interest and includes a European a forum for novel and innovative approaches and tools of contribution. That underlines the international importance of AvioSE 2019: 1st Workshop on Avionics Systems and Software Engineering @ SE19, Stuttgart, Germany 61 the topics. Clearly, the workshop language equals the language • Prof. Dr.-Ing. Reinhard Reichel, University of Stuttgart of aerospace, English. The accepted publications are entitled: • Franz Münz, Airbus Defence and Space GmbH 1) MODCAP: A Platform for Cooperative Search and Furthermore, we want to express our gratitude to the Rescue Missions SE’2019 organizers for supporting our workshop. Finally, we 2) Model-Based Engineering for Avionics: Will Specifi- are glad that these people (listed in alphabetic order) served the cation and Formal Verification e.g. based on Broy’s program committee, soliciting papers and writing peer reviews: Streams become feasible? • Jun.-Prof. Björn Annighöfer, University of Stuttgart 3) Test Sequence Generation From Formally Verified • Sven Bacher, Philotech Systementwicklung und Software SysML Models GmbH 4) Towards Computer-Aided Software Requirements Pro- • Ulrich Fräbel, Rolls-Royce Group cess • Prof. Dr. Ralf God, Technische Universität Hamburg 5) Tool Chain for Avionics Design, Development, Integra- • Prof. Dr. Lars Grunske, Humboldt-Universität zu Berlin tion and Test • Prof. Dr. Eric Knauss, University of Gothenburg 6) Using Runtime Monitoring to Enhance Offline Analysis • Jürgen Krug, Diehl Aerospace GmbH In addition, two keynotes are given: • Alfred Lief, Airbus Defence and Space GmbH 1) Prof. Dr.-Ing. Reinhard Reichel from the University • Dr. Winfried Lohmiller, Airbus Defence and Space of Stuttgart highlights the importance of systems and GmbH software engineering from the academic perspective. He • Prof. Dr. Alexander Pretschner, Technische Universität is founder of the Institute of Aircraft Systems and a München former project leader at Diehl Avionics Systems. • Dr. Stephan Rudolph, Northrop Grumman LITEF GmbH 2) Franz Münz from Airbus Defence and Space shares • Dr. Harald Rueß, fortiss GmbH insights and experience of industrial avionics systems • Prof. Dr. Bernhard Rumpe, RWTH Aachen University and software engineering from the Airbus perspective. • Dr. Andreas Schweiger, Airbus Defence and Space He is a respected expert for real-time avionics systems. GmbH • Prof. Dr. Matthias Tichy, Universitaet Ulm IV. C ONCLUSION • Prof. Dr. André Windisch, Airbus Defence and Space Throughout the workshop, current industrial and academic GmbH, Technische Universität Chemnitz challenges are gathered. All participants contribute to the Special thanks go to Ms. Marina Reich, who came up with identification of worthwhile problems and their ratings. Coun- the initial idea of the AVIOSE workshop, and Stephan Becker, termeasures, solutions, approaches, and methods are debated who provided the SE as a home for the workshop. in plenary and panel discussion. The combination of industrial With the engagement of contributors, program committee, and academic participants increases awareness and information and organization team, the expected interest in the topic is level on both sides. highlighted. The organization committee will leverage the Throughout the submissions we recognize the particular acquaintance with the workshop for the future and to repeat efforts and the resulting promising trends in model-based the workshop as part of SE’2020. and model-driven development. Nevertheless, still a major of contributions focuses on adjustments, adaptations, extensions, R EFERENCES and customization of the models to use cases in our domain [1] C. A. R. Hoare. Communicating Sequential Processes. Prentice Hall and the development processes. International, 1985. Though advertised in the call for papers, no contribution [2] M. Broy and K. Stølen. Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement. Springer, New concerning new technologies such as AI has been received. York, 2001. Therefore, discussions are directed in this area during the [3] R. Milner. Communication and Concurrency. Prentice Hall, 1989. workshop. The same holds true for certification endeavors. [4] C. A. Petri. Kommunikation mit Automaten. Institut für Instrumentelle Mathematik, Schriften des IIM Nr. 2, Bonn, 1962. Exchanging experience and clarity in both fields are strongly [5] R. Milner. Communicating and Mobile Systems: The π-Calculus. Cam- recommended by the program committee and thus make up bridge University Press, 1999. significant open topics for discussions during the workshop. [6] C. A. R. Hoare. An Axiomatic Basis for Computer Programming. Communications of the ACM, 12(10): 576—585, 1969. ACKNOWLEDGMENTS [7] T. Nipkow. Equational Reasoning in Isabell. Science of Computer Programming. 12: 123–149, 1989. Many people contributed to the success of this workshop. [8] T. Nipkow. Term Rewriting and Beyond – Theorem Proving in Isabelle. First of all, we want to give thanks to the authors and Formal Aspects of Computing. 1: 320–338, 1989. presenters of the accepted papers and especially our keynote speakers: AvioSE 2019: 1st Workshop on Avionics Systems and Software Engineering @ SE19, Stuttgart, Germany 62