A modern aircraft requires complex and high-performance avionics, but the development and certification of these systems are becoming increasingly expensive and time-consuming. Thus our research concentrates on methods for automating, simplifying, and optimizing processes for complex safety-critical systems and optimal avionics platforms. We know that artificial intelligence and other modern technologies have the potential to revolutionize aviation systems. This includes the development of technical certification methods (AMC) that ensure the safe and reliable operation of complex or AI-supported systems in critical applications. To this end, we work closely with partners so that our results have a lasting impact on the aerospace industry. We are committed to focused and reliable research and education in technologies and methods for the design, development, and certification of next-generation aviation systems.
Avionics platforms
Hardware, software, operating systems, and middleware for safety-critical real-time distributed computing platforms such as integrated modular avionics, flexible and self-organizing avionics platforms, and redundant system, real-time, fault detection and isolation techniques, virtualization, containering, and time-dependent networking.
Certification methods
Safety methods for AI-enabled aerospace systems throughout the lifecycle, from system specification to implementation to operations, i.e., formal methods, assurance methods, automation, and artifact generation.
Methods & tools
Mathematics, computer science, and tools that make the development and assurance of safety-critical systems more efficient and mature, e.g., domain-specific modeling, planning algorithms, system visualization and processing, and systems engineering.
