=Paper=
{{Paper
|id=Vol-2581/aviose2020preface
|storemode=property
|title=None
|pdfUrl=https://ceur-ws.org/Vol-2581/aviose2020preface.pdf
|volume=Vol-2581
|dblpUrl=https://dblp.org/rec/conf/se/AnnighoferSR20a
}}
==None==
https://ceur-ws.org/Vol-2581/aviose2020preface.pdf
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.