Smart Vehicle Modeling and Safety-Oriented Digital System Engineering


The project develops automated methods and computer-aided support for safety and security engineers to enable safe-by-construction synthesis of autonomous driving architectures.

Project description

Apollo is an open-source platform for autonomous driving. It offers a complete stack of driving functions, including safety-critical functions such as perception, localization, trajectory planning and vehicle control. The malfunction such functions may lead to accidents with catastrophic consequences, including loss of live. To ensure the safety of the vehicle, safety-critical functions need to be identified and possible software and hardware faults need to be mitigated. Considering faults alone is not enough, however. Security also needs to be considered. An attacker might cause catastrophic events by malicious interactions with the vehicle, e.g., by remotely disabling safety-critical functions.

The project develops a model-based approach to safety-oriented engineering based on Apollo. It develops automated for the synthesis of autonomous driving architectures, for design space exploration, and for maintaining assurance cases.

Research contribution

The project develops computer-aided support for the safe-by-construction synthesis of safe and secure architectures based on safety and security architecture patterns. It develops automated methods for exploring and optimizing the architecture options.

These methods for architecture synthesis, exploration and optimization are integrated in fortiss’ open-source model-based engineering tool AutoFOCUS3 to enable a model-based approach to safety and security engineering. The project contributes to the continuous maintenance of assurance cases.


Supported by Huawei Technologies Düsseldorf GmbH

 Simon Barner

Your contact

Simon Barner

+49 89 3603522 22

Project partner