Towards Normal Design for Safety-Critical Systems.

Derek Mannering Jon G. Hall Lucia Rapanotti

Published in: FASE (2007)

Keyphrases

safety critical
formal methods
embedded systems
safety analysis
support systems
fault tolerant
nuclear power plant

agent architecture
building blocks
regulatory requirements
expert systems
design process
model checking

knowledge based systems
low cost
management system
information systems
real time
intelligent systems

distributed systems
modeling language
case based reasoning
adaptive systems
multi agent
case study