Graphically notated fault modeling and safety analysis in the context of electric and electronic architecture development and functional safety.
Nico AdlerMartin HillenbrandKlaus D. Müller-GlaserEduard MetzkerClemens ReichmannPublished in: RSP (2012)
Keyphrases
- safety analysis
- safety critical
- nuclear power plant
- fault model
- formal methods
- fault tolerant
- control system
- support systems
- agent architecture
- embedded systems
- real time
- modeling language
- condition monitoring
- information systems
- symbolic model checking
- development process
- fault detection
- context awareness
- context aware
- decision support system
- software engineering
- artificial intelligence
- neural network