Quantitative verification of system safety in event-B

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6968 LNCS, Issue , 2011, Pages 24-39

  Tarasyuk, Anton ^a,b   Troubitsyna, Elena ^b   Laibinis, Linas ^b  

^a TURKU CENTRE FOR COMPUTER SCIENCE   (Finland)

^b ÅBO AKADEMI UNIVERSITY   (Finland)

Author keywords

[No Author keywords available]

Indexed keywords

EVENT-B; FORMAL MODELLING; FORMAL SYSTEMS; FORMAL VERIFICATIONS; NEGATIVE IMPACTS; QUANTITATIVE ASSESSMENTS; QUANTITATIVE VERIFICATION; SAFETY ANALYSIS; SAFETY CRITICAL SYSTEMS; SYSTEM DEVELOPMENT; SYSTEM PROPERTY; SYSTEM SAFETY;

SECURITY SYSTEMS; VERIFICATION;

SAFETY ENGINEERING;

EID: 80053490903     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-24124-6_3     Document Type: Conference Paper

References (22)

1. Abrial, J.R.: Extending B without Changing it (for Developing Distributed Systems). In: Habiras, H. (ed.) First Conference on the B Method, pp. 169-190 (1996)
2. Abrial, J.R.: The B-Book: Assigning Programs to Meanings. Cambridge University Press, Cambridge (2005)
3. Abrial, J.R.: Modeling in Event-B. Cambridge University Press, Cambridge (2010)
4. Avizienis, A., Laprie, J.C., Randell, B.: Fundamental Concepts of Dependability, Research Report No 1145, LAAS-CNRS (2001)
5. Craigen, D., Gerhart, S., Ralson, T.: Case Study: Paris Metro Signaling System. IEEE Software, 32-35 (1994)
6. EU-project DEPLOY, http://www.deploy-project.eu/
7. Feller, W.: An Introduction to Probability Theory and its Applications, vol. 1. John Wiley & Sons, Chichester (1967)
8. Gomes, A., Mota, A., Sampaio, A., Ferri, F., Buzzi, J.: Systematic Model-Based Safety Assessment Via Probabilistic Model Checking. In: Margaria, T., Steffen, B. (eds.) ISoLA 2010. LNCS, vol. 6415, pp. 625-639. Springer, Heidelberg (2010)
9. Grunske, L., Colvin, R., Winter, K.: Probabilistic Model-Checking Support for FMEA. In: QEST 2007, International Conference on Quantitative Evaluation of Systems (2007)
10. Hallerstede, S., Hoang, T.S.: Qualitative Probabilistic Modelling in Event-B. In: Davies, J., Gibbons, J. (eds.) IFM 2007. LNCS, vol. 4591, pp. 293-312. Springer, Heidelberg (2007)
11. Kwiatkowska, M., Norman, G., Parker, D.: Controller Dependability Analysis by Probabilistic Model Checking. In: Control Engineering Practice, pp. 1427-1434 (2007)
12. Lecomte, T., Servat, T., Pouzancre, G.: Formal Methods in Safety-Critical Railway Systems. In: Brasilian Symposium on Formal Methods (2007)
13. McIver, A.K., Morgan, C.C.: Abstraction, Refinement and Proof for Probabilistic Systems. Springer, Heidelberg (2005)
14. Ortmeier, F., Güdemann, M.: Probabilistic Model-Based Safety Analysis. In:Workshop on Quantitative Aspects of Programming Languages, QAPL 2010. EPTCS, pp. 114-128 (2010)
15. Ortmeier, F., Reif, W., Schellhorn, G.: Formal Safety Analysis of a Radio-Based Railroad Crossing Using Deductive Cause-Consequence Analysis (DCCA). In: Dal Cin, M., Kaâniche, M., Pataricza, A. (eds.) EDCC 2005. LNCS, vol. 3463, pp. 210-224. Springer, Heidelberg (2005) (Pubitemid 41312759)
16. Ortmeier, F., Schellhorn, G.: Formal Fault Tree Analysis: Practical Experiences. In: International Workshop on Automated Verification of Critical Systems, AVoCS 2006. ENTCS, vol. 185, pp. 139-151. Elsevier, Amsterdam (2007)
17. PRISM - Probabilistic Symbolic Model Checker, http://www. prismmodelchecker.org/
18. Rigorous Open Development Environment for Complex Systems (RODIN): Deliverable D7, Event-B Language, http://rodin.cs.ncl.ac.uk/
19. Rigorous Open Development Environment for Complex Systems (RODIN): IST FP6 STREP project, http://rodin.cs.ncl.ac.uk/
20. RODIN. Event-B Platform, http://www.event-b.org/
21. Tarasyuk, A., Troubitsyna, E., Laibinis, L.: Quantitative Verification of System Safety in Event-B. Tech. Rep. 1010, Turku Centre for Computer Science (2011)
22. Tarasyuk, A., Troubitsyna, E., Laibinis, L.: Towards Probabilistic Modelling in Event-B. In: Maposery, D., Merz, S. (eds.) IFM 2010. LNCS, vol. 6396, pp. 275-289. Springer, Heidelberg (2010)