2 papers
cs.SE2021
Formal Verification of a Fail-Operational Automotive Driving System
Tobias Schmid, Stefanie Schraufstetter, Jonas Fritzsch +3
A fail-operational system for highly automated driving must complete the driving task even in the presence of a failure. This requires redundant architectures and a mechanism to re…
cs.SE2020
Experiences from Large-Scale Model Checking: Verification of a Vehicle Control System
Jonas Fritzsch, Tobias Schmid, Stefan Wagner
In the age of autonomously driving vehicles, functionality and complexity of embedded systems are increasing tremendously. Safety aspects become more important and require such sys…