@incollection{Ellen2014mtbf,
Author = {Ellen, Christian and Böschen, Martin and Peikenkamp, Thomas},
Title = {MTBF Inconsistency Analysis on Inferred Product Breakdown Structures},

Year = {2014},
Pages = {108-118},
Editor = {Bondavalli, Andrea and Ceccarelli, Andrea and Ortmeier, Frank},
Publisher = {Springer International Publishing},
Series = {Lecture Notes in Computer Science},
Edition = {8696},
Booktitle = {Computer Safety, Reliability, and Security},
Doi = {10.1007/978-3-319-10557-4_14},
Url = {http://dx.doi.org/10.1007/978-3-319-10557-4_14},
type = {incollection},
note = {This article describes our current work on the combination of an ontology-based knowledge representation and formal analysis procedures. We use formalized system engineering knowledge and partial architectural information (induced by a set of requirements},
Abstract = {This article describes our current work on the combination of an ontology-based knowledge representation and formal analysis procedures. We use formalized system engineering knowledge and partial architectural information (induced by a set of requirements) to formalize natural language requirements and to identify inconsistencies based on this formalization. Our analysis combines requirements specified by patterns and an ontology-based product breakdown structure. As an example, we identify inconsistencies between Mean Time Between Failure (MTBF) specifications of systems and their subsystems.}
}
@COMMENT{Bibtex file generated on }