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
Towards Formal Fault Injection for Safety Assessment of Automated Systems
RISE Research Institutes of Sweden, Safety and Transport, Electrification and Reliability. (Dependable Transport Systems)ORCID iD: 0000-0002-1559-7896
RISE Research Institutes of Sweden, Safety and Transport, Electrification and Reliability. (Dependable Transport Systems)ORCID iD: 0000-0001-9536-4269
2023 (English)In: Fifth International Workshop on Formal Methods for Autonomous Systems, 2023Conference paper, Published paper (Refereed)
Abstract [en]

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.

Place, publisher, year, edition, pages
2023.
Keywords [en]
Fault injection, formal methods
National Category
Computer Systems
Identifiers
URN: urn:nbn:se:ri:diva-67578OAI: oai:DiVA.org:ri-67578DiVA, id: diva2:1808636
Conference
International Workshop on Formal Methods for Autonomous Systems
Note

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).

Available from: 2023-10-31 Created: 2023-10-31 Last updated: 2023-11-01Bibliographically approved

Open Access in DiVA

No full text in DiVA

Authority records

Farooqui, AshfaqSangchoolie, Behrooz

Search in DiVA

By author/editor
Farooqui, AshfaqSangchoolie, Behrooz
By organisation
Electrification and Reliability
Computer Systems

Search outside of DiVA

GoogleGoogle Scholar

urn-nbn

Altmetric score

urn-nbn
Total: 64 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