creators_name: Lopatkin, Ilya creators_name: Iliasov, Alexei creators_name: Romanovsky, Alexander creators_name: Prokhorova, Yuliya creators_name: Troubitsyna, Elena creators_id: Ilya.Lopatkin@newcastle.ac.uk creators_id: "Alexei Iliasov" creators_id: alexander.romanovsky@ncl.ac.uk creators_id: Yuliya.Prokhorova@abo.fi creators_id: Elena.Troubitsyna@abo.fi type: conference_item datestamp: 2011-10-02 09:59:53 lastmod: 2011-10-02 09:59:53 metadata_visibility: show title: Patterns for Representing FMEA in Formal Specification of Control Systems ispublished: pub subjects: Event-Bsemantics subjects: deploy_method_reqevo subjects: deploy_method_resil subjects: deploy_tooldev full_text_status: public pres_type: paper 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 number 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. date: 2011-11 date_type: published event_title: The 13th IEEE International High Assurance Systems Engineering Symposium, Boca Raton, FL event_location: Boca Raton, USA event_dates: November 10-12, 2011 event_type: conference refereed: TRUE citation: Lopatkin, Ilya and Iliasov, Alexei and Romanovsky, Alexander and Prokhorova, Yuliya and Troubitsyna, Elena (2011) Patterns for Representing FMEA in Formal Specification of Control Systems. In: The 13th IEEE International High Assurance Systems Engineering Symposium, Boca Raton, FL, November 10-12, 2011, Boca Raton, USA. document_url: http://deploy-eprints.ecs.soton.ac.uk/347/1/hase2011_paper_5.pdf