Timing Tolerances in Safety-Critical Software.

Alan Wassyng Mark Lawford Xiayong Hu

Published in: FM (2005)

Keyphrases

safety critical
fault tolerant
formal methods
safety analysis
embedded systems
nuclear power plant
agent architecture
support systems
regulatory requirements
adaptive systems
real time
artificial intelligence
user interface
source code
software development