Abstract
Advanced driver assistance and automated driving systems must operate in complex environments and make safety-critical decisions. Resilient behavior of these systems in their targeted operation design domain is essential. In this paper, we describe developments in our Model-Based Systems Engineering (MBSE) approach to develop resilient safety-critical automated systems. An MBSE approach provides the ability to provide guarantees about system behavior and potentially reduces dependence on in-vehicle testing through the use of rigorous models and extensive simulation. We are applying MBSE methods to two key aspects of developing resilient systems: (1) ensuring resilient behavior through the use of Resilience Contracts for system decision making; and (2) applying simulation-based testing methods to verify the system handles all known scenarios and to validate the system against potential unknown scenarios. Resilience Contracts make use of contract-based design methods and Partially Observable Markov Decision Processes (POMDP), which allow the system to model potential uncertainty in the sensed environment and thus make more resilient decisions. The simulation-based testing methodology provides a structured approach to evaluate the operation of the target system in a wide variety of operating conditions and thus confirm that the expected resilient behavior has indeed been achieved. This paper provides details on the development of a utility function to support Resilience Contracts and outlines the specific test methods used to evaluate known and unknown operating scenarios.
Highlights
Research and development of advance driver assistance and automated driving systems is a major focus of both the automotive industry and Silicon Valley as well
We describe developments in our Model-Based Systems Engineering (MBSE) approach to develop safety-critical advanced driver assistance and automated systems
We have shown our recent developments in our MBSE approach for modeling and simulation of automated automotive systems
Summary
Research and development of advance driver assistance and automated driving systems is a major focus of both the automotive industry and Silicon Valley as well. To address the third aspect, a modeling and simulation approach can help reduce development cost and provide increased confidence in resilient operation when compared to other approaches that rely extensively on in-vehicle testing alone. We are applying MBSE methods to two key aspects of developing resilient systems: (1) ensuring resilient behavior through the use of Resilience Contracts (RC); and (2) applying simulation-based testing methods to verify the system handles all known scenarios and to validate the system behavior against potential unknown scenarios. The use of simulation for V&V in combination with in-vehicle testing provides the opportunity expose the system to a wider variety of scenarios than can be achieved through in-vehicle testing alone, potentially both reducing overall testing cost and improving confidence that the system will exhibit resilient behavior when operating in both known and unknown scenarios. We provide a discussion of our current results and conclusions
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have