Published March 24, 2021
| Submitted
Discussion Paper
Open
Failure-Tolerant Contract-Based Design of an Automated Valet Parking System using a Directive-Response Architecture
Chicago
An error occurred while generating the citation.
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.
Additional Information
Attribution 4.0 International (CC BY 4.0). This research was supported by DENSO International America, Inc and National Science Foundation award CNS- 1932091.Attached Files
Submitted - 2103.12919.pdf
Files
2103.12919.pdf
Files
(2.0 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:eb5a1d2f55f0a711c928657681e4a8bf
|
2.0 MB | Preview Download |
Additional details
- Eprint ID
- 109072
- Resolver ID
- CaltechAUTHORS:20210511-092411322
- DENSO International America, Inc.
- NSF
- CNS-1932091
- Created
-
2021-05-11Created from EPrint's datestamp field
- Updated
-
2023-06-02Created from EPrint's last_modified field
- Caltech groups
- Division of Biology and Biological Engineering (BBE)