ICARO - Safety Analysis of ICARO Cogenerative Plant

Details
Category: Projects
Last Updated on Friday, 11 January 2013 09:36

Project Title: Safety Analysis of ICARO Cogenerative Plant

Project Acronym: ICARO

Funding Scheme: Consulting activity funded by ENEA.

Starting Date: May 2001

Project Duration in Months: 12

Univerisity of L'Aquila Unit Activity: The goal of this project is to devise methods and tools for the reliability analysis of complex hybrid systems such as the ICARO cogenerative plant at ENEA Casaccia (Italy). As an ENEA consultant our involvement in this project is that of modelling and verifying the ICARO control system using state of the art model checking techniques.

Project Consortium: 1) Univerisity of L'Aquila (Italy)