onr:"swepub:oai:research.chalmers.se:9c5af899-5d4f-4d3b-95c8-c55699287f13"
Sökning: onr:"swepub:oai:research.chalmers.se:9c5af899-5d4f-4d3b-95c8-c55699287f13" > Formal Development ...
- 1 av 1
- Föregående post
- Nästa post
- Till träfflistan
- Selvaraj, Yuvaraj,1990Chalmers tekniska högskola,Chalmers University of Technology (författare)
Formal Development of Safe Automated Driving Using Differential Dynamic Logic
- Artikel/kapitelEngelska2023
Förlag, utgivningsår, omfång ...
- 2023
Nummerbeteckningar
- LIBRIS-ID:oai:research.chalmers.se:9c5af899-5d4f-4d3b-95c8-c55699287f13
- https://doi.org/10.1109/TIV.2022.3204574DOI
- https://research.chalmers.se/publication/532245URI
Kompletterande språkuppgifter
- Språk:engelska
- Sammanfattning på:engelska
Ingår i deldatabas
- SwePubSwePub
Klassifikation
Anmärkningar
- The challenges in providing convincing arguments for safe and correct behavior of automated driving (AD) systems have so far hindered their widespread commercial deployment. Conventional development approaches such as testing and simulation are limited by non-exhaustive analysis, and can thus not guarantee safety in all possible scenarios. Formal methods can provide mathematical proofs that could be used to produce rigorous evidence to support the safety argument. This paper investigates the use of differential dynamic logic and the deductive verification tool KeYmaera X in the development of an AD feature. Specifically, this paper demonstrates how formal models and safety proofs of different design variants of a Decision & Control module can be used in the safety argument of an in-lane AD feature. In doing so, the assumptions and invariant conditions necessary to guarantee safety are identified, and the paper shows how such an analysis helps during the development process in requirement refinement and formulation of the operational design domain. Furthermore, it is shown how the performance of the different models is formally analyzed exhaustively, in all their allowed behaviors.
Ämnesord och genrebeteckningar
- TEKNIK OCH TEKNOLOGIER Elektroteknik och elektronik Inbäddad systemteknik hsv//swe
- ENGINEERING AND TECHNOLOGY Electrical Engineering, Electronic Engineering, Information Engineering Embedded Systems hsv//eng
- NATURVETENSKAP Data- och informationsvetenskap Datavetenskap hsv//swe
- NATURAL SCIENCES Computer and Information Sciences Computer Sciences hsv//eng
- TEKNIK OCH TEKNOLOGIER Elektroteknik och elektronik Datorsystem hsv//swe
- ENGINEERING AND TECHNOLOGY Electrical Engineering, Electronic Engineering, Information Engineering Computer Systems hsv//eng
- Vehicle dynamics
- Testing
- Behavioral sciences
- hybrid systems
- Intelligent vehicles
- safety argument
- Mathematical models
- Automated driving
- theorem proving
- formal methods
- Task analysis
- Safety
Biuppslag (personer, institutioner, konferenser, titlar ...)
- Ahrendt, Wolfgang,1967Chalmers tekniska högskola,Chalmers University of Technology(Swepub:cth)ahrendt (författare)
- Fabian, Martin,1960Chalmers tekniska högskola,Chalmers University of Technology(Swepub:cth)fabian (författare)
- Chalmers tekniska högskola (creator_code:org_t)
Sammanhörande titlar
- Ingår i:IEEE Transactions on Intelligent Vehicles8:1, s. 988-10002379-8858
Internetlänk
Hitta via bibliotek
- IEEE Transactions on Intelligent Vehicles (Sök värdpublikationen i LIBRIS)
Till lärosätets databas
- 1 av 1
- Föregående post
- Nästa post
- Till träfflistan
Hitta mer i SwePub
- Av författaren/redakt...
- Selvaraj, Yuvara ...
- Ahrendt, Wolfgan ...
- Fabian, Martin, ...
- Om ämnet
-
- TEKNIK OCH TEKNOLOGIER
- TEKNIK OCH TEKNO ...
- och Elektroteknik oc ...
- och Inbäddad systemt ...
-
- NATURVETENSKAP
- NATURVETENSKAP
- och Data och informa ...
- och Datavetenskap
-
- TEKNIK OCH TEKNOLOGIER
- TEKNIK OCH TEKNO ...
- och Elektroteknik oc ...
- och Datorsystem
- Artiklar i publikationen
- IEEE Transaction ...
- Av lärosätet
- Chalmers tekniska högskola
Sök utanför SwePub
- Sök vidare i:
- Google Book Search
- Google Scholar
Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.
- Copyright © LIBRIS - Nationella bibliotekssystem
- LIBRIS.kb.se
