AvioSE'20, 25th of February 2020, Innsbruck, Austria

Software development in the aerospace domain is driven by increasing complexity, new application potentials, and rising certification effort. Future applications demand for new software development methodologies, e. g. autonomous air transport, commercial UAVs, and further enhancement of existing functionality. At the same time, there are issues in communication and navigation in airspace, certification for multi-core processors or artificial intelligence, and security in software, hardware, and connectivity.



Agenda released

The program for the AVIOSE20 is compiled. We are delighted to announce four papers, two keynote speakers, a panel discussion and a social event.


Submission Deadline Extension

As the OC received some requests, the submission deadline is extended to the 6th of January 2020 !


AvioSE is now on twitter!

Stay informed, follow or contact us on twitter: @AvioSE_workshop or #AvioSE_workshop


Announcement of keynote speakers

The AVIOSE20 workshop is accompanied by two keynote speakers.

  • Holger Flühr from the FH JOANNEUM. He is professor at the University of Applied Sciences in Graz. He will share with us his perspective on "Avionics: Trends for 2030 and Beyond".
  • Detlef Schiron from Airbus Defence and Space will share insights and experience of industrial avionics systems engineering from the Airbus perspective. He is a senior expert for system simulator and virtual engineering and will give us an "Introduction to Virtual Engineering".


Registration open

The registration page opened up. You are now able to register for the AVIOSE20 or the full SE20. Early Bird expires January 20, 2020. here.


Workshop announcement

The organization team and the program committee are especially delighted to announce the workshop for 2020.
We look forward to your contribution and participation! Download the calender entry to not miss any important dates!

Important dates

Nov 30, 2019

Jan 6, 2020

Paper submission deadline Download calender entry
Jan 13, 2020 Paper acceptance notification Download calender entry
Jan 20, 2020 Camera-ready paper deadline Download calender entry
Jan 20, 2020 Early bird option for registration expires
Feb 25, 2020 Day of the workshop Download calender entry


Participation as an author or listener requires a registration at the hosting conference SE20. Reduced packages for an attending of the workshop only is be available. Early Birds registration is possible until January, 20, 2020.

Call for Papers (Updated PDF)

The objective of the workshop is the presentation of methods and technologies of the avionics domain. Topics of interest, but not limited to these, are:

Development technologies:

  • Requirements engineering
  • Modelling languages and tools
  • Transfer of modelling techniques to industrial application
  • Verification via testing and formal methods
  • Security & Safety

Development methods:

  • Certification
  • Agile development
  • Interaction with other domains (e. g. physics, psychology)

Product technologies:

  • Applications of artifical intelligence (including verification)
  • Autonomous Systems

Additional challenges:

  • Reference architectures for hard- and software and interfaces between sub-systems
  • Sensors, sensor fusion and sensor management
  • Integrated Modular Avionics (IMA)
  • Obsolescence (management)

Type of submission and conditions

We welcome two kinds of contributions:

All accepted contributions will be published within the SE-workshop proceedings and be available in CEUR-WS.

!!! Accepted contributions must be presented by one of the authors in person!!!

How to Contribute?

The papers must follow IEEE (double column) formatting guidelines.

The papers are to be submitted using EasyChair. If you do not have an EasyChair account, you need to create a new one. The text of the abstract should not exceed 200 words.

Assessment and Selection of Submissions

The requested submissions lie in the field of expertise of the Organisation and Program Committee. They are assessed according to the following scientific criteria:


The workshop is planned as an all-day event. The workshop language is English. The preliminary program can be found below:

08:00 - - Registration Hotel lobby*
09:00 09:10 00:10 Opening *
09:10 09:35 00:25 Keynote 1: Holger Flühr, JOANNEUM University of Applied Sciences in Graz *
09:35 10:00 00:25 Paper 1: Approach to Systematic Test Signal Definition for Operation Scenarios of Aircraft Systems: Dennis Hillig and Frank Thielecke (Hamburg University of Technology) *
10:00 10:30 00:30 Coffee *
10:30 10:55 00:25 Paper 2: Towards Using Formal Methods in Prototyping: Advantage or Impediment? - Sebastian Schirmer, Tino Teige, Christoph Torens and Udo Brockmeyer (DLR Brunswick) *
10:55 11:20 00:25 Keynote 2: Detlef Schiron, Airbus Defence and Space GmbH *
11:20 11:45 00:25 Paper 3: An Approach for Logic-based Knowledge Representation and Automated Reasoning over Underspecification and Refinement in Safety-Critical Cyber-Physical Systems - Hendrik Kausch, Mathias Pfeiffer, Deni Raco and Bernhard Rumpe (RTWH Aachen) *
11:45 12:10 00:25 Paper 4: Decentralised Avionics and Software Architecture for Sounding Rocket Missions - Jasminka Matevska, Enrico Noack, Manuel Reinhold and Eike-Kristian Diekmann (Hochschule Bremen, Airbus Defence and Space GmbH) *
12:10 14:00 01:50 Lunch *
14:00 14:50 00:50 Breakout Session on “Tools in Aerospace SE” *
14:50 15:30 00:40 Breakout Session Conclusions (5 min per group) *
15:30 16:00 00:30 Coffee *
16:00 17:00 01:00 Panel discussion *
17:00 17:10 00:10 Conclusion *
17:30 Dinner: Social and technical exchange with the people from the AvioSE workshop (optional and self-payed). A table is reserved for us in the Ludwig Restaurant: (Restaurant website).

* Hotel Grauer Bär, Innsbruck, Austria (Hotel website)


To contact the organizers, send an email to Marina Reich: marinr[AT]hrz.tu-chemnitz.de.

Workshop chairs

Jun.- Prof. Björn Annighöfer, Universität Stuttgart
Dr. Andreas Schweiger, Airbus Defence and Space GmbH
Marina Reich, Airbus Defence and Space GmbH, Technische Universität Chemitz

Program committee

Prof. María Angeles Martín Prats, Universidad de Sevilla, Spain
Jun.- Prof. Björn Annighöfer, Universität Stuttgart
Prof. Dr.-Ing. Steffen Becker, Universität Stuttgart
Umut Durak, DLR Braunschweig
Prof. Dr. Ralf God, Technische Universität Hamburg
Prof. Dr. Lars Grunske, Humboldt- Universität zu Berlin
Prof. Dr. Eric Knauss, University of Gothenburg
Jürgen Krug, Diehl Aerospace GmbH
Dr. Winfried Lohmiller, Airbus Defence and Space GmbH
Dr. Christian Meißner, Volkswagen AG
Prof. Dr. Alexander Pretschner, Technische Universität München
Dr. Stephan Rudolph, Northrop Grumman LITEF GmbH
Prof. Dr. Bernhard Rumpe, RWTH Aachen University
Dr. Andreas Schweiger, Airbus Defence and Space GmbH
Katja Stecklina, Philotech Systementwicklung und Software GmbH
Prof. Dr. Matthias Tichy, Universität Ulm


All accepted contributions will be published with CEUR-WS and freely accessible.

Past Editions

AvioSE'19 Co-located with SE in Stuttgart, Germany