State-Event-Fault-Trees - A Safety Analysis Model for Software Controlled Systems.

Bernhard Kaiser Catharina Gramlich

Published in: SAFECOMP (2004)

Keyphrases

safety analysis
fault model
nuclear power plant
real time
safety critical
management system
intelligent systems
multi agent
formal methods
state space
metamodel
complex systems
partial information
fault detection
distributed systems
learning environment
artificial intelligence