Patterns for Representing FMEA in Formal Specification of Control Systems

Author

Lopatkin, Ilya ; Iliasov, Alexei ; Romanovsky, Alexander ; Prokhorova, Yuliya ; Troubitsyna, Elena

Author_Institution

Sch. of Comput. Sci., Newcastle Univ., Newcastle upon Tyne, UK

fYear

2011

fDate

10-12 Nov. 2011

Firstpage

146

Lastpage

151

Abstract

Failure Modes and Effects analysis (FMEA) is a widely used technique for inductive safety analysis. FMEA provides engineers with valuable information about failure modes of system components as well as procedures for error detection and recovery. In this paper we propose an approach that facilitates representation of FMEA results in formal Event-B specifications of control systems. We define a umber of patterns for representing requirements derived from FMEA in formal system model specified in Event-B. The patterns help the developers to trace the requirements from safety analysis to formal specification. Moreover, they allow them to increase automation of formal system development by refinement. Our approach is illustrated by an example - a sluice control system.

Keywords

control engineering computing; control systems; failure analysis; formal specification; program diagnostics; system recovery; effects analysis; error detection; error recovery; failure modes; formal event-B specification; formal system development; inductive safety analysis; requirement tracing; sluice control system; Computational modeling; Logic gates; Safety; Sensor systems; Switches; Event-B; FMEA; control systems; formal specification; patterns; safety;

fLanguage

English

Publisher

ieee

Conference_Titel

High-Assurance Systems Engineering (HASE), 2011 IEEE 13th International Symposium on

Conference_Location

Boca Raton, FL

ISSN

1530-2059

Print_ISBN

978-1-4673-0107-7

Type

conf

DOI

10.1109/HASE.2011.10

Filename

6113886