Improving System Reliability via Model Checking: The FSAP/NuSMV-SA Safety Analysis Platform
作者： Marco Bozzano , Adolfo Villafiorita
DOI: 10.1007/978-3-540-39878-3_5
关键词:
摘要: … The safety analysis capabilities provided by the platform include traditional fault … use of BDD data structures. The ordering analysis procedure described in Section 2.4 also makes use of …
springer.com
core.ac.uk
sci-hub.se 参考文章(42)
Jacques Devooght, Carol Smidts, Probabilistic Dynamics : The Mathematical and Computing Problems Ahead Springer, Berlin, Heidelberg. pp. 85- 100 ,(1994) , 10.1007/978-3-662-03041-7_7
M. Bozzano, Adolfo Villafiorita, Ove Åkerlund, Pierre Bieber, Christian Bougnol, Eckard Böde, Matthias Bretschneider, Antonella Cavallo, C Castel, M Cifaldi, Alessandro Cimatti, A Griffault, C Kehren, B Lawrence, A Lüdtke, S Metge, C Papadopoulos, R Passarello, T Peikenkamp, P Persson, C Seguin, L Trotta, L Valacca, Gabriele Zacco, ESACS: an integrated methodology for design and safety analysis of complex systems ,(2003)
C. Smidts, J. Devooght, Probabilistic Reactor Dynamics—II: A Monte Carlo Study of a Fast Reactor Transient Nuclear Science and Engineering. ,vol. 111, pp. 241- 256 ,(1992) , 10.13182/NSE92-A23938
Alessandro Cimatti, Edmund Clarke, Enrico Giunchiglia, Fausto Giunchiglia, Marco Pistore, Marco Roveri, Roberto Sebastiani, Armando Tacchella, NuSMV 2: An OpenSource Tool for Symbolic Model Checking computer aided verification. pp. 359- 364 ,(2002) , 10.1007/3-540-45657-0_29
P. Garbett, J. P. Parkes, M. Shackleton, S. Anderson, Secure Synthesis of Code: A Process Improvement Experiment formal methods. pp. 1816- 1835 ,(1999) , 10.1007/3-540-48118-4_46
Ioannis A. Papazoglou, Markovian Reliability Analysis of Dynamic Systems Springer, Berlin, Heidelberg. pp. 24- 43 ,(1994) , 10.1007/978-3-662-03041-7_3
Sérgio Vale Aguiar Campos, Kenneth L. McMillan, Edmund M. Clarke, Vassili Hartonas-Garmhausen, Symbolic Model Checking ,(1993)
A. Chiappini, A. Cimatti, C. Porzia, G. Rotondo, R. Sebastiani, P. Traverso, A. Villafiorita, Formal Specification and Development of a Safety-Critical Train Management System international conference on computer safety reliability and security. pp. 410- 419 ,(1999) , 10.1007/3-540-48249-0_35
Marco Bozzano, Antonella Cavallo, Massimo Cifaldi, Laura Valacca, Adolfo Villafiorita, Improving Safety Assessment of Complex Systems: An Industrial Case Study formal methods. pp. 208- 222 ,(2003) , 10.1007/978-3-540-45236-2_13
D. F. Haasl, N. H. Roberts, F. F. Goldberg, W. E. Vesely, Fault Tree Handbook ,(1987)