@incollectionEllen2014mtbf, 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.} @COMMENTBibtex file generated on