- Model-basierte Entwicklung: Architektur und Topologie-Modellierung, Modellierung von Systemanforderungen, frühzeitige automatisierte Validierung und Bewertung
- Automatisierte Auslegung von Systemen: Funktionsallokation, Hardwareallokation, Hardwaredimensionierung, Netzwerktopologie und Routing
- Systemexpertise: Verteilte Integrierte Modulare Avionik (IMA) und herkömmliche Flugelektronik und Bussysteme, sowie Hintergrundwissen zu vielen Luft- und Raumfahrtsystemen/-fahrzeugen
- Software-Engineering: Objektorientierte Entwicklung, effizient Algorithmen, Eclipse-Ecosystem, Continuous Integration und Testautomation
Mit formalen Methoden finden wir die optimale Überlagerung von Systemfunktionen, Hardware und Anatomie zur besten Avionik-Architektur