Failure-Tolerant Contract-Based Design of an Automated Valet Parking System using a Directive-Response Architecture
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.
Code (0)
등록된 구현이 없습니다.
Similar Papers 제목 키워드 기반
Guiding the Search Towards Failure-Inducing Test Inputs Using Support Vector Machines
In this paper, we present NSGA-II-SVM (Non-dominated Sorting Genetic Algorithm with Support Vector Machine Guidance), a novel learnable evolutionary and search-based testing algorithm that leverages Support Vector Machin…
Can Search-Based Testing with Pareto Optimization Effectively Cover Failure-Revealing Test Inputs?
Search-based software testing (SBST) is a widely adopted technique for testing complex systems with large input spaces, such as Deep Learning-enabled (DL-enabled) systems. Many SBST techniques focus on Pareto-based optim…
software testingHigh-Density Automated Valet Parking with Relocation-Free Sequential Operations
In this paper, we present DROP, high-Density Relocation-free sequential OPerations in automated valet parking. DROP addresses the challenges in high-density parking & vehicle retrieval without relocations. Each challenge…
Learning-Based Fault-Tolerant Control for an Hexarotor with Model Uncertainty
In this paper we present a learning-based tracking controller based on Gaussian processes (GP) for a fault-tolerant hexarotor in a recovery maneuver. In particular, to estimate certain uncertainties that appear in a hexa…
Gaussian ProcessesInfrastructure-Assisted Collaborative Perception in Automated Valet Parking: A Safety Perspective
Environmental perception in Automated Valet Parking (AVP) has been a challenging task due to severe occlusions in parking garages. Although Collaborative Perception (CP) can be applied to broaden the field of view of con…
Dimensionality ReductionQuantization