Fault Grading Techniques of Software Test Libraries for Safety-Critical Applications.

Andrea Floridia Ernesto Sánchez Matteo Sonza Reorda

Published in: IEEE Access (2019)

Keyphrases

safety critical
nuclear power plant
fault tolerant
safety analysis
embedded systems
formal methods
agent architecture
fault model
support systems
adaptive systems
digital libraries
fault diagnosis
fault detection
regulatory requirements
software intensive systems
test suite
knowledge based systems
low cost