Computer Based Support for Standards and Processes in Safety Critical Systems.
Stephen P. WilsonJohn Alexander McDermidP. M. KirkhamClive H. PygottDavid J. TombsPublished in: SAFECOMP (1997)
Keyphrases
- safety critical
- support systems
- safety analysis
- formal methods
- decision support system
- embedded systems
- decision making
- learning systems
- nuclear power plant
- software intensive systems
- information systems
- agent architecture
- distributed systems
- low cost
- computing environments
- fault tolerant
- software systems
- knowledge based systems
- decision makers
- knowledge management
- management system