Files:DescriptionFile size FormatBrowse
Fulltext0.80 MBPDF (requires Acrobat Reader)Previous | Next
  
Authors:Anton Tarasyuk: Åbo Akademi University, Finland
Elena Troubitsyna: Åbo Akademi University, Finland
Linas Laibinis: Åbo Akademi University, Finland
Publication title:Reliability Assessment in Event-B Development
Conference:NODES 09: NOrdic workshop and doctoral symposium on DEpendability and Security, Linköping, Sweden, April 27, 2009
Publication type: Abstract and Fulltext
Issue:041
Article No.:002
Abstract:Formal methods are indispensable for ensuring dependability of complex software-intensive systems. In particular, the B Method and its recent extension Event B have been successfully used in the development of several complex safety-critical systems. However, they are currently not supporting quantitative assessment of dependability attributes that is often required for certifying safetycritical systems.. In this paper we demonstrate by example how to integrate reliability assessment into Event B development. This work shows how to conduct probabilistic assessment of system reliability at the development stage rather than at the implementation level.
Language:English
Keywords:Event-based modeling, reliability assessment, formal verification, Markov processes
Year:2009
No. of pages:10
Pages:11-20
Series:Linköping Electronic Conference Proceedings
ISSN (print):1650-3686
ISSN (online):1650-3740
File:http://www.ep.liu.se/ecp/041/002/ecp0941002.pdf
Available:2009-07-14
Publisher:Linköping University Electronic Press, Linköpings universitet

REFERENCE TO THIS PAGE
Anton Tarasyuk, Elena Troubitsyna, Linas Laibinis (2009). Reliability Assessment in Event-B Development, NODES 09: NOrdic workshop and doctoral symposium on DEpendability and Security, Linköping, Sweden, April 27, 2009 http://www.ep.liu.se/ecp_article/index.en.aspx?issue=041;article=002 (accessed 4/20/2014)