ICARO
Safety Analysis of ICARO Cogenerative Plant
Project facts sheet
ICARO
- Start date: May 1st, 2001
- Duration: 12 months
- Funding scheme: Consulting activity funded by ENEA.
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.
Consortium
- Sapienza University of Rome (Italy)