Safety analysis of autonomous excavator functionality.

Derek W. Seward Conrad Pace Richard Morrey Ian Sommerville

Published in: Reliab. Eng. Syst. Saf. (2000)

Keyphrases

safety analysis
nuclear power plant
control system
safety critical
symbolic model checking
fault model
reliability analysis
real time
cooperative
artificial intelligence
intelligent systems
orders of magnitude
model checking
embedded systems
learning capabilities
condition monitoring