Formalization and Validation of Safety-Critical Requirements

Alessandro Cimatti Marco Roveri Angelo Susi Stefano Tonetta

Published in: FMA (2009)

Keyphrases

safety critical
regulatory requirements
formal methods
fault tolerant
agent architecture
nuclear power plant
safety analysis
embedded systems
support systems
real time
low cost
requirements engineering
information systems
control system