CaltechAUTHORS
  A Caltech Library Service

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

Graebener, Josefine B. and Phan-Minh, Tung and Yan, Jiaqi and Zhao, Qiming and Murray, Richard M. (2021) Failure-Tolerant Contract-Based Design of an Automated Valet Parking System using a Directive-Response Architecture. . (Unpublished) https://resolver.caltech.edu/CaltechAUTHORS:20210511-092411322

[img] PDF - Submitted Version
Creative Commons Attribution.

2MB

Use this Persistent URL to link to this item: https://resolver.caltech.edu/CaltechAUTHORS:20210511-092411322

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.


Item Type:Report or Paper (Discussion Paper)
Related URLs:
URLURL TypeDescription
http://arxiv.org/abs/2103.12919arXivDiscussion Paper
ORCID:
AuthorORCID
Murray, Richard M.0000-0002-5785-7481
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.
Funders:
Funding AgencyGrant Number
DENSO International America, Inc.UNSPECIFIED
NSFCNS-1932091
Record Number:CaltechAUTHORS:20210511-092411322
Persistent URL:https://resolver.caltech.edu/CaltechAUTHORS:20210511-092411322
Usage Policy:No commercial reproduction, distribution, display or performance rights in this work are provided.
ID Code:109072
Collection:CaltechAUTHORS
Deposited By: Tony Diaz
Deposited On:11 May 2021 17:21
Last Modified:11 May 2021 17:21

Repository Staff Only: item control page