A theory of diagnosis from first principles
Artificial Intelligence
KARDIO: a study in deep and qualitative knowledge for expert systems
KARDIO: a study in deep and qualitative knowledge for expert systems
An introduction to formal specification and Z
An introduction to formal specification and Z
Readings in model-based diagnosis
Readings in model-based diagnosis
What's in SD?: Towards a theory of modeling for diagnosis
Readings in model-based diagnosis
Programming from specifications (2nd ed.)
Programming from specifications (2nd ed.)
Reasoning about infinite computations
Information and Computation
Model-based diagnosis of communication protocols
Model-based diagnosis of communication protocols
IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
Diagnosis of large active systems
Artificial Intelligence
Automating first-order relational logic
SIGSOFT '00/FSE-8 Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering: twenty-first century applications
An axiomatic basis for computer programming
Communications of the ACM
Correctness-preserving program transformations
POPL '75 Proceedings of the 2nd ACM SIGACT-SIGPLAN symposium on Principles of programming languages
A Discipline of Programming
Refinement Calculus: A Systematic Introduction
Refinement Calculus: A Systematic Introduction
Process algebras for systems diagnosis
Artificial Intelligence
Modular Refinement and Model Building
AMAST '97 Proceedings of the 6th International Conference on Algebraic Methodology and Software Technology
Automating the Generation and Sequencing of Test Cases from Model-Based Specifications
FME '93 Proceedings of the First International Symposium of Formal Methods Europe on Industrial-Strength Formal Methods
Testing Software Design Modeled by Finite-State Machines
IEEE Transactions on Software Engineering
| Hi-index | 0.00 |
Monitoring and fault diagnosis are core management tasks for deployed industrial systems. Diagnostic reasoning is closely related to reasoning about implementation correctness. A framework to support the integration of both reasoning tasks is introduced. Many well known formal methods for stepwise program refinement are shown to be compatible with the framework. Compatibility is achieved by treating a formal development as a hierarchical model of the implemented system and then adapting model-based reasoning techniques.