Reliability Assessment of Legacy Safety-Critical Systems Upgraded with Off-the-Shelf Components.

Published in: SAFECOMP (2002)

Keyphrases

safety critical
reliability assessment
formal methods
safety analysis
fault tolerant
distributed systems
embedded systems
support systems
building blocks
nuclear power plant
software components
adaptive systems
machine learning