Safecharts for Specifying and Designing Safety Critical Systems.

Hamdan Dammag Nimal Nissanke

Published in: SRDS (1999)

Keyphrases

safety critical
safety analysis
formal methods
fault tolerant
agent architecture
embedded systems
nuclear power plant
adaptive systems
intelligent systems
knowledge based systems
real time
artificial intelligence
user interface
support systems
regulatory requirements