Error analysis and reliability metrics for software in safety critical systems.

Jonathan Lockhart Carla Purdy Philip A. Wilsey

Published in: MWSCAS (2016)

Keyphrases

safety critical
error analysis
formal methods
embedded systems
safety analysis
fault tolerant
support systems
agent architecture
nuclear power plant
least squares
software intensive systems
error correction
recommender systems
intelligent agents
medical data
regulatory requirements