Parametric faults in safety critical programs

Hamid Jahanian*

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contributionpeer-review

Abstract

In the process industry, Safety Instrumented Systems (SIS) are mechanisms that protect against major plant accidents. A typical SIS consists of hardware components and a software part, the program. Failure Mode Reasoning (FMR) was originally designed for identifying failure modes of SIS inputs based on an analysis of its program. In this paper we introduce an extended version of the method that can be used as a diagnostic means for identifying systemic faults concerning incorrect parameters in the program. The proposed method can particularly help with SIS factory acceptance testing, which is a critical process in validating the integrity of SIS prior to its installation on site. The original FMR used the program architecture to reason about failure modes. Here we use test cases as an additional source of information for reasoning. We describe the concepts, formalize the method, and demonstrate its application in an industrial case study.

Original languageEnglish
Title of host publicationFormal Methods for Industrial Critical Systems
Subtitle of host publication26th International Conference, FMICS 2021, Paris, France, August 24–26, 2021: Proceedings
EditorsAlberto Lluch Lafuente, Anastasia Mavridou
Place of PublicationCham, Switzerland
PublisherSpringer, Springer Nature
Pages51-66
Number of pages16
ISBN (Electronic)9783030852481
ISBN (Print)9783030852474
DOIs
Publication statusPublished - 2021
Event26th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2021 - Virtual, Online
Duration: 24 Aug 202126 Aug 2021

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume12863
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference26th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2021
CityVirtual, Online
Period24/08/2126/08/21

Keywords

  • Failure Mode Reasoning
  • Safety Instrumented Systems

Fingerprint

Dive into the research topics of 'Parametric faults in safety critical programs'. Together they form a unique fingerprint.

Cite this