IEC 61508 - A Suitable Bases for the Certification of Safety-Critical Transport-Infrastructure Systems??

Derek Fowler Phil Bennett

Published in: SAFECOMP (2000)

Keyphrases

safety critical
formal methods
safety analysis
software intensive systems
embedded systems
distributed systems
fault tolerant
building blocks
adaptive systems
nuclear power plant
agent architecture
software engineering
knowledge acquisition
decision support
intelligent systems