Generating evidence for certification of modern processors for use in safety-critical systems.

Iain Bate Philippa Conmy John Alexander McDermid

Published in: HASE (2000)

Keyphrases

safety critical
safety analysis
formal methods
nuclear power plant
fault tolerant
agent architecture
support systems
embedded systems
software intensive systems
real time
databases
intelligent systems
information systems
expert systems
database design