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

TL;DR

This paper presents a modular, contract-based design approach with a directive-response architecture for an automated valet parking system, enhancing failure tolerance and reactivity in cyber-physical systems.

Contribution

It extends contract-based design with a directive-response architecture to improve failure handling in complex cyber-physical systems, demonstrated on an AVP system.

Findings

Contracts are explicitly defined and validated against Python implementation.

The architecture enables reactivity to failure scenarios.

Enhanced modularity and reliability in AVP system design.

Abstract

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 presence of failures. This paper aims to extend the contract-based design approach using a directive-response architecture to enable reactivity to failure scenarios. The architecture is demonstrated on a modular automated valet parking (AVP) system. The contracts for the different components in the AVP system are explicitly defined, implemented, and validated against a Python implementation.