7th Workshop on Avionics Systems and Software Engineering
February 25, 2025, Karlsruhe, Germany
Co-located with the se2025 (February 24 - 28, 2024)
Scientific and industrial state of the art contributions
Peer-review by an academic and industrial committee
AvioSE'25, February, 25, 2025, Karlsruhe, 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
| 2025-02-06 |
Keynote SpeakersWe are pleased to have two esteemed industry fellows as our keynote speakers: |
| 2025-02-06 |
PannelistsThe panelist for the Certification Considerations for Future Avionics Systems are |
| 2025-02-06 |
The Panel Session == hot topic 2025Certification considerations for avionics systems is one of the main pillar of our domain. Although there is a vast amount of experience that has been collected through decades of successfull practice, certification is still the pain point. The development of hardware and software technologies continiously challenging our established practices. Novel methods, amongst others Artificial Intelligence are pushing the boundries. Emerging markets, particularly Innovative Air Mobility require acceleration. Certification Considerations for Future Avionics Systems will be title of the panel discussion. We are looking forward to your inputs. |
| 2024-10-28 |
AvioSE'25 Deadline ExtensionThe paper submission deadline for the AvioSE'25 workshop is extend to Nov 11, 2024. We are looking forward to receiving your submissions. |
| 2024-09-16 |
AvioSE'25 CfP onlineThe CfP for the AvioSE'25 workshop is now online. We are looking forward to receiving your submissions. |
| 2024-09-05 |
AvioSE'25 acceptedAvioSE'25 was accepted as a workshop co-located with the SE'25. We are looking forward to your contribution and participation! |
| 2024-07-10 |
AvioSE'25 announcedWe would like to inform you that we are planning AvioSE'25 in Karlsruhe. So far, the announcement and date are preliminary. We inform you, when our plans are confirmed. |
Important dates
!!! Deadline Extension!!!
| |
Paper submission deadline |
| |
Paper acceptance notification |
| |
Camera-ready paper deadline |
| Feb 25, 2025 | Day of the workshop |
Registration
Participation as an author or listener requires a registration at the hosting conference SE25.
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.
!!! Accepted contributions must be presented by one of the authors in person. One author must be registered for the workshop or full SE before the final manuscript deadline!!!
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 |
|---|---|---|---|---|
| 09:00 | 09:30 | 00:30 | Opening | Building 40.50, Room 005 im EG |
| 09:30 | 10:00 | 00:30 | Keynote 1: Correctness at large, Correctness in motion - Florian Gilcher (Ferrous Systems GmbH, Germany) | Building 40.50, Room 005 im EG |
| 10:00 | 10:30 | 00:30 | Paper 1: Viability of Rust for Avionic Software Development - Current status and way forward - Jan Sommer, Tamara Gutierrez Rojo, Hany Ibrahim Erfan Abdelmaksoud, Andreas Lund and Daniel Lüdtke (German Aerospace Center (DLR), Germany) | Building 40.50, Room 005 im EG |
| 10:30 | 11:00 | 00:30 | Coffee break | ** |
| 11:00 | 11:30 | 00:30 | Paper 2: Reconfigurable Computing Hypervisors: State-of-the-Art and Ways Ahead - Vincent Janson, Phillip Nöldeke, Samuel Kleine and Umut Durak. (German Aerospace Center (DLR), Germany) | Building 40.50, Room 005 im EG |
| 11:30 | 12:00 | 00:30 | Paper 3: Arguing machine learning assurance for certification - Henry Späth, Michael Holloway, Tihomir Varchev, Stephan Staudacher and Zamira Daw (Technical University of Stuttgart, Germany & NASA, Langley Research Center, Virginia) | Building 40.50, Room 005 im EG |
| 12:00 | 12:30 | 00:30 | Keynote 2: Military Avionics Certification and Qualification - Antonio Monzon-Diaz (Airbus Defence and Space, Germany) | Building 40.50, Room 005 im EG |
| 12:30 | 14:00 | 01:30 | Lunch break | *** |
| 14:00 | 14:30 | 00:30 | Paper 4: Integration of GPU RTL IP into System-level Simulation through TLM: A Case Study with Vortex RISC-V GPU in the METASAT Platform Digital Twin - Lorenzo Lazzara, Giulia Stazi, Valerio Di Valerio, Stefano Sinisi, Alessandro Ulisse, Marc Solé Bonet, Janis Wolf and Leonidas Kosmidis (Collins Aerospace - Applied Research and Technology, Italy & Barcelona Super Computing Center, Spain) | Building 40.50, Room 005 im EG |
| 14:30 | 15:30 | 01:00 | Panel discussion on "Software Certification and Qualification Considerations for Future Avionics Systems": (Part 1: Questions from the Moderators) with Prof. Dr. Zamira Daw (University of Stuttgart), Eduard Harwardt (Diehl Aerospace), Burak Ata (Helsing), Stephan Thesing (itDepands.Aero). | Building 40.50, Room 005 im EG |
| 15:30 | 16:00 | 00:30 | Coffee break | *** |
| 16:00 | 17:00 | 01:00 | Panel discussion on "Software Certification and Qualification Considerations for Future Avionics Systems": (Part 2: Questions from the Audiance) with Prof. Dr. Zamira Daw (University of Stuttgart), Eduard Harwardt (Diehl Aerospace), Burak Ata (Helsing), Stephan Thesing (itDepands.Aero). | Building 40.50, Room 005 im EG |
| 17:00 | 17:30 | 00:30 | Closing | Building 40.50, Room 005 im EG |
Committee
To contact the organizers, send an email to Andreas Schweiger: andreas.schweiger[at]airbus.com.
Workshop chairs
Dr. Andreas Schweiger, Airbus Defence and Space GmbH Prof. Umut Durak, German Aerospace Center (DLR) Marina Reich, Airbus Defence and Space GmbH, Technische Universität Chemitz Prof. Björn Annighöfer, Universität Stuttgart
Program committee
Dr. Andreas Schweiger, Airbus Defence and Space GmbH apl. Prof. Dr.-Ing. Umut Durak, DLR Braunschweig Prof. Björn Annighöfer, Universität Stuttgart Marina Reich, Airbus Defence and Space GmbH, Technische Universität Chemitz Prof. Dr. Peter Stütz, Universität der Bundeswehr München Prof. Dr. Ralf God, Technische Universität Hamburg Dr.-Ing. Martin Halle, Hamburg University of Technology Dr. Winfried Lohmiller, Airbus Defence and Space GmbH Dr. Christian Meißner, Volkswagen AG Stéphane Poulain, Airbus Operations GmbH Deni Raco, RWTH Aachen University Prof. Dr. Bernhard Rumpe, RWTH Aachen University Prof. Dr. Sebastian Voss, FH Aachen
