Abstract | ||
---|---|---|
Safety assessment is a well-established process for assuring the safety and reliability of critical (aeronautical) systems. It uses probabilistic (quantitative) analysis to provide precise measures about the safety requirements of a system. Traditionally, quantitative safety assessment uses fault-tree analysis, but certification authorities also allow the use of Markov models. In this paper we propose a strategy for quantitative safety assessment based on the Prism model-checker. Prism models are extracted systematically from a high-level model via the application of translation rules. We illustrate our strategy with a representative system design from the airborne industry. |
Year | DOI | Venue |
---|---|---|
2010 | 10.1007/978-3-642-16558-0_50 | ISoLA (1) |
Keywords | Field | DocType |
markov model,safety requirement,probabilistic model checking,high-level model,prism model-checker,fault-tree analysis,systematic model-based safety assessment,airborne industry,quantitative safety assessment,certification authority,representative system design,safety assessment,prism,quantitative analysis,certificate authority,system design,markov analysis,fault tree analysis | Data mining,Computer science,Markov model,Markov chain,Systems design,Probabilistic logic,Certification,Probabilistic model checking | Conference |
Volume | ISSN | ISBN |
6415 | 0302-9743 | 3-642-16557-5 |
Citations | PageRank | References |
9 | 0.54 | 13 |
Authors | ||
5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Adriano Gomes | 1 | 20 | 1.46 |
Alexandre Cabral Mota | 2 | 199 | 18.27 |
Augusto Sampaio | 3 | 501 | 43.38 |
Felipe Ferri | 4 | 23 | 2.10 |
Julio Buzzi | 5 | 9 | 0.54 |