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)