Creating Safety Requirements Traceability for Assuring and Recertifying Legacy Safety-Critical Systems.

Janice Hill Scott R. Tilley

Published in: RE (2010)

Keyphrases

safety critical
safety analysis
formal methods
regulatory requirements
nuclear power plant
embedded systems
fault tolerant
support systems
agent architecture
adaptive systems
legacy systems
life cycle
machine learning
reverse engineering
context aware
software engineering
user interface