Prediction of Undetected Faults in Safety-Critical Software.

Johan Sundell Richard Torkar Kristina Lundqvist Håkan Forsberg

Published in: ICST Workshops (2019)

Keyphrases

safety critical
formal methods
safety analysis
embedded systems
fault tolerant
agent architecture
nuclear power plant
regulatory requirements
adaptive systems
support systems
software intensive systems
fault model
fault diagnosis
real time
fault detection
low cost
formal specification
cooperative