- Model-based development: Modelling of architectures and topologies, modelling of system requirements, automated and early validation and evaluation
- Automated design of systems, i.e. function mapping, hardware allocation, hardware sizing, network topology selection and routing
- Expert knowledge: Distributed Integrated Modular Avionics (IMA), federated avionics and bus systems as well as precise knowledge on many air and space vehicles and their systems
- Software engineering: Object-oriented development, efficient algorithms, Eclipse ecosystem, continuous integration and test automation
The best avionics architecture is the optimal mapping of system functions, hardware and anatomy. We determine this with formal methods.