Difference between revisions of "Publications:Domain Analysis for Standardised Functional Safety : A Case Study on Design-Time Verification of Automatic Emergency Breaking"
(Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Jawad Masood, Roland Philippsen, Jan Duracz, Walid Taha, Henrik Eriksson, C...") |
|||
| Line 4: | Line 4: | ||
{{PublicationSetupTemplate|Author=Jawad Masood, Roland Philippsen, Jan Duracz, Walid Taha, Henrik Eriksson, Christian Grante | {{PublicationSetupTemplate|Author=Jawad Masood, Roland Philippsen, Jan Duracz, Walid Taha, Henrik Eriksson, Christian Grante | ||
|PID=767017 | |PID=767017 | ||
| − | |Name=Masood, Jawad | + | |Name=Masood, Jawad (jawmas) (Högskolan i Halmstad (2804), Akademin för informationsteknologi (16904), Halmstad Embedded and Intelligent Systems Research (EIS) (3938)) (Effective Modeling Group);Philippsen, Roland (rolphi) (0000-0003-3513-8854) (Högskolan i Halmstad (2804), Akademin för informationsteknologi (16904), Halmstad Embedded and Intelligent Systems Research (EIS) (3938), CAISR Centrum för tillämpade intelligenta system (IS-lab) (13650));Duracz, Jan (jandur) (Högskolan i Halmstad (2804), Akademin för informationsteknologi (16904), Halmstad Embedded and Intelligent Systems Research (EIS) (3938), Centrum för forskning om inbyggda system (CERES) (6702));Taha, Walid (waltah) (Högskolan i Halmstad (2804), Akademin för informationsteknologi (16904), Halmstad Embedded and Intelligent Systems Research (EIS) (3938), Centrum för forskning om inbyggda system (CERES) (6702)) (Rice University, Houston, Texas, USA) (Effective Modeling Group);Eriksson, Henrik (SP Technical Research Institute, Borås, Sweden);Grante, Christian (Volvo Group Trucks Technology, Göteborg, Sweden) |
|Title=Domain Analysis for Standardised Functional Safety : A Case Study on Design-Time Verification of Automatic Emergency Breaking | |Title=Domain Analysis for Standardised Functional Safety : A Case Study on Design-Time Verification of Automatic Emergency Breaking | ||
|PublicationType=Conference Paper | |PublicationType=Conference Paper | ||
| Line 14: | Line 14: | ||
|Volume= | |Volume= | ||
|Issue= | |Issue= | ||
| − | |HostPublication=FISITA 2014 : | + | |HostPublication=FISITA World Automotive Congress 2014 : Maastricht, The Netherlands 2-6 June 2014: Volume 2 of 5 |
|Conference=International Federation of Automotive Engineering Societies 2014 World Automotive Congress, Maastricht, The Netherlands, 2-6 June, 2014 | |Conference=International Federation of Automotive Engineering Societies 2014 World Automotive Congress, Maastricht, The Netherlands, 2-6 June, 2014 | ||
| − | |StartPage= | + | |StartPage=845 |
| − | |EndPage= | + | |EndPage=854 |
|Year=2014 | |Year=2014 | ||
|Edition= | |Edition= | ||
|Pages= | |Pages= | ||
|City=Hague | |City=Hague | ||
| − | |Publisher= | + | |Publisher=Royal Netherlands Society of Engineers (KIVI) |
|Series= | |Series= | ||
|SeriesISSN= | |SeriesISSN= | ||
| − | |ISBN= | + | |ISBN=978-1-5108-0209-4 |
| − | |Urls= | + | |Urls=http://duracz.net/jan/publications/fisita2014.pdf |
|ISRN= | |ISRN= | ||
|DOI= | |DOI= | ||
| Line 55: | Line 55: | ||
|CreatedDate=2014-11-28 | |CreatedDate=2014-11-28 | ||
|PublicationDate=2014-11-28 | |PublicationDate=2014-11-28 | ||
| − | |LastUpdated= | + | |LastUpdated=2015-10-16 |
|diva=http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:767017}} | |diva=http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:767017}} | ||
<div style='display: none'> | <div style='display: none'> | ||
Latest revision as of 22:41, 30 September 2016
Property "Publisher" has a restricted application area and cannot be used as annotation property by a user. Property "Author" has a restricted application area and cannot be used as annotation property by a user. Property "Author" has a restricted application area and cannot be used as annotation property by a user. Property "Author" has a restricted application area and cannot be used as annotation property by a user. Property "Author" has a restricted application area and cannot be used as annotation property by a user. Property "Author" has a restricted application area and cannot be used as annotation property by a user. Property "Author" has a restricted application area and cannot be used as annotation property by a user.
| Title | Domain Analysis for Standardised Functional Safety : A Case Study on Design-Time Verification of Automatic Emergency Breaking |
|---|---|
| Author | |
| Year | 2014 |
| PublicationType | Conference Paper |
| Journal | |
| HostPublication | FISITA World Automotive Congress 2014 : Maastricht, The Netherlands 2-6 June 2014: Volume 2 of 5 |
| Conference | International Federation of Automotive Engineering Societies 2014 World Automotive Congress, Maastricht, The Netherlands, 2-6 June, 2014 |
| DOI | |
| Diva url | http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:767017 |
| Abstract | 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. |
