Aerospace

A number of recently developed aeronautic R&D prototypes will probably never leave the development labs as qualification and certification requires exuberant effort, both in time and cost. Software development, verification, validation and especially certification are the major costs and risks to be encountered. A key reason is that current certification practics do not leverage reuse of existing design, implementation, and certified components.

At fortiss we are developing seamless model-based methods, processes, and tools for supporting an efficient and compositional "design-for-certification" approach in the development and operation of safety-critical avionics systems; in particular we are focussing on

  • Model-based requirements analysis
  • Architectural design for autonomous systems
  • Mixed-criticality systems
  • Modular Certification
  • Configuration compilers
  • Symbolic validation and verification
  • Time, space, and I/O partitioning (e.g. manycore)

Contact

Harald Rueß

Associated Projects

Contact

Simon Barner

ACROSS

ACROSS aims at developing a multi-processor system-on-chip (MPSoC) with corresponding system software and development tools which is suitable for embedded applications from different application domains.

Contact

Sebastian Voss

ARAMIS

The objective of ARAMIS is, through the use of multi-core technology in the mobility domains of automotive, avionics and railway, to create the technological basis for further enhancing traffic safety, efficiency and comfort.

Contact

Harald Rueß

Distributed MILS

Distributed MILS supports an efficient Design-for-Certification development methodology for safety-critical systems.

Contact

Sebastian Voss

essei

Am ESSEI werden neuartige Vorgehensweisen, Techniken und Werkzeuge zur effizienten Entwicklung und Zertifizierung software-intensiver und flug-sicherheits-kritischer Avionik-Systemen erforscht und entwickelt, die dann in aktuellen Programmen der Luft- und Raumfahrt Industrie erprobt, evaluiert und ausgerollt werden

Contact

Sebastian Voss

RECOMP

Although the complexity of systems is ever – increasing, RECOMP provides argumentation for reducing certification and re-certification costs for such systems.

Contact

Sebastian Voss

SPES_XT

SPES_XT provides a seamless, model-based integration of modeling, analysis and synthesis mechanisms for embedded systems.