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
model-based methods, PHM system design and engineering
(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 veriﬁcation. Journal of Logic and Algebraic Programming, 78(5):293–303, 2009.
( Martin and Lamport, 1993 ) A. Martin and L. Lamport. Composing speciﬁcations. 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 ﬁrst principles. Artiﬁcial Intelligence, 32(1):57–95, 1987.
( Schaefer and Poetzsch-Heffter, 2009 ) I. Schaefer and A. Poetzsch-Heffter. Model-based Veriﬁcation of Adaptive Embedded Systems under Environment Constraints. In 2nd Workshop on Adaptive and Reconﬁgurable Embedded Systems, 2009.
( Schneider and Trapp, 2010 ) D. Schneider andCorrectness, pages 1–41. Springer, 1989.M. Trapp. Conditional safety certiﬁcates 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 speciﬁcation 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. Artiﬁcial Intelligence, 56(2-
( Slˆatten, 2010 ) V. Slˆatten. Model-Driven Engineering of Dependable Systems. In 2010 Third International Conference on Software Testing, Veriﬁcation 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 reconﬁgurable 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 speciﬁcation 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.
The Prognostic and Health Management Society advocates open-access to scientific data and uses a Creative Commons license for publishing and distributing any papers. A Creative Commons license does not relinquish the author’s copyright; rather it allows them to share some of their rights with any member of the public under certain conditions whilst enjoying full legal protection. By submitting an article to the International Conference of the Prognostics and Health Management Society, the authors agree to be bound by the associated terms and conditions including the following:
As the author, you retain the copyright to your Work. By submitting your Work, you are granting anybody the right to copy, distribute and transmit your Work and to adapt your Work with proper attribution under the terms of the Creative Commons Attribution 3.0 United States license. You assign rights to the Prognostics and Health Management Society to publish and disseminate your Work through electronic and print media if it is accepted for publication. A license note citing the Creative Commons Attribution 3.0 United States License as shown below needs to be placed in the footnote on the first page of the article.
First Author et al. This is an open-access article distributed under the terms of the Creative Commons Attribution 3.0 United States License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original author and source are credited.