Deriving architectural flexibility requirements in safety-critical systems.

Zoë R. Stephenson John Alexander McDermid

Published in: IEE Proc. Softw. (2005)

Keyphrases

safety critical
regulatory requirements
formal methods
embedded systems
agent architecture
safety analysis
fault tolerant
support systems
adaptive systems
real time
multi agent
nuclear power plant
e learning
intelligent agents
software architecture