@inbook{4f8a0b4507cc4186b980254d20f540a9,
title = "A contracts-based framework for systems modeling and embedded diagnostics",
abstract = "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.",
keywords = "Contracts, Model-based diagnostics, Systems modelling",
author = "Gregory Provan",
note = "Publisher Copyright: {\textcopyright} Springer International Publishing Switzerland 2015.; 12th International Conference on Software Engineering and Formal Methods, SEFM 2014 Collocated with 1st Workshop on Human-Oriented Formal Methods, HOFM 2014, 1st Workshop on Safety and Formal Methods, SaFoMe 2014, 8th International Workshop on Foundations and Techniques for Open Source Software Certification, OpenCert 2014, 3rd International Symposium on Modeling and Knowledge Management Applications, MoKMaSD 2014, 4th Workshop on Formal Methods in the Development of Software, WS-FMDS 2014 ; Conference date: 01-09-2014 Through 02-09-2014",
year = "2015",
doi = "10.1007/978-3-319-15201-1\_9",
language = "English",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "131--143",
editor = "Akram Idani and Carlos Canal",
booktitle = "Software Engineering and Formal Methods, SEFM 2014, Collocated Workshops",
address = "Germany",
}