2nd Workshop on Avionics Systems and Software Engineering (AVIOSE’20) 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 workshop provides the enabling platform for these stakehold- avionics systems. A lot of effort is required for the development ers to discuss technical, but also process, and educational of such systems. As appropriate tools and methods are supposed topics. to be an effective lever, there is a high demand for increasing their efficiency. The AvioSE workshop continues to be a forum for The objectives of AvioSE’20 are three-fold: (1) It provides people working on increasing the efficiency for the development a forum for both, academia and industry, to exchange on new of avionics systems. methods, tools, and technologies for avionics systems and Index Terms—avionics, systems engineering, software engineer- software engineering, e.g., model-based development, require- ing, formal methods, model-based, requirement, qualification, ments engineering, formal methods, model-based methods, certification, simulation, process, tool and virtual methods. The contributions are presented in a scientific format, but the atmosphere of openness during the I. I NTRODUCTION workshop allows and facilitates detailed discussions. (2) Tools Aerospace applications depend heavily on software and and their usage in avionics are selected to be the main topic hardware, but complexity, both safety and security demands, of AvioSE’20. This is addressed interactively by inviting all and regulations make their development ambitious. Research participants to discuss aspects of the topic in small groups. progress in development efficiency can be observed to be of The breakdown of the complex tool topic into segments like uttermost significance. AvioSE’191 2 demonstrated successful tool properties, tool qualification, tool integration into the de- exchange and collaboration in technological applications and velopment process, tool implementation, and tool ecosystem, in methodological approaches. For both areas there is still a enable the groups to focus on an aspect that can be dealt with large gap between the provision of research results and their during a short period of time. Each breakout group figures wide industrial adoption. Fostering the cooperation between out the most important issues of their segment and propose industry and research is the main objective for achieving ways how to address them. The results are made available significant technological progress and enable enhancements in to all participants with the presentations of the breakout the development process. groups’ conclusions. This facilitates collaborations between In addition, AvioSE’20 addresses tools and their usage researchers from academia and professionals from industry in aerospace. The tools’ underlying concepts, e.g., textual, and increases the value of the workshop. (3) AvioSE’20 aims model-based; the process, e. g. V-model, agile; the tool imple- the facilitation of common understanding, goal definitions mentation, e. g. qualified, proprietary, in-house development, and prioritization as well as the selection of methodology. open source; and the tool ecosystem, e.g., manual conversion, Keynotes provided in the beginning of the day share their seamless-tool chain, one-tool-for-all, differ. It shall be figured visions and give the workshop the right spirit. The panel debate out with the participants, if there is a most promising approach closing the workshop, however, let reflect past efforts and for the usage of tools and how tools for new methods must opens the mind for new directions and explicitly points to look like to gain most benefit in the avionics domain. still open challenges. II. W ORKSHOP G OALS III. W ORKSHOP SUMMARY The main objective of the workshop is to accelerate the transfer of knowledge between academia and industry. This The AvioSE’20 was partially organized as a conference, which provides presentation slots to accepted papers. Out of 1 Annighoefer et al., 1st Workshop on Avionics Systems and Software six submissions four papers were chosen for presentation. The Engineering (AvioSE’19), 2019. accepted publications are entitled: 2 Annighoefer et al., Challenges and Ways Forward for Avionics Platforms and their Development in 2019, in IEEE/AIAA 38th Digital Avionics Systems 1) Approach to Systematic Test Signal Definition for Opera- Conference (DASC), 2019. tion Scenarios of Aircraft Systems Copyright © 2020 for this paper by its authors. Use permitted under Creative Commons License Attribution 4.0 International (CC BY 4.0). 2) Towards Using Formal Methods in Prototyping: Advantage tools stiffness and flexible processes is difficult to meet for or Impediment? tool supplier that serve various customers following different 3) An Approach for Logic-based Knowledge Representation processes. Discussed options for alignment were contracts and Automated Reasoning over Underspecification and (on handover) between development stages as well as the Refinement in Safety-Critical Cyber-Physical Systems feasibility of modular tool design. 4) Decentralised Avionics and Software Architecture for Considering the usability of a tool it is stated that well ac- Sounding Rocket Missions cepted tools serve their purpose and often integrate seamlessly In addition, two keynotes are given: an intuitive user interface. In addition, tool acceptance strongly increases if the tool explains what it does and if users influ- 1) FH-Prof. Dipl.-Ing. Dr. Holger Flühr from the FH JOAN- enced the development. Situations like cockpit development, NEUM. He is professor at the University of Applied where this seems impossible, are most challenging. Sciences in Graz. He shares with us his perspective on In conclusion, there is a strong demand for improved tool ”Avionics: Trends for 2030 and Beyond”. support for system and software engineering activities in 2) Detlef Schiron from Airbus Defence and Space shares the avionics domain that might be addressed with an active insights and experience of industrial avionics systems engi- working group in future. neering from the Airbus perspective. He is a senior expert for system simulator and virtual engineering and gives us ACKNOWLEDGMENTS an ”Introduction to Virtual Engineering”. Many people contributed to the success of this workshop. The remainder of the day was used to elaborate with the First of all, we want to give thanks to the authors and presenters, keynote speakers, and the audience on different presenters of the accepted papers and especially our keynote aspects of tools in aerospace system and software engineering. speakers This took place in four break-out groups where each focused • FH-Prof. Dipl.-Ing. Dr. Holger Flühr, FH JOANNEUM Graz on identified challenges within the chosen segment, possible and solutions, and strategies. Results were shared in short group • Detlef Schiron, Airbus Defence and Space GmbH presentations. A deeper and more critical reflection on moder- as well as the members of the panel ators and audience questions was provided by the three panel • Prof. Jasminka Matevska, Hochschule Bremen, members. • Dr. Daniel Dreyer, Airbus Defence and Space GmbH and • Dr. Levi Lúcio, Airbus Defence and Space GmbH. IV. C ONCLUSION Furthermore, we want to express our gratitude to the The focus of the AvioSE’20 interactive parts was the closer SE’2020 organizers for supporting our workshop. Finally, we look at tools. The aspects being most popular in ascending are glad that these people (listed in alphabetic order) served the order were tools for upcoming technologies, tools for devel- program committee, soliciting papers and writing peer reviews: opment strategies, and tool usability. • Prof. Marı́a Angeles Martı́n Prats, Universidad de Sevilla, Currently, most demanding technology is the application of Spain means offered by Artificial Intelligence. The demand lies not • Jun.- Prof. Björn Annighöfer, Universität Stuttgart more in the technical benefits of the technology, but instead • Prof. Dr.-Ing. Steffen Becker, Universität Stuttgart in new tools for the understanding and qualification of AI’s • Umut Durak, DLR Braunschweig products. • Prof. Dr. Ralf God, Technische Universität Hamburg In general, it was concluded that inappropriate tools are • Prof. Dr. Lars Grunske, Humboldt- Universität zu Berlin often the reason for issues in the development of aerospace • Prof. Dr. Eric Knauss, University of Gothenburg systems. Potential root causes assigned to tooling range from • Jürgen Krug, Diehl Aerospace GmbH unavailability over bad usability to bad support. For some root • Dr. Winfried Lohmiller, Airbus Defence and Space GmbH causes, however, the tool is not the main issue, but the methods • Dr. Christian Meißner, Volkswagen AG and processes that are supposed to be supported by tools. • Prof. Dr. Alexander Pretschner, Technische Universität A remarkable collection of solutions is today developed München and published by academia and open source communities. • Dr. Stephan Rudolph, Northrop Grumman LITEF GmbH However, their transfer to industry need initial development, • Prof. Dr. Bernhard Rumpe, RWTH Aachen University professionalisation, and adaptations for industrial environment • Dr. Andreas Schweiger, Airbus Defence and Space GmbH and processes. Due to different reasons, academia is not the • Katja Stecklina, Philotech Systementwicklung und Software partner to resolve the challenges. Those reasons are located in GmbH e.g., different motivation of academia’s tool development (e.g., • Prof. Dr. Matthias Tichy, Universität Ulm proof of concept, evaluations) and resource allocation. Differ- With the engagement of contributors, program committee, ent to academic tools, open source tools could be utilized, but and organization team, the expected interest for the workshop its application is hampered by company policies. is highlighted. The organization committee is encouraged with Another lack was identified in the interlocking of tools the provided feedback and plans to repeat the workshop as part and the development process. The right balance between of SE’21.