Automatic Analysis of a Safety Critical Tele Control System.

Edoardo Campagnano Ester Ciancamerla Michele Minichino Enrico Tronci

Published in: SAFECOMP (2005)

Keyphrases

automatic analysis
safety critical
control system
safety analysis
fault tolerant
formal methods
embedded systems
agent architecture
nuclear power plant
real time
fuzzy logic
regulatory requirements
support systems
adaptive systems
fuzzy control
symbolic model checking
low cost
software engineering