A Framework for Integrating Requirements-Based Design and Diagnosis



Gregory Provan


Two key impediments for the commercial success of model-based diagnosis (MBD) include(a) a failure to integrate diagnostics modeling within the requirements and design phase, and(b) a high degree of diagnostic ambiguity during run-time. This article addresses both of these impediments by providing a formal framework that integrates requirements-based design with MBD modeling. The proposed framework extends the consistency-based theory of MBD with a requirements-based design theory based on contracts.

How to Cite

Provan, G. (2010). A Framework for Integrating Requirements-Based Design and Diagnosis. Annual Conference of the PHM Society, 2(2). https://doi.org/10.36001/phmconf.2010.v2i1.1942
Abstract 3 | PDF Downloads 1



model-based methods, PHM system design and engineering

( Abadi and Lamport, 1989 ) M. Abadi and L. Lam-port. Composing specifications. In Stepwise Refinement of Distributed Systems Models, Formalisms,

(Lee and Sangiovanni-Vincentelli, 1998 ) E.A. Lee and A. Sangiovanni-Vincentelli. A framework for comparing models of computation. IEEE Transactions on computer-aided design of integrated circuits and systems, 17(12):1217–1229, 1998.

( Leucker and Schallhart, 2009 ) M. Leucker andC. Schallhart. A brief account of runtime verification. Journal of Logic and Algebraic Programming, 78(5):293–303, 2009.

( Martin and Lamport, 1993 ) A. Martin and L. Lamport. Composing specifications. ACM Trans. Program. Lang. Syst, 15:73–132, 1993.

( Meyer et al., 2009 ) B. Meyer, A. Fiva, I. Ciupa,A. Leitner, Y. Wei, and E. Stapf. Programs that test themselves. Computer, 42(9):46–55, 2009.

( Reiter, 1987 ) Raymond Reiter. A theory of diagnosis from first principles. Artificial Intelligence, 32(1):57–95, 1987.

( Schaefer and Poetzsch-Heffter, 2009 ) I. Schaefer and A. Poetzsch-Heffter. Model-based Verification of Adaptive Embedded Systems under Environment Constraints. In 2nd Workshop on Adaptive and Reconfigurable Embedded Systems, 2009.

( Schneider and Trapp, 2010 ) D. Schneider andCorrectness, pages 1–41. Springer, 1989.M. Trapp. Conditional safety certificates in open systems. In Proceedings of the 1st Workshop on Critical Automotive applications: Robustness & Safety, pages 57–60. ACM, 2010.

( Benveniste et al., 2008 ) A. Benveniste, B. Caillaud,A. Ferrari, L. Mangeruca, R. Passerone, and C. Sofronis. Multiple viewpoint contract-based specification and design. In Intl. Symp on Formal Methods for Components and Objects, pages 200225, 2008.

( Bozzano et al., 2009 ) M. Bozzano, A. Cimatti,M. Roveri, J.P. Katoen, V.Y. Nguyen, and T. Noll. Codesign of dependable systems: a componentbased modeling language. In Proceedings of the 7th IEEE/ACM international conference on Formal Methods and Models for Codesign, pages 121–130. IEEE Press, 2009.

( de Kleer et al., 1992 ) Johan de Kleer, Alan Mackworth, and Raymond Reiter. Characterizing diagnoses and systems. Artificial Intelligence, 56(2-

( Slˆatten, 2010 ) V. Slˆatten. Model-Driven Engineering of Dependable Systems. In 2010 Third International Conference on Software Testing, Verification and Validation, pages 359–362. IEEE, 2010.
( Struss and Dressler, 1989 ) Peter Struss and Oskar Dressler. Physical negation: Integrating fault models into the general diagnosis engine. In Proc. IJCAI’89, pages 1318–1323, 1989.

( Sun et al., 2009 ) X. Sun, P. Nuzzo, C.C. Wu, and A. Sangiovanni-Vincentelli. Contract-based system-level composition of analog circuits. In Proceedings of the 46th Annual Design Automation Conference, pages 605–610. ACM, 2009.

( Wolforth et al., 2010 ) I. Wolforth, M. Walker,3):197–222, 1992.

( Giese et al., 2010 ) H. Giese, S. Henkler, andM. Hirsch. A multi-paradigm approach supporting the modular execution of reconfigurable hybrid systems. In Transactions of the Society for Modeling and Simulation International, 2010.

( Grunske et al., 2007 ) L. Grunske, R. Colvin, andK. Winter. Probabilistic model-checking support for FMEA. In Quantitative Evaluation of Systems (QEST 2007), pages 119–128, 2007.

( Hoare, 1969 ) CAR Hoare. An axiomatic basis for computer programming. Communications of the ACM, 12(10):576–580, 1969.

( Joshi and Heimdahl, 2007 ) A. Joshi and M.P.E. Heimdahl. Behavioral fault modeling for modelbased safety analysis. In 10th IEEE High Assurance Systems Engineering Symp.,, pages 199–208, 2007.

L. Grunske, and Y. Papadopoulos. Generalizable safety annotations for specification of failure patterns. Software: Practice and Experience, to appear, 2010.

( Zulkernine and Seviora, 2005 ) Mohammad Zulkernine and Rudolph Seviora. Towards automatic monitoring of component-based software systems. J. Syst. Softw., 74(1):15–24, 2005.
Technical Papers