2024
Quaduino
Educational quadruplex computer system based on Arduino platforms demonstrating all-active redundancy concepts for safety-critical avionics systems.
Quaduino is an Arduino-based educational demonstrator implementing an all-active quadruplex computing architecture inspired by fault-tolerant avionics systems. The platform was developed to provide students with a practical and approachable introduction to redundancy strategies, distributed voting mechanisms, fault detection, and resilient syste...
Avionics Fault Tolerance Redundancy All-Active Systems Educational Platform Arduino HYMASY ILS
Quaduino
Educational quadruplex computer system based on Arduino platforms demonstrating all-active redundancy concepts for safety-critical avionics systems.
Quaduino is an Arduino-based educational demonstrator implementing an all-active quadruplex computing architecture inspired by fault-tolerant avionics systems. The platform was developed to provide students with a pra...
Avionics Fault Tolerance Redundancy All-Active Systems Educational Platform Arduino HYMASY ILS
Mini Shuttle Program
Interdisciplinary educational outreach project in which students build and experiment with a fully self-designed miniature space shuttle platform.
The Mini Shuttle Program is an interdisciplinary educational and outreach project initiated at the University of Stuttgart to support student internships (BOGY) and early exposure to aerospace engineering topics. The project brings together multiple institutes from the Faculty of Aerospace Engineering and Geodesy to collaboratively provide hands...
Aerospace Education Outreach BOGY Avionics Systems Engineering Arduino Embedded Systems 3D Printing Student Project Demonstrator
Mini Shuttle Program
Interdisciplinary educational outreach project in which students build and experiment with a fully self-designed miniature space shuttle platform.
The Mini Shuttle Program is an interdisciplinary educational and outreach project initiated at the University of Stuttgart to support student internships (BOGY) and early exposure to aerospace engineering topics. The ...
Aerospace Education Outreach BOGY Avionics Systems Engineering Arduino Embedded Systems 3D Printing Student Project Demonstrator
2023
DaKliF
Research project on Plug-and-Fly avionics concepts for CS-25 and IMA platforms, focusing on self-description, virtualization, automatic configuration, and adaptive use of system resources.
DaKliF builds on the results of PAFA-ONE, TALIA, and INTELWI and further develops Plug-and-Fly concepts for CS-25 avionics platforms, in particular Integrated Modular Avionics (IMA) systems. The project addresses the high static configuration effort of today’s avionics platforms by exploring model-based and automated configuration methods. Centr...
Avionics Integrated Modular Avionics Plug-and-Fly CS-25 OAAM MBSE ARINC 653 Virtualization Self-Description TSN SDN Automatic Configuration
DaKliF
Research project on Plug-and-Fly avionics concepts for CS-25 and IMA platforms, focusing on self-description, virtualization, automatic configuration, and adaptive use of system resources.
DaKliF builds on the results of PAFA-ONE, TALIA, and INTELWI and further develops Plug-and-Fly concepts for CS-25 avionics platforms, in particular Integrated Modular Avionics (IMA) systems. The project addresses the ...
Avionics Integrated Modular Avionics Plug-and-Fly CS-25 OAAM MBSE ARINC 653 Virtualization Self-Description TSN SDN Automatic Configuration
2022
VeritAS
Research project investigating verifiable computing concepts for safety-critical avionics and flight control systems.
VeritAS explored the applicability of modern verifiable computing methods to safety-critical avionics systems and digital flight control architectures. Traditional fault-tolerant flight control systems rely on replicated computing platforms executing identical computations in parallel while continuously synchronizing and comparing intermediate a...
Verifiable Computing Avionics Flight Control Safety-Critical Systems Fault Tolerance Cryptography Real-Time Systems Aerospace Demonstrator Machine Learning
VeritAS
Research project investigating verifiable computing concepts for safety-critical avionics and flight control systems.
VeritAS explored the applicability of modern verifiable computing methods to safety-critical avionics systems and digital flight control architectures. Traditional fault-tolerant flight control systems rely on replica...
Verifiable Computing Avionics Flight Control Safety-Critical Systems Fault Tolerance Cryptography Real-Time Systems Aerospace Demonstrator Machine Learning
2021
systementwurf.org
Interactive teaching and demonstration platform accompanying the “System Design I” lecture and exercise series.
systementwurf.org is a continuously developed teaching and demonstration platform created to support the System Design I lecture and exercise series in aerospace engineering. The platform was designed to provide students with a more interactive and intuitive understanding of complex systems engineering concepts such as redundancy, safety assessm...
Teaching Aerospace Engineering Systems Engineering Avionics Interactive Demonstrator Education MBSE Safety-Critical Systems
systementwurf.org
Interactive teaching and demonstration platform accompanying the “System Design I” lecture and exercise series.
systementwurf.org is a continuously developed teaching and demonstration platform created to support the System Design I lecture and exercise series in aerospace engineering. The platform was designed to provide stude...
Teaching Aerospace Engineering Systems Engineering Avionics Interactive Demonstrator Education MBSE Safety-Critical Systems