Use of Modern Processors in Safety-Critical Applications.

Iain Bate Philippa Conmy Tim Kelly John Alexander McDermid

Published in: Comput. J. (2001)

Keyphrases

safety critical
formal methods
fault tolerant
safety analysis
embedded systems
nuclear power plant
agent architecture
support systems
regulatory requirements
real time
cooperative
medical images
learning systems
adaptive systems
knowledge base