Corpus ID: 232335381

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

  title={Failure-Tolerant Contract-Based Design of an Automated Valet Parking System using a Directive-Response Architecture},
  author={Josefine Graebener and Tung Phan-Minh and Jiaqi Yan and Qiming Zhao and Richard M. Murray},
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 contractbased 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… Expand

Figures and Tables from this paper


Distributed Mission and Contingency Management for the DARPA Urban Challenge
We present an approach that allows mission and contingency management to be achieved in a distributed and dynamic manner without any central control over multiple software modules. This approachExpand
A Platform-Based Design Methodology With Contracts and Related Tools for the Design of Cyber-Physical Systems
We introduce a platform-based design methodology that uses contracts to specify and abstract the components of a cyber-physical system (CPS), and provide formal support to the entire CPS design flow.Expand
A Contract-Based Methodology for Aircraft Electric Power System Design
A platform-based methodology is proposed, which enables independent implementation of system topology and control protocol by using a compositional approach and is shown to be effective on a proof-of-concept electric power system design. Expand
Using contract-based component specifications for virtual integration testing and architecture design
This work demonstrates how formal contract-based component specifications for functional, safety, and real-time aspects of components can be expressed using the pattern-based requirement specification language RSL developed in the Artemis Project CESAR, and develops a formal approach for virtual integration testing of composed systems based on such contract-specifications of subsystems. Expand
Smart Buildings in the Smart Grid: Contract-Based Design of an Integrated Energy Management System
In a supply-following “smart” grid scenario, buildings can exploit remotely controllable thermostats and “smart” meters to communicate with energy providers, trade energy in real-time and offerExpand
Contracts for System Design
This paper intends to provide treatment where contracts are precisely defined and characterized so that they can be used in design methodologies such as the ones mentioned above with no ambiguity, and provides an important link between interfaces and contracts to show similarities and correspondences. Expand
Engineering Complex Embedded Systems with State Analysis and the Mission Data System
How requirements for complex aerospace systems can be developed using State Analysis and how these requirements inform the design of the system software are described, using representative spacecraft examples. Expand
Goal-based fault tolerance for space systems using the mission data system
  • R. Rasmussen
  • Engineering
  • 2001 IEEE Aerospace Conference Proceedings (Cat. No.01TH8542)
  • 2001
In anticipating insitu exploration and other circumstances with environmental uncertainty, the present model for space system fault tolerance breaks down. The perplexities of fault-tolerant behavior,Expand
Moving from Specifications to Contracts in Component-Based Design
This work shows how a contract framework can be built in a generic way on top of any specification theory which supports composition and specification refinement and proposes a notion of contract composition on the basis of dominating contracts. Expand
Quotient for Assume-Guarantee Contracts
The quotient set and its related operation can be used in any compositional methodology where design requirements are mapped into a set of components in a library for the so called missing component problem. Expand