Modification of safety critical systems: an assessment of three approaches.

Tor Stålhane Kari Juul Wedde

Published in: Microprocess. Microsystems (1998)

Keyphrases

safety critical
formal methods
safety analysis
nuclear power plant
databases
fault tolerant
embedded systems
support systems
real time
agent architecture
intelligent systems
software intensive systems
knowledge based systems
distributed systems
adaptive systems
low cost
case based reasoning
machine learning