Model Based Diagnosis and Contexts in Self Adaptive Software.
Paul RobertsonRobert LaddagaPublished in: Self-star Properties in Complex Information Systems (2005)
Keyphrases
- model based diagnosis
- hardware designs
- model based reasoning
- diagnostic reasoning
- dynamic systems
- discrete event systems
- physical systems
- consistency based diagnosis
- fault localization
- software development
- software systems
- failure diagnosis
- diagnostic systems
- test cases
- case based reasoning
- repair actions
- knowledge base
- digital circuits
- software testing
- constraint satisfaction
- dynamical systems
- complex systems
- knowledge based systems
- computer systems
- multi agent systems