Application of software safety analysis using event-B

Proceedings - 7th International Conference on Software Security and Reliability Companion, SERE-C 2013

Volumn , Issue , 2013, Pages 137-144

  Hong, Zhang ^a   Lili, Xu ^a  

^a BEIHANG UNIVERSITY   (China)

Author keywords

Event B; Safety analysis; Software safety

Indexed keywords

EVENT-B; FIRST ORDER LOGIC; SAFETY ANALYSIS; SAFETY CRITICAL SYSTEMS; SOFTWARE INTENSIVE SYSTEMS; SOFTWARE SAFETY; SOFTWARE SAFETY ANALYSIS; SOFTWARE SYSTEMS;

ANIMATION; C (PROGRAMMING LANGUAGE); COMPUTER SOFTWARE SELECTION AND EVALUATION; LANDING GEAR (AIRCRAFT); MODEL CHECKING; SECURITY OF DATA; SOFTWARE RELIABILITY; THEOREM PROVING;

SECURITY SYSTEMS;

EID: 84887636127     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SERE-C.2013.45     Document Type: Conference Paper

References (18)

1. A. Hall, "Seven myths of formal methods," IEEE Software, vol. 7, no. 5, pp. 11-19, 1990.
2. Jean-Raymond Abrial, Michael Butler, Stefan Hallerstede, Thai Son Hoang, Farhad Mehta and Laurent Voisin, "Rodin: an open toolset for modelling and reasoning in Event-B," Technical Report, DEPLOY Project, http://deploy-eprints.ecs.soton.ac.uk/130/, (2009)
3. "Roadmap for rodin platform". http://wiki.event-b.org/images/ Roadmap.pdf; cited: 2009 Sep.
4. http://www.deploy-project.eu/.
5. Abrial, J., "Formal Methods in industry: achievements, problems, Future". Proceedings of the 28th international conference on Software engineering, 2006.
6. I. Lopatkin, A. Iliasov, A. Romanovsky, Y. Prokhorova, and E. Troubitsyna, "Patterns for representing FMEA in formal specification of control systems," in HASE, 2011, pp.146-151.
7. A. Tarasyuk, E. Troubitsyna, and L. Laibinis,"Quantitative Verification of Safety in Event-B," in SERENE 2011, Software Engineering for Resilient Systems. Springer-Verlag, 2011, pp.24-39.
8. http://www.event-b.org/.
9. http://wiki.Event-B.org/index.php/Main-Page.
10. Abrial J.R., "Modeling in Event-B: system and software engineering," Cambridge Univ Pr, 2010.
11. Michael Butler. "Using Event-B refinement to verify a control strategy. University of Southampton, May 2009.
12. Abderrahman Matoussi, Frederic Gervais and Regine Laleau. A goal-based approach to guide the design of an abstract Event-B specification[J]," 16th IEEE International Conference on Engineering of Complex Computer Systems, 2011. pp:139-148
13. Atif Mashkoor and Jean-Pierre Jacquot. "Domain Engineering with Event-B: Some Lessons We Learned[J]," 2010 18th IEEE International Requirements Engineering Conference. 2010:252 - 261
14. Thai Son Hoang, Andreas Furst and Jean-Raymond Abrial. "Event-B atterns and their tool support[J]," Seventh IEEE International Conference on Software Engineering and Formal Methods, 2009. pp:210-219
15. Abrial, J.R., et al., "Rodin: an open toolset for modelling and reasoning in Event-B," International Journal on Software Tools for Technology Transfer (STTT), 2010. 12(6): pp. 447-466.
16. "A380 Landing gear and systems - the feet of the plane,"DGLR - Hamburg.5th June, 2008.
17. Frederic Boniol and V.W.E.L., "Experiences in using model checking to verify real time properties of a landing control system,"
18. Ken Robinson. System modeling & design using Event-B.