English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Tools annual

Global: Zendy Free Plan

Global: Zendy Tools monthly

Global: Zendy Plus monthly

Reasoning about safety, security, and other dependability attributes ofautonomous systems is a challenge that needs to be addressed before theadoption of such systems in day-to-day life. Formal methods is a class ofmethods that mathematically reason about a system's behavior. Thus, acorrectness 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 theother hand, is a testing method to evaluate the dependability of systems.However, the amount of testing required to evaluate the system is rather largeand often a problem. This vision paper introduces formal fault injection, afusion of these two techniques throughout the development lifecycle to enhancethe dependability of autonomous systems. We advocate for a more cohesiveapproach by identifying five areas of mutual support between formal methods andfault injection. By forging stronger ties between the two fields, we pave theway for developing safe and dependable autonomous systems. This paper delvesinto the integration's potential and outlines future research avenues,addressing open challenges along the way.

Towards Formal Fault Injection for Safety Assessment of Automated Systems