Quantitative evaluation of safety critical software testability based on fault tree analysis and entropy.
SeDo SohnPoongHyun SeongPublished in: J. Syst. Softw. (2004)
Keyphrases
- quantitative evaluation
- safety critical
- formal methods
- fault tolerant
- embedded systems
- safety analysis
- ground truth
- agent architecture
- qualitative evaluation
- fault tree analysis
- support systems
- fuzzy numbers
- artificial intelligence
- software systems
- adaptive systems
- quality assessment
- intelligent agents
- learning systems
- multi agent
- knowledge base
- databases