AvioSE'23, February, 21, 2023, Paderborn, Germany

Software development in the aerospace domain is driven by demanding fault tolerance, increasing complexity, new application potentials, rising certification effort, and increasing cost pressure. New software development methodologies are required for future applications such as e.g. Advanced Air Mobility (AAM), aircrew (workload) reduction, and further enhancement of existing functionality. At the same time, there are challenges in communication and navigation in airspace, certification for multi-core processors, artificial intelligence (AI) as well as security of software, hardware, and connectivity.

News

2023-02-21	Mission accomplished The AvioSE'23 was successfully conducted in Paderborn. Many thanks to all contributors, i.e. authors, keynotes, panelists and the audience! We enjoyed the event very much. We are looking forward to see you again at AvioSE'24.
2023-02-14	Proceedings released The proceedings for the AvioSE'23 are available here.
2023-02-09	Nicolas Paoli joined the panel We are happy to announce that Nicolas Paoli from the Airbus Cloud Acceleration Team will join our panel discussion as an additional panelist. Welcome Nicolas!
2023-02-06	Social event Joins us for dinner after the AvioSE'23. For details see the program.
2023-02-03	Agenda update We are happy to announce that Ursula Hoffmann from Diehl and Michael Hanke from DETECON joint the panel discussion. Moreover, the agenda for the afternoon was shifted by 30 min.
2023-01-25	Preliminary program compiled Please find the preliminary program of the AvioSE'23 here. We are still arranging some keynotes and the panel. Return later for updates.
2023-01-14	Author notifications sent All contributors where informed via email about the acceptance or not acceptance of their paper. The acceptance rate is 66%. Final papers have to be prepared by Jan 29.
2023-01-12	Registration open Participation requires a registration for at least the workshops of SE-2023. The registration is now open.
2022-11-22	How can avionics benefit from cloud or edge computing? (utilization of e.g. Gaia-X, etc.) Cloud computing and edge computing are ubiquitous technology trends in general IT. The frequency of cloud and edge being mentioned in relation with avionics functions increases. We would like to discuss the experience, needs, benefits and risks of edge on cloud computing for avionics systems. Therefore, this will be the hot topic of the AvioSE23 panel discussion. We are looking forward to your thoughts.
2022-09-12	Workshop announcement AvioSE'23 was accepted as a workshop co-located with the SE23. We look forward to your contribution and participation! Become a part of AvioSE. The Call for Papers for the AvioSE'23 is open. We appreciate your contribution!

Important dates

Dec 9, 2022 extended	Paper submission deadline
Jan 16, 2023	Paper acceptance notification
Jan 29, 2023	Camera-ready paper deadline
Jan 31, 2023	Early bird registration ends
Feb 16, 2023	Presentation slides deadline
Feb 21, 2023	Day of the workshop

Registration

Participation as an author or listener requires a registration at the hosting conference SE23.

Call for Papers (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 (e.g. model-based systems and software engineering):

• Requirements engineering
• Modelling languages and tools
• Model-based systems and software engineering (MBSE)
• Transfer of modelling techniques to industrial application and their scalability
• Cyber-Security and Safety
• Algorithm-based sizing, layout, design, and automation of development and certification artifacts

Development methods (e.g. deployment of AI):

• Avionics-specific languages, compilers, checkers or tools
• Agile development vs. certification
• Interaction with other domains (e.g., electrical engineering, physics, psychology)
• Deployment of artificial intelligence for enhancing development processes
• Automated and/or digital engineering workflows

Quality assurance methods (e.g. model-based tests, formal methods):

• Model-based tests as well as safety and security assessment
• Verification via testing and formal methods and their scalability
• Qualification simplification methods
• Alternative certification strategies

Product technologies (e.g. applications of AI):

• Applications of AI (including verification, certification, and explainability)
• Autonomous Systems (e.g., UAS, Remotely Piloted Aircraft System (RPAS))
• Reference architectures for hard- and software and interfaces between sub-systems
• Sensors, sensor fusion and sensor management
• Integrated Modular Avionics (IMA) and other avionics platforms
• Human-Machine-Interface (HMI)
• Safty-critical middleware and operating systems

Vision papers

• Short vision papers on upcoming challenges, technologies or regulations

Type of submission and conditions

We welcome two kinds of contributions:

• Full Paper: The paper does not exceed 20 pages and states completed research.
• Short Paper: The paper does not exceed 10 pages and states ongoing research.

All accepted contributions will be published within the SE-workshop proceedings and be available in dl.gi.de.

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

How to Contribute?

The papers must follow LNI 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:

• Reasonable structure (problem statement and related work, solution, evaluation of the presented approach)
• Presentation of the unique feature of the submission w. r. t. existing solutions
• Intersubjectively comprehensible compilation
• Relevance of the presented approach
• Innovation of the submission
• Sustainability of the solution
• Appropriate citation of relevant scientific publications
• Form (language, spelling, grammar and formatting)

Program

The workshop is an all-day event. It is a mini-conference giving space to the authors of the accepted papers to present their work. Moreover, invited experts give insights on important avionics topics in keynote presentations. Last, a panel session with experts is organized for exchanging experiences and fostering the network. The workshop language is English. The preliminary program can be found below.

FROM*	TO	DUR	SLOT	LOCATION
08:30	09:00	00:30	Opening	**
09:00	09:30	00:30	Keynote 1: Resource Management and Orchestration for Real-time Cloud - Gautam Gala (Researcher at the department of Real-Time Systems, TU Kaiserslautern)	**
09:30	10:00	00:30	Paper 1: Model-Based and Automated Software Tool Qualification of Domain-Specific Modeling Tools as per RTCA DO-330 - Constantin Frey and Bjoern Annighoefer (University of Stuttgart, Germany)	**
10:00	10:30	00:30	Paper 2: A Seamless and End-to-End Approach for Early and Continuous Validation of Next-Generation Avionics Platforms - Kamiran Abdo, Jasmin Broehan and Frank Thielecke (Hamburg University of Technology, Germany)	**
10:30	11:00	00:30	Coffee break	**
11:00	11:30	00:30	Paper 3: On the Design and Model-Based Validation of Flight Control System Automation for an Unmanned Coaxial Helicopter - Hannes Hofsäß, Barzin Hosseini, Julian Rhein and Florian Holzapfel (Technical University of Munich, Germany)	**
11:30	12:00	00:30	Paper 4: A Theory for Event-Driven Specifications Using Focus and MontiArc on the Example of a Data Link Uplink Feed System - Hendrik Kausch, Mathias Pfeiffer, Deni Raco, Amelie Rath, Bernhard Rumpe and Andreas Schweiger. (RWTH Aachen University & Airbus)	**
12:00	12:30	00:30	Paper 5: Enabling Level 3 AI with Resilient Avionics Platform through Dynamic Reconfiguration - Wanja Zaeske, Clemens Brust, Andreas Lund and Umut Durak. (German Aerospace Center (DLR), Braunschweig, Germany)	**
12:30	14:00	01:30	Lunch break	***
14:00	14:30	00:30	Keynote 2: From the Cloud to the Clouds: Applying Cloud Technologies to Avionics - Wanja Zaeske (Researcher at German Aerospace Center (DLR), Braunschweig, Germany)	**
14:30	15:00	00:30	Paper 6: Tool Qualification Aspects in ML-Based Airborne Systems Development - Konstantin Dmitriev, Fateh Kaakai, Mohamad Ibrahim, Umut Durak, Bill Potter and Florian Holzapfel (Technical University of Munich & Thales & Technical University of Clausthal, Germany & Mathworks & German Aerospace Center (DLR))	**
15:00	15:30	00:30	Panel discussion (part 1): How can avionics benefit from cloud or edge computing? (utilization of e.g. Gaia-X, etc.) - Todd Kilbourne (Senior Program Manage @ Mosaic ATM, USA), Martin Kubisch (Research Project/Team Leader Post-Quantum Crypto @ Airbus, Germany), Ursula Hoffmann (R&D Cloud Activities @ Diehl), Michael Hanke (Cloud Technology and Infrastructure @ DETECON), Nicolas Paoli (Cloud Acceleration Team Lead @ AIRBUS)	**
15:30	16:00	00:30	Coffee break	***
16:00	17:00	01:00	Panel discussion (part 2): continuing part 1 (see above)	**
17:00	17:30	00:30	Closing	**
19:00			Dinner: Social and technical exchange with the people from the AvioSE workshop (optional and self-payed).	****

* All times are given in Central European Time (CET), e.g. Berlin
** Heinz Nixdorf MuseumsForum (HNF), Seminarraum S5
*** Heinz Nixdorf MuseumsForum (HNF), Ausstellungsfläche
**** Trattoria Il Postino, Jühenplatz 1–3, 33098 Paderborn

Committee

To contact the organizers, send an email to Andreas Schweiger: andreas.schweiger[AT]airbus.com.

Workshop chairs

Jun.-Prof. Björn Annighöfer, Universität Stuttgart
Dr. Andreas Schweiger, Airbus Defence and Space GmbH
Stéphane Poulain, Airbus Operations GmbH

Program committee

Jun.-Prof. Björn Annighöfer, Universität Stuttgart
Prof. Dr.-Ing. Dr. h. c. Jürgen Becker, Karlsruher Institut für Technologie (KIT)
Prof. Dr.-Ing. Steffen Becker, Universität Stuttgart
Rolf Buese, Diehl Aerospace GmbH, Überlingen
apl. Prof. Dr.-Ing. Umut Durak, DLR Braunschweig
FH-Prof. Dipl.-Ing. Dr. Holger Flühr, FH Johanneum Graz
Prof. Dr. Ralf God, Technische Universität Hamburg
Dr. Christian Heinzemann, Robert Bosch GmbH
Prof. Dr. Wolfgang Hommel, Universität der Bundeswehr München
Dr. Winfried Lohmiller, Airbus Defence and Space GmbH
Dr. Christian Meißner, Volkswagen AG
Marina Reich, Airbus Defence and Space GmbH, Technische Universität Chemitz
Dr. Stephan Rudolph, Northrop Grumman LITEF GmbH
Prof. Dr. Bernhard Rumpe, RWTH Aachen University
Dr. Andreas Schweiger, Airbus Defence and Space GmbH
Dr. Steven H. VanderLeest, Boeing
Prof. Dr. Sebastian Voss, FH Aachen
Stéphane Poulain, Airbus Operations GmbH

Proceedings

Past Editions

AvioSE'22	Co-located with SE virtual
AvioSE'21	Co-located with SE virtual
AvioSE'20	Co-located with SE in Innsbruck, Austria
AvioSE'19	Co-located with SE in Stuttgart, Germany