kth.sePublications KTH
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Efficient Strategies for Safety Assurance of Automated Driving Systems
KTH, School of Industrial Engineering and Management (ITM), Engineering Design, Mechatronics and Embedded Control Systems. Zenseact.ORCID iD: 0000-0001-9020-6501
2025 (English)Doctoral thesis, comprehensive summary (Other academic)
Abstract [en]

By relieving the human driver of the responsibility of safely operating the vehicle, Automated Driving Systems (ADSs) (colloquially known as self-driving cars) can free up time and possibly also reduce the number of road accidents. Paradoxically, even though safety is one of the main expectations of ADSs, it is also one of the major challenges and arguably one of the key reasons why we have yet to see widespread market deployment of such systems. Contrary to previous generations of automotive systems, common development and safety assurance practises no longer suffice to accommodate the increased system complexity and operational uncertainty inherent to an ADS. Indeed, concrete models and means to show safety fulfilment before deployment remain elusive. For that purpose, this thesis focuses on efficient strategies for safety assurance of ADSs and explores this from three angles. 

Firstly, a comprehensive review of the state of the art has been conducted to identify and structure available methods for providing (predictive) evidence of the safety of the ADS, and to identify gaps and directions where further research is needed.

Secondly, the task of ensuring completeness of both the Verification and Validation (V&V) as well as the safety requirements of the ADS has been explored. The appropriate definition, formalisation and management of an Operational Design Domain (ODD) provide a means to ensure alignment between specification, testing and operations of the ADS – suggesting one way of closing the completeness gap for the V&V. Furthermore, to address the exhaustiveness of the safety requirements, this thesis proposes the use of a Quantitative Risk Norm (QRN) to elicit quantitative vehicle-level requirements. A QRN facilitates this exhaustiveness by considering frequencies of loss events (e.g. accidents) rather than requiring an enumeration of all possible hazards pertaining to the ADS.

Thirdly, this thesis extends the concept of Precautionary Safety (PcS) proposing a methodology for connecting the quantitative safety requirements of the QRN and the runtime decisions of the ADS. This is enabled by augmenting the ADS’s situation awareness (SAW) with an understanding of its own ability to avoid different loss events. Using this enhanced SAW model and by subsequently accounting for the uncertainties of the loss event probabilities, enables an assessment of the QRN even when there is limited data available. Consequently, the proposed methodology can ensure that the ADS indeed only takes decisions that are known to fulfil the QRN.

Jointly, the work presented in this thesis paves a way for how to bridge quantitative safety requirements and runtime decision-making of the ADS, and a possible strategy for efficient safety assurance of ADSs is outlined – drawing upon the contributions of the appended papers. There are still several open questions to understand the implications of this approach but the work showcased herein provides a solid foundation for such future work.

 

 

 

Abstract [sv]

Automatiserade förarsystem (ADSer) (även kallade självkörande bilar) kan frigöra tid och möjligen även minska antalet olyckor i traffiken, genom att avlösa den mänskliga föraren från ansvaret för att köra säkert. Även om säkerhet (safety, security är inte inkluderat i denna avhandling) är en av de största förväntningarna på ADSer, så är det paradoxalt nog även en av de största utmaningarna. Kanske till och med en av huvudanledningarna till att vi ännu inte har sett någon bred lansering av denna typ av system på våra vägar. Metoder för utveckling och säkerhetsbevisning som använts för tidigare generationers system inom bilindustrin är inte längre tillräckliga för att hantera den ökade systemkomplexiteten och de osäkerhetsfaktorer som kännetecknar en ADS. Trots framsteg saknas accepterade, konkreta modeller och metoder för att framställa säkerhetsbevis innan ADSen lanseras på publika vägar. Som en del i att råda bot på detta fokuserar denna avhandling på strategier för säkerhetsbevisning av ADSer och utforskar detta område ur tre vinklar. 

För det första, har en omfattande litteraturestudie genomförts för att identifiera och strukturera befintliga metoder som bidrar till säkerhetsbevisningen för ADSer. I det arbetet identifierades också kvarstående forskningsluckor, som kräver ytterligare forskning.

För det andra, har komplettheten av både verifikationen och valideringen (V&V) samt säkerhetskraven på ADSen utforskats. Genom att bidra med en tillräcklig definition, formalisering och hantering av en Operational Design Domain (ODD) kan det verktyget stötta både specifikationen och testningen av systemet samt när det väl är i funktion (i runtime). ODDen ger således en potentiell väg framåt för att säkerställa komplettheten av V&V processerna och fyra konkreta strategier för att undvika att lämna ODDen presenteras. Vidare, så har en Kvantitativ Risk Norm (QRN) föreslagits för att förenkla arbetet med att uppnå kompletthet av säkerhetskraven på ADSen. Detta genom att kräva uppfyllnad av kvantitativa krav på antalet incidenter istället för att kräva en uppräkning av alla potentiella risker (hazards).

För det tredje, har konceptet med försiktig säkerhet (Precautionary safety) (PcS) vidare-utvecklats för att ge en konkret koppling mellan uppfyllnaden av en QRN och de beslut ADSen tar i runtime. Detta möjliggörs genom att utöka ADSens medvetenhet (situation awareness, SAW) om sin omgivning med en förståelse för det egna systemets förmåga att undvika olika incidenter. Trots begränsad tillgång till data möjliggör denna metod att ta fram en säker körpolicy som uppfyller QRNen genom att hantera de olika osäkerheterna i modellerna som underbygger PcS konceptet. Denna hantering gör det även möjligt att ADSen bara tar beslut som den vet kommer uppfylla QRNen.

Dessa tre områden utgör en möjlig väg framåt för en effektiv (efficient inte bara effektiv) strategi för säkerhetsbevisning för ADSer. Det finns visserligen mycket jobb kvar att göra för att förstå alla implikationer av denna strategi, men det arbete som läggs fram i denna avhandling ger en bra bas att stå på inför en fortsatt utforskning av denna eller ytterligare strategier för effektiv säkerhetsbevisning av ADSer.

Place, publisher, year, edition, pages
Stockholm: KTH Royal Institute of Technology, 2025. , p. 267
Series
TRITA-ITM-AVL ; 2025:3
Keywords [en]
Automated Driving, Safety, Precautionary Safety, Quantitative Safety, Safety Assurance
National Category
Reliability and Maintenance
Research subject
Machine Design
Identifiers
URN: urn:nbn:se:kth:diva-359967ISBN: 978-91-8106-176-5 (print)OAI: oai:DiVA.org:kth-359967DiVA, id: diva2:1937776
Public defence
2025-03-12, https://kth-se.zoom.us/j/66985007478, F3, Lindstedtsvägen 26-28, Stockholm, 13:15 (English)
Opponent
Supervisors
Funder
Wallenberg AI, Autonomous Systems and Software Program (WASP)
Note

QC 20251030

Available from: 2025-02-17 Created: 2025-02-14 Last updated: 2025-10-30Bibliographically approved
List of papers
1. The Quantitative Risk Norm - A Proposed Tailoring of HARA for ADS
Open this publication in new window or tab >>The Quantitative Risk Norm - A Proposed Tailoring of HARA for ADS
Show others...
2020 (English)In: Proceedings 2020 50th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W), Institute of Electrical and Electronics Engineers (IEEE) , 2020, p. 86-93Conference paper, Published paper (Refereed)
Abstract [en]

One of the major challenges of automated driving systems (ADS) is showing that they drive safely. Key to ensuring safety is eliciting a complete set of top-level safety requirements (safety goals). This is typically done with an activity called hazard analysis and risk assessment (HARA). In this paper we argue that the HARA of ISO 26262:2018 is not directly suitable for an ADS, both because the number of relevant operational situations may be vast, and because the ability of the ADS to make decisions in order to reduce risks will affect the analysis of exposure and hazards. Instead we propose a tailoring using a quantitative risk norm (QRN) with consequence classes, where each class has a limit for the frequency within which the consequences may occur. Incident types are then defined and assigned to the consequence classes; the requirements prescribing the limits of these incident types are used as safety goals to fulfil in the implementation. The main benefits of the QRN approach are the ability to show completeness of safety goals, and make sure that the safety strategy is not limited by safety goals which are not formulated in a way suitable for an ADS.

Place, publisher, year, edition, pages
Institute of Electrical and Electronics Engineers (IEEE), 2020
National Category
Embedded Systems
Identifiers
urn:nbn:se:kth:diva-359823 (URN)10.1109/dsn-w50199.2020.00026 (DOI)000853340600016 ()2-s2.0-85091077248 (Scopus ID)
Conference
50th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, DSN Workshops 2020, Valencia, Spain, June 29 - July 2, 2020
Note

Part of ISBN 978-1-7281-7263-7

QC 20250212

Available from: 2025-02-12 Created: 2025-02-12 Last updated: 2025-02-14Bibliographically approved
2. Uncertainty Aware Data Driven Precautionary Safety for Automated Driving Systems Considering Perception Failures and Event Exposure
Open this publication in new window or tab >>Uncertainty Aware Data Driven Precautionary Safety for Automated Driving Systems Considering Perception Failures and Event Exposure
Show others...
2022 (English)In: Proceedings of IEEE Symposium on Intelligent Vehicle, Aachen, Germany, 2022Conference paper, Published paper (Refereed)
Abstract [en]

Ensuring safety is arguably one of the largest remaining challenges before wide-spread market adoption of Automated Driving Systems (ADSs). One central aspect is how to provide evidence for the fulfilment of the safety claims and, in particular, how to produce a predictive and reliable safety case considering both the absence and the presence of faults in the system. In order to provide such evidence, there is a need for describing and modelling the different elements of the ADS and its operational context: models of event exposure, sensing and perception models, as well as actuation and closed-loop behaviour representations. This paper explores how estimates from such statistical models can impact the performance and operation of an ADS and, in particular, how such models can be continuously improved by incorporating more field data retrieved during the operation of (previous versions of) the ADS. Focusing on the safe driving velocity,  this results in the ability to update the driving policy so to maximise the allowed safe velocity, for which the safety claim still holds. For illustration purposes, an example considering statistical models of the exposure to an adverse event, as well as failures related to the system's perception system, is analysed. Estimations from these models, using statistical confidence limits, are used to derive a safe driving policy of the ADS. The results highlight the importance of leveraging field data in order to improve the system's abilities and performance, while remaining safe. The proposed methodology, leveraging a data-driven approach, also shows how the system's safety can be monitored and maintained, while allowing for incremental expansion and improvements of the ADS. 

Place, publisher, year, edition, pages
Aachen, Germany: , 2022
National Category
Vehicle and Aerospace Engineering
Identifiers
urn:nbn:se:kth:diva-312006 (URN)10.1109/IV51971.2022.9827255 (DOI)000854106700085 ()2-s2.0-85135378288 (Scopus ID)
Conference
IEEE Symposium on Intelligent Vehicle
Projects
SALIENCE4CAV (2020-02946)WASP
Funder
Vinnova, 2020-02946Wallenberg AI, Autonomous Systems and Software Program (WASP)
Note

QC 20220511

Available from: 2022-05-09 Created: 2022-05-09 Last updated: 2025-02-14Bibliographically approved
3. Towards an Operational Design Domain That Supports the Safety Argumentation of an Automated Driving System
Open this publication in new window or tab >>Towards an Operational Design Domain That Supports the Safety Argumentation of an Automated Driving System
Show others...
2020 (English)In: Proceeding of the 10th European Congress on Embedded Real Time Software and Systems, Toulouse, 2020Conference paper, Published paper (Refereed)
Abstract [en]

One of the biggest challenges for self-driving road vehicles is how to argue that their safety cases are complete. The operational design domain (ODD) of the automated driving system (ADS) can be used to restrict where the ADS is valid and thus confine the scope of the safety case as well as the verification. To complete the safety case there is a need to ensure that the ADS will not exit its ODD. We present four generic strategies to ensure this. Use cases (UCs) provide a convenient way providing such a strategy for a collection of operating conditions (OCs) and further ensures that the ODD allows for operation within the real world. A framework to categorise the OCs of a UC is presented and it is suggested that the ODD is written with this structure in mind to facilitate mapping towards potential UCs. The ODD defines the functional boundary of the system and modelling it with this structure makes it modular and generalisable across different potential UCs. Further, using the ODD to connect the ADS to the UC enables the continuous delivery of the ADS feature. Two examples of dimensions of the ODD are given and a strategy to avoid an ODD exit is proposed in the respective case.

Place, publisher, year, edition, pages
Toulouse: , 2020
Keywords
ADS, Automated driving systems, safety, functional safety, operational design domain, ODD, autonomous vehicles
National Category
Embedded Systems
Research subject
Transport Science, Transport Systems
Identifiers
urn:nbn:se:kth:diva-267132 (URN)
Conference
10th European Congress on Embedded Real Time Software and Systems (ERTS 2020), Jan 2020, TOULOUSE, France
Funder
Vinnova
Note

QC 20200204

Available from: 2020-02-03 Created: 2020-02-03 Last updated: 2025-02-14Bibliographically approved
4. The Road to Safe Automated Driving Systems: A Review of Methods Providing Safety Evidence
Open this publication in new window or tab >>The Road to Safe Automated Driving Systems: A Review of Methods Providing Safety Evidence
2025 (English)In: IEEE Transactions on Intelligent Transportation Systems, ISSN 1524-9050, E-ISSN 1558-0016, Vol. 26, no 4, p. 4315-4345Article in journal (Refereed) Published
Abstract [en]

In recent years, enormous investments in Automated Driving Systems (ADSs) have distinctly advanced ADS technologies. Despite promises made by several high profile auto-makers, it has however become clear that the challenges involved for deploying ADS have been drastically underestimated. Contrary to previous generations of automotive systems, common design, development, verification and validation methods for safety critical systems do not suffice to cope with the increased complexity and operational uncertainties of an ADS. Therefore, the aim of this paper is to provide an understanding of existing methods for providing safety evidence and, most importantly, identifying the associated challenges and gaps pertaining to the use of each method. To this end, we have performed a literature review, articulated around four categories of methods: design techniques, verification and validation methods, run-time risk assessment, and run-time (self-)adaptation. We have identified and present eight challenges, collectively distinguishing ADSs from safety critical systems in general, and discuss the reviewed methods in the light of these eight challenges. For all reviewed methods, the uncertainties of the operational environment and the allocation of responsibility for the driving task on the ADS stand-out as the most difficult challenges to address. Finally, a set of research gaps is identified, and grouped into five major themes: (i) completeness of provided safety evidence, (ii) improvements and analysis needs, (iii) safe collection of closed loop data and accounting for tactical responsibility on the part of the ADS, (iv) integration of AI/ML-based components, and (v) scalability of the approaches with respect to the complexity of the ADS.

Place, publisher, year, edition, pages
Institute of Electrical and Electronics Engineers (IEEE), 2025
Keywords
Automated driving system, safety, safety assurance, safety evidence, research gaps
National Category
Robotics and automation
Research subject
Transport Science, Transport Systems
Identifiers
urn:nbn:se:kth:diva-359809 (URN)10.1109/tits.2025.3532684 (DOI)001411855700001 ()2-s2.0-105001563064 (Scopus ID)
Funder
Knut and Alice Wallenberg FoundationWallenberg AI, Autonomous Systems and Software Program (WASP)Vinnova, 2020-02946Vinnova, TECoSA
Note

QC 20250214

Available from: 2025-02-12 Created: 2025-02-12 Last updated: 2025-08-28Bibliographically approved
5. A Methodology for Runtime Assessment of the Quantitative Risk Norm of Automated Driving Systems -- Enabling Runtime Precautionary Safety
Open this publication in new window or tab >>A Methodology for Runtime Assessment of the Quantitative Risk Norm of Automated Driving Systems -- Enabling Runtime Precautionary Safety
Show others...
(English)In: Article in journal (Refereed) Submitted
Abstract [en]

Safety of Automated Driving Systems (ADSs) is arguably one of the main remaining barriers before wide-spread market deployment. In particular, ensuring that the ADS drives safely is a difficult task. While there exists a plethora of methods for planning a trajectory that fulfils certain constraints, what those constraints should look to render a safe ADS is less well understood. In particular, when considering statistical edge cases. In this paper we generalise and elaborate on the concept of precautionary safety to provide constraints on the tactical and operational decisions of the ADS considering the ADS' capabilities, the external conditions, knowledge of statistically relevant events and behaviours as well as the controllability of these events. These considerations are included in a novel formulation, based on probability theory, that subsequently enables assessment of the statistical fulfilment of overall quantitative requirements on accident-, injury- and fatality rates. The presented approach thus provides a means to dynamically adapt the constraints used for trajectory planning. The approach is showcased through a case study where a collision with a jaywalking pedestrian and a rear-end collision with a trailing vehicle are considered. The case study shows how the approach can be applied in practise and further illustrates how the controllability on the part of the ADS can impact the constraints on the tactical decisions that fulfil the quantitative safety requirements.

Keywords
Automated driving system, quantitative safety, quantitative risk norm, tactical decisions, safety, precautionary safety
National Category
Robotics and automation
Identifiers
urn:nbn:se:kth:diva-359810 (URN)
Funder
Wallenberg AI, Autonomous Systems and Software Program (WASP)Vinnova, TECoSA
Note

QC 20250214

Available from: 2025-02-12 Created: 2025-02-12 Last updated: 2025-02-14Bibliographically approved

Open Access in DiVA

sammanfattning(2426 kB)461 downloads
File information
File name SUMMARY01.pdfFile size 2426 kBChecksum SHA-512
ee4c170b07d0a73a8853fd3279377064be2ec0eb805c51b30438acb2e52d753157fb6a52663afbf49f041b697288e5f6bae485cd6e6c8b9fe3e6545681d684e4
Type fulltextMimetype application/pdf

Authority records

Gyllenhammar, Magnus

Search in DiVA

By author/editor
Gyllenhammar, Magnus
By organisation
Mechatronics and Embedded Control Systems
Reliability and Maintenance

Search outside of DiVA

GoogleGoogle Scholar
Total: 0 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

isbn
urn-nbn

Altmetric score

isbn
urn-nbn
Total: 1964 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf