Smart Vehicle Modeling and Safety-Oriented Digital System Engineering
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.
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
Dr. Ulrich Schöpp