Dissemination

This page contains references and documents describing the FSAP/NuSMV-SA platform. For a list of the documents concerning the ESACS or ISAAC projects, please visit their respective web pages.

 

PUBLICATION DOWNLOAD
M.Bozzano, C.Jochim and F.Tapparo.

The FSAP/NuSMV-SA Safety Analysis Platform. (Demo presentation).

To be presented at ECAI 2006. Riva del Garda, Italy, August 28 - September 1 2006.

  • BibTex reference
R.Banach and M.Bozzano.

Retrenchment, and the Generation of Fault Trees for Static, Dynamic and Cyclic Systems.

To be presented at SAFECOMP 2006. Gdansk, Poland, September 26-29 2006. Please note that ©Springer-Verlag holds the copyright of this paper.

  • BibTex reference
M.Bozzano and A.Villafiorita.

The FSAP/NuSMV-SA Safety Analysis Platform.

To appear in International Journal on Software Tools for Technology Transfer, 2006. Please note that ©Springer-Verlag holds the copyright of this paper.

  • BibTex reference
O.Akerlund, P.Bieber, E.Boede, M.Bozzano, M.Bretschneider, C.Castel, A.Cavallo, M.Cifaldi, J.Gauthier, A.Griffault, O.Lisagor, A.Luedtke, S.Metge, C.Papadopoulos, T.Peikenkamp, L.Sagaspe, C.Seguin, H.Trivedi, and L.Valacca.

ISAAC, a framework for integrated safety analysis of functional, geometrical and human aspects.

In Proceedings of ERTS 2006. Toulouse, France, January 25-27, 2006.

  • BibTex reference
M. Bozzano & A. Villafiorita.

Improving System Reliability via Model Checking: the FSAP / NuSMV-SA Safety Analysis Platform.

In Proceedings of SAFECOMP 2003, pages 49-62, Edimburgh, Scotland, United Kingdom, September 23-26, 2003. Please note that ©Springer-Verlag holds the copyright of this paper.

This paper describes the FSAP/NuSMV-SA platform.

  • BibTex reference

M. Bozzano & A. Cavallo & M. Cifaldi & L. Valacca & A. Villafiorita.

Improving Safety Assessment of Complex Systems: An Industrial case study.

In Proceedings of FM 2003, pages 208-222, Pisa, Italy, September 8-14, 2003. Please note that ©Springer-Verlag holds the copyright of this paper.

This paper describes the ESACS methodology and platforms, and the SPS (Secondary Power System) case-study.

  • BibTex reference

 

M. Bozzano & A. Villafiorita & O. Åkerlund & P. Bieber & C. Bougnol & E. Böde & M. Bretschneider & A. Cavallo & C. Castel & M. Cifaldi & A. 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 & G. Zacco.

ESACS: an integrated methodology for design and safety analysis of complex systems.

In Proceedings of ESREL 2003, pages 237-245, Maastricht, The Netherlands, June 15-18, 2003. Please note that ©Balkema Publishers holds the copyright of this paper.

This paper describes the ESACS methodology and the ESACS platforms. It contains some references to the FSAP/NuSMV-SA platform.

  • BibTex reference

M. Bozzano & A. Villafiorita.

Integrating Fault Tree Analysis with Event Ordering Information

In Proceedings of ESREL 2003, pages 247-254, Maastricht, The Netherlands, June 15-18, 2003. Please note that ©Balkema Publishers holds the copyright of this paper.

This paper describes the ordering algorithm implemented in by the NuSMV-SA platform.

  • BibTex reference

 

Further references to publications from the ESACS project, can be found within the relevant page of the project website.

 

Last Update: $Date: 2008/02/11 17:08:57 $