Two key impediments for the commercial success of modelbased 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 requirementsbased design theory based on contracts.
CITATION STYLE
Provan, G. (2015). A contracts-based framework for systems modeling and embedded diagnostics. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8938, pp. 131–143). Springer Verlag. https://doi.org/10.1007/978-3-319-15201-1_9
Mendeley helps you to discover research relevant for your work.