Assessing COTS software in a certifiable safety-critical domain.
Ernst KesselerPublished in: Inf. Syst. J. (2008)
Keyphrases
- safety critical
- formal methods
- embedded systems
- fault tolerant
- nuclear power plant
- safety analysis
- agent architecture
- software components
- regulatory requirements
- domain independent
- software systems
- domain specific
- support systems
- adaptive systems
- third party
- software intensive systems
- expert systems
- information systems
- ambient intelligence
- knowledge based systems
- decision support
- case based reasoning
- multi agent