Requirement traceability in safety critical systems.

Marie-Agnès Peraldi-Frati Arnaud Albinet

Published in: EDCC-CARS (2010)

Keyphrases

safety critical
fault tolerant
formal methods
safety analysis
embedded systems
nuclear power plant
support systems
information systems
expert systems
distributed systems
agent architecture
real time
user interface
intelligent systems