Operational anomalies as a cause of safety-critical requirements evolution.

Robyn R. Lutz Ines Carmen Mikulski

Published in: J. Syst. Softw. (2003)

Keyphrases

safety critical
regulatory requirements
formal methods
safety analysis
nuclear power plant
fault tolerant
embedded systems
decision making
support systems
agent architecture
adaptive systems
artificial intelligence
computational intelligence