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

Failure Mode and Effects Analysis (FMEA) is a systematic \udtechnique to explore the possible failure modes of individual \udcomponents or subsystems and determine their potential \udeffects at the system level. Applications of FMEA are common \udin case of hardware and communication failures, but analyzing \udsoftware failures (SW-FMEA) poses a number of challenges. \udFailures may originate in permanent software faults commonly \udcalled bugs, and their effects can be very subtle and hard to \udpredict, due to the complex nature of programs. Therefore, a \udbehavior-based automatic method to analyze the potential \udeffects of different types of bugs is desirable. Such a \udmethod could be used to automatically build an FMEA report \udabout the fault effects, or to evaluate different failure \udmitigation and detection techniques. This paper follows the \udlatter direction, demonstrating the use of a model checking-\udbased automated SW-FMEA approach to evaluate error detection \udand fault tolerance mechanisms, demonstrated on a case study \udinspired by safety-critical embedded operating systems

Model Checking-based Software-FMEA: Assessment of Fault Tolerance and Error Detection Mechanisms