Reliability Modeling for Safety Critical Software.
Norman F. SchneidewindPublished in: Ada-Europe (1996)
Keyphrases
- safety critical
- formal methods
- embedded systems
- fault tolerant
- safety analysis
- nuclear power plant
- agent architecture
- support systems
- regulatory requirements
- real time
- software systems
- load balancing
- modeling language
- ambient intelligence
- adaptive systems
- reliability analysis
- software development
- decision making
- information systems
- software intensive systems
- artificial intelligence