Efficient Root Cause Detection in Complex Embedded Systems with Abstract Model-based Diagnosis.
Takuro KutsunaShuichi SatoNaoya ChujoPublished in: J. Inf. Process. (2012)
Keyphrases
- embedded systems
- model based diagnosis
- root cause
- physical systems
- computing power
- dynamic systems
- embedded devices
- low cost
- diagnostic reasoning
- embedded software
- complex systems
- high level
- discrete event systems
- resource limited
- hw sw
- real time systems
- fault localization
- embedded real time systems
- consumer electronics
- decision making
- model based reasoning
- model checking
- software systems
- artificial intelligence
- field programmable gate array
- decision makers
- multi agent systems
- hardware designs