Patterns for representing FMEA in formal specification of control systems

Proceedings of IEEE International Symposium on High Assurance Systems Engineering

Volumn , Issue , 2011, Pages 146-151

  Lopatkin, Ilya ^a   Iliasov, Alexei ^a   Romanovsky, Alexander ^a   Prokhorova, Yuliya ^b   Troubitsyna, Elena ^b  

^a NEWCASTLE UNIVERSITY   (United Kingdom)

^b ÅBO AKADEMI UNIVERSITY   (Finland)

Author keywords

Control systems; Event B; FMEA; Formal specification; Patterns; Safety

Indexed keywords

ERROR DETECTION AND RECOVERY; EVENT-B; FAILURE MODES AND EFFECTS ANALYSIS; FMEA; FORMAL SPECIFICATION; FORMAL SYSTEMS; PATTERNS; SAFETY ANALYSIS; SYSTEM COMPONENTS;

ACCIDENT PREVENTION; CONTROL SYSTEMS; ERROR DETECTION; SAFETY FACTOR; SECURITY SYSTEMS; SPECIFICATIONS; SYSTEMS ENGINEERING; TRACE ANALYSIS;

CONTROL SYSTEM ANALYSIS;

EID: 84856541892     PISSN: 15302059     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/HASE.2011.10     Document Type: Conference Paper

References (19)

1. J.-R. Abrial, "Modeling in Event-B: system and software engineering", Cambridge University Press, 2010.
2. Deploy project, www.deploy-project.eu.
3. Eclipse GMT - Generative Modeling Technology, http://www.eclipse.org/gmt.
4. Event-B and the Rodin Platform, http://www.event-b.org/, 2010.
5. FMEA Info Centre, http://www.fmeainfocentre.com/.
6. D. Hatebur and M. Heisel, "A foundation for requirements analysis of dependable software", Proceedings of the International Conference on Computer Safety, Reliability and Security (SAFECOMP), Springer, 2009, pp. 311-325.
7. I. Lopatkin, A. Iliasov, A. Romanovsky, "On Fault Tolerance Reuse during Refinement". In Proc. Of the 2nd International Workshop on Software Engineering for Resilient Systems (SERENE), April 13-16, 2010.
8. D. Ilic and E. Troubitsyna, "Formal development of software for tolerating transient faults". In Proc. of the 11th IEEE Pacific Rim International Symposium on Dependable Computing, IEEE Computer Society, Changsha, China, December 2005.
9. ClearSy, Safety critical systems engineering, http://www.clearsy.com/.
10. D. S. Kolovos, "Extensible platform for specification of integrated languages for model management (Epsilon)", Official web-site: http://www.cs.york.ac.uk/~dkolovos/epsilon.
11. L. Laibinis and E. Troubitsyna, "Refinement of fault tolerant control systems in B", SAFECOMP 2004, Springer, Potsdam, Germany, 2004.
12. L. Laibinis and E. Troubitsyna, "Fault tolerance in a layered architecture: a general specification pattern in B", In Proc. of International Conference on Software Engineering and Formal Methods SEFM'2004, IEEE Computer Society Press, pp.346-355, Beijing, China, September 2004. (Pubitemid 40456437)
13. N.G. Leveson, "Safeware: system safety and computers", Addison- Wesley, 1995.
14. I. Lopatkin, Y. Prokhorova, E. Troubitsyna, A. Iliasov and A. Romanovsky, "Patterns for Representing FMEA in Formal Specification of Control Systems", Technical Report 1003, TUCS, March 2011.
15. F. Ortmeier, M. Guedemann and W. Reif, "Formal failure models", Proceedings of the IFAC Workshop on Dependable Control of Discrete Systems (DCDS 07), Elsevier, 2007.
16. N. Storey, "Safety-critical computer systems", Addison-Wesley, 1996.
17. Thai Son Hoang, A, Furst and J.-R. Abrial, "Event-B patterns and their tool support", SEFM 2009, IEEE Computer Press, 2009, pp. 210-219.
18. E. Troubitsyna, "Elicitation and specification of safety requirements", Proceedings of the Third International Conference on Systems (ICONS 2008), 2008, pp. 202-207.
19. E. Troubitsyna, "Integrating safety analysis into formal specification of dependable systems", Proceedings of the International Parallel and Distributed Processing Symposium (IPDPS'03), 2003, p. 215b.