Failure-Tolerant Contract-Based Design of an Automated Valet Parking System using a Directive-Response Architecture

Josefine Graebener, Tung Phan-Minh, Jiaqi Yan +2

Increased complexity in cyber-physical systems calls for modular system design methodologies that guarantee correct and reliable behavior, both in normal operations and in the pres…