=Paper=
{{Paper
|id=Vol-2308/aviose2019intro
|storemode=property
|title=None
|pdfUrl=https://ceur-ws.org/Vol-2308/aviose2019intro.pdf
|volume=Vol-2308
}}
==None==
https://ceur-ws.org/Vol-2308/aviose2019intro.pdf
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