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. © 2014 Springer International Publishing.
Author supplied keywords
Cite
CITATION STYLE
Ellen, C., Böschen, M., & Peikenkamp, T. (2014). MTBF inconsistency analysis on inferred product breakdown structures. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8696 LNCS, pp. 108–118). Springer Verlag. https://doi.org/10.1007/978-3-319-10557-4_14
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
