Parallel model-based diagnosis

1Citations
Citations of this article
5Readers
Mendeley users who have this article in their library.
Get full text

Abstract

Model-Based Diagnosis (MBD) is a general-purpose computational approach to determine why a system under observation, e.g., an electronic circuit or a software program, does not behave as expected. MBD approaches utilize knowledge about the system's expected behavior if all of its components work correctly. In case of an unexpected behavior they systematically explore the possible reasons, i.e., diagnoses, for the misbehavior. Such diagnoses are determined through systematic or heuristic search procedures which often use MBD-specific rules to prune the search space. In this chapter we review approaches that rely on parallel or distributed computations to speed up the diagnostic reasoning process. Specifically, we focus on recent parallelization strategies that exploit the capabilities of modern multi-core computer architectures and report results from experimental evaluations to shed light on the speedups that can be achieved by parallelization for various MBD applications.

Cite

CITATION STYLE

APA

Shchekotykhin, K., Jannach, D., & Schmitz, T. (2018). Parallel model-based diagnosis. In Handbook of Parallel Constraint Reasoning (pp. 547–580). Springer International Publishing. https://doi.org/10.1007/978-3-319-63516-3_14

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free