Functional safety analysis of safety-related systems using majority decision according to IEC 61508.
K. SuyamaPublished in: ECC (2003)
Keyphrases
- safety analysis
- safety critical
- control system
- nuclear power plant
- symbolic model checking
- fault model
- formal methods
- distributed systems
- embedded systems
- fault tolerant
- information systems
- multi agent systems
- decision making
- learning systems
- intelligent systems
- reliability analysis
- knowledge acquisition
- decision makers
- artificial intelligence