Welcome to the InfoSci Platform
Reference Hub2
Quantitative Reasoning About Dependability in Event-B : Probabilistic Model Checking Approach

Quantitative Reasoning About Dependability in Event-B : Probabilistic Model Checking Approach

Anton Tarasyuk, Elena Troubitsyna, Linas Laibinis
Copyright: © 2012 |Pages: 14
ISBN13: 9781609607470|ISBN10: 1609607473|EISBN13: 9781609607487
DOI: 10.4018/978-1-60960-747-0.ch019
Cite Chapter Cite Chapter

MLA

Tarasyuk, Anton, et al. "Quantitative Reasoning About Dependability in Event-B : Probabilistic Model Checking Approach ." Dependability and Computer Engineering: Concepts for Software-Intensive Systems, edited by Luigia Petre, et al., IGI Global, 2012, pp. 459-472. https://doi.org/10.4018/978-1-60960-747-0.ch019

APA

Tarasyuk, A., Troubitsyna, E., & Laibinis, L. (2012). Quantitative Reasoning About Dependability in Event-B : Probabilistic Model Checking Approach . In L. Petre, K. Sere, & E. Troubitsyna (Eds.), Dependability and Computer Engineering: Concepts for Software-Intensive Systems (pp. 459-472). IGI Global. https://doi.org/10.4018/978-1-60960-747-0.ch019

Chicago

Tarasyuk, Anton, Elena Troubitsyna, and Linas Laibinis. "Quantitative Reasoning About Dependability in Event-B : Probabilistic Model Checking Approach ." In Dependability and Computer Engineering: Concepts for Software-Intensive Systems, edited by Luigia Petre, Kaisa Sere, and Elena Troubitsyna, 459-472. Hershey, PA: IGI Global, 2012. https://doi.org/10.4018/978-1-60960-747-0.ch019

Export Reference

Mendeley
Favorite

Abstract

Formal refinement-based approaches have proved their worth in verifying system correctness. Often, besides ensuring functional correctness, we also need to quantitatively demonstrate that the desired level of dependability is achieved. However, the existing refinement-based frameworks do not provide sufficient support for quantitative reasoning. In this chapter, we show how to use probabilistic model checking to verify probabilistic refinement of Event-B models. Such integration allows us to combine logical reasoning about functional correctness with probabilistic reasoning about reliability.

Request Access

You do not own this content. Please login to recommend this title to your institution's librarian or purchase it from the IGI Global bookstore.