MTBF Inconsistency Analysis on Inferred Product Breakdown Structures

BIB
Ellen, Christian and Böschen, Martin and Peikenkamp, Thomas
Computer Safety, Reliability, and Security
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.
2014
incollection
Springer International Publishing
Lecture Notes in Computer Science
108-118
CRYSTAL
Critical System Engineering Acceleration
Bondavalli, Andrea and Ceccarelli, Andrea and Ortmeier, Frank
8696