| Abstract
|
<p>Simulation traditionally computes … <p>Simulation traditionally computes individual trajectories, which severely limits the assessment of overall system behaviour. To address this fundamental shortcoming, we rely on computing enclosures to determine bounds on system behaviour instead of individual traces. In the present case study, we investigate the enclosures of a generic Automatic Emergency Braking (AEB) system and demonstrate how this creates a direct link between requirement specification and standardized safety criteria as put forward by ISO 26262. The case study strongly supports that a methodology based on enclosures can provide a missing link across the engineering process, from design to compliance testing. This result is highly relevant for ongoing efforts to virtualize testing and create a unified tool-chain for the development of next generation Advanced Driver Assistance Systems.</p>anced Driver Assistance Systems.</p>
|
| Author
|
Jawad Masood +
, Roland Philippsen +
, Jan Duracz +
, Walid Taha +
, Henrik Eriksson +
, Christian Grante +
|
| Conference
|
International Federation of Automotive Engineering Societies 2014 World Automotive Congress, Maastricht, The Netherlands, 2-6 June, 2014
|
| Diva
|
http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:767017
|
| EndPage
|
854 +
|
| HostPublication
|
FISITA World Automotive Congress 2014 : Maastricht, The Netherlands 2-6 June 2014: Volume 2 of 5 +
|
| PublicationType
|
Conference Paper +
|
| Publisher
|
Royal Netherlands Society of Engineers (KIVI) +
|
| StartPage
|
845 +
|
| Title
|
Domain Analysis for Standardised Functional Safety : A Case Study on Design-Time Verification of Automatic Emergency Breaking +
|
| Year
|
2014 +
|
| Has queryThis property is a special property in this wiki.
|
Publications:Domain Analysis for Standardised Functional Safety : A Case Study on Design-Time Verification of Automatic Emergency Breaking +
, Publications:Domain Analysis for Standardised Functional Safety : A Case Study on Design-Time Verification of Automatic Emergency Breaking +
, Publications:Domain Analysis for Standardised Functional Safety : A Case Study on Design-Time Verification of Automatic Emergency Breaking +
, Publications:Domain Analysis for Standardised Functional Safety : A Case Study on Design-Time Verification of Automatic Emergency Breaking +
, Publications:Domain Analysis for Standardised Functional Safety : A Case Study on Design-Time Verification of Automatic Emergency Breaking +
, Publications:Domain Analysis for Standardised Functional Safety : A Case Study on Design-Time Verification of Automatic Emergency Breaking +
, Publications:Domain Analysis for Standardised Functional Safety : A Case Study on Design-Time Verification of Automatic Emergency Breaking +
, Publications:Domain Analysis for Standardised Functional Safety : A Case Study on Design-Time Verification of Automatic Emergency Breaking +
, Publications:Domain Analysis for Standardised Functional Safety : A Case Study on Design-Time Verification of Automatic Emergency Breaking +
, Publications:Domain Analysis for Standardised Functional Safety : A Case Study on Design-Time Verification of Automatic Emergency Breaking +
|
| Categories |
Publication +
|
| Modification dateThis property is a special property in this wiki.
|
30 September 2016 20:41:46 +
|
