Towards Formal Fault Injection for Safety Assessment of Automated Systems

↓ Direkt till sidans innehåll
↓ Direkt till sidans sekundära innehåll (sidomenyn)

Sökning: WFRF:(Sangchoolie Behrooz) > Towards Formal Faul...

Farooqui, AshfaqRISE,Elektrifiering och pålitlighet,Dependable Transport Systems (författare)

Towards Formal Fault Injection for Safety Assessment of Automated Systems

Artikel/kapitelEngelska2023

Förlag, utgivningsår, omfång ...

2023
printrdacarrier

Nummerbeteckningar

LIBRIS-ID:oai:DiVA.org:ri-67578
https://urn.kb.se/resolve?urn=urn:nbn:se:ri:diva-67578URI

Kompletterande språkuppgifter

Språk:engelska
Sammanfattning på:engelska

Ingår i deldatabas

SwePubSwePub

Klassifikation

Ämneskategori:ref swepub-contenttype
Ämneskategori:kon swepub-publicationtype

Anmärkningar

This work was partly supported by the VALU3S project, which has received funding from the ECSEL Joint Undertaking(JU) under grant agreement No 876852. The JU receives support from the European Union’s Horizon 2020 research andinnovation programme and Austria, Czech Republic, Germany, Ireland, Italy, Portugal, Spain, Sweden, Turkey. This work hasalso been partly financed by the CyReV project, which is funded by the VINNOVA FFI program – the Swedish GovernmentalAgency for Innovation Systems (Diary number: 2019-03071).
Reasoning about safety, security, and other dependability attributes of autonomous systems is a challenge that needs to be addressed before the adoption of such systems in day-to-day life. Formal methods is a class of methods that mathematically reason about a system’s behavior. Thus, a correctness proof is sufficient to conclude the system’s dependability. However, these methods are usually applied to abstract models of the system, which might not fully represent the actual system. Fault injection, on the other hand, is a testing method to evaluate the dependability of systems. However, the amount of testing required to evaluate the system is rather large and often a problem. This vision paper introduces formal fault injection, a fusion of these two techniques throughout the development lifecycle to enhance the dependability of autonomous systems. We advocate for a more cohesive approach by identifying five areas of mutual support between formal methods and fault injection. By forging stronger ties between the two fields, we pave the way for developing safe and dependable autonomous systems. This paper delves into the integration’s potential and outlines future research avenues, addressing open challenges along the way.

Ämnesord och genrebeteckningar

TEKNIK OCH TEKNOLOGIER Elektroteknik och elektronik Datorsystem hsv//swe
ENGINEERING AND TECHNOLOGY Electrical Engineering, Electronic Engineering, Information Engineering Computer Systems hsv//eng
Fault injection
formal methods

Biuppslag (personer, institutioner, konferenser, titlar ...)

Sangchoolie, BehroozRISE,Elektrifiering och pålitlighet,Dependable Transport Systems(Swepub:ri)behroozsa@ri.se (författare)
RISEElektrifiering och pålitlighet (creator_code:org_t)

Sammanhörande titlar

Ingår i:Fifth International Workshop on Formal Methods for Autonomous Systems

Internetlänk

https://urn.kb.se/resolve?urn=urn:nbn:se:ri:diva-67578

Till lärosätets databas

Hitta mer i SwePub

Av författaren/redakt...: Farooqui, Ashfaq; Sangchoolie, Beh ...

Om ämnet

TEKNIK OCH TEKNOLOGIER: TEKNIK OCH TEKNO ...; och Elektroteknik oc ...; och Datorsystem

Artiklar i publikationen: Fifth Internatio ...

Av lärosätet: RISE

Sök utanför SwePub

Sök vidare i:: Google; 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.

LIBRIS.kb.se