Towards probabilistic modelling in event-B

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

Volumn 6396 LNCS, Issue , 2010, Pages 275-289

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

^a TURKU CENTRE FOR COMPUTER SCIENCE   (Finland)

^b ÅBO AKADEMI UNIVERSITY   (Finland)

Author keywords

cyclic system; Event B; probability; refinement; reliability

Indexed keywords

CORRECT-BY-CONSTRUCTION; CYCLIC SYSTEMS; DEPENDABLE SYSTEMS; EVENT-B; MARKOV MODEL; PROBABILISTIC ASSESSMENTS; PROBABILISTIC MODELLING; PROBABILISTIC RELIABILITY ANALYSIS; QUANTITATIVE ANALYSIS; REFINEMENT;

FORMAL METHODS; MARKOV PROCESSES; QUALITY ASSURANCE;

RELIABILITY ANALYSIS;

EID: 78349292200     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-16265-7_20     Document Type: Conference Paper

References (24)

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. IRIN Institut de recherche en informatique de Nantes (1996)
2. Abrial, J.R.: The B-Book: Assigning Programs to Meanings. Cambridge University Press, Cambridge (2005)
3. Back, R.J.R., Petre, L., Porres, I.: Generalizing Action Systems to Hybrid Systems. In: Joseph, M. (ed.) FTRTFT 2000. LNCS, vol. 1926, pp. 202-213. Springer, Heidelberg (2000)
4. Baier, C., Katoen, J.P.: Principles of Model Checking. MIT Press, Cambridge (2008)
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. 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)
8. Hansson, H.: Time and Probability in Formal Design of Distributed Systems. Elsevier, Amsterdam (1995)
9. Kemeny, J.G., Snell, J.L.: Finite Markov Chains. D. Van Nostrand Company (1960)
10. Kwiatkowska, M.: Quantitative verification: models techniques and tools. In: ESEC/FSE 2007, pp. 449-458. ACM, New York (2007)
11. Kwiatkowska, M., Norman, G., Parker, D.: Controller dependability analysis by probabilistic model checking. In: Control Engineering Practice, pp. 1427-1434 (2007) (Pubitemid 47338230)
12. Larsen, K.G., Skou, A.: Bisimulation through probabilistic testing. Information and Computation 94, 1-28 (1991)
13. McIver, A.K., Morgan, C.C.: Abstraction, Refinement and Proof for Probabilistic Systems. Springer, Heidelberg (2005)
14. McIver, A.K., Morgan, C.C., Troubitsyna, E.: The probabilistic steam boiler: a case study in probabilistic data refinement. In: Proc. International Refinement Workshop, ANU, Canberra. Springer, Heidelberg (1998)
15. Meinicke, L., Smith, G.: A Stepwise Development Process for Reasoning about the Reliability of Real-Time Systems. In: Davies, J., Gibbons, J. (eds.) IFM 2007. LNCS, vol. 4591, pp. 439-458. Springer, Heidelberg (2007)
16. MRMC - Markov Reward Model Checker, http://www.mrmc-tool.org/
17. O'Connor, P.D.T.: Practical Reliability Engineering, 3rd edn. John Wiley & Sons, Chichester (1995)
18. PRISM - Probabilistic Symbolic Model Checker, http://www. prismmodelchecker.org/
19. Rigorous Open Development Environment for Complex Systems (RODIN): IST FP6 STREP project, http://rodin.cs.ncl.ac.uk/
20. Rigorous Open Development Environment for Complex Systems (RODIN): Deliverable D7, Event-B Language, http://rodin.cs.ncl.ac.uk/
21. RODIN. Event-B Platform, http://www.event-b.org/
22. Segala, R., Lynch, N.: Probabilistic simulations for probabilistic processes. Nordic Journal of Computing 2(2), 250-273 (1995)
23. Storey, N.: Safety-Critical Computer Systems. Addison-Wesley, Reading (1996)
24. Villemeur, A.: Reliability, Availability, Maintainability and Safety Assessment. John Wiley & Sons, Chichester (1995)