MTBF Inconsistency Analysis on Inferred Product Breakdown Structures

  • Christian Ellen
  • Martin Böschen
  • Thomas Peikenkamp
Conference paper

DOI: 10.1007/978-3-319-10557-4_14

Part of the Lecture Notes in Computer Science book series (LNCS, volume 8696)
Cite this paper as:
Ellen C., Böschen M., Peikenkamp T. (2014) MTBF Inconsistency Analysis on Inferred Product Breakdown Structures. In: Bondavalli A., Ceccarelli A., Ortmeier F. (eds) Computer Safety, Reliability, and Security. SAFECOMP 2014. Lecture Notes in Computer Science, vol 8696. Springer, Cham

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.

Keywords

MTBF Analysis Ontology Requirements Engineering Verification 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer International Publishing Switzerland 2014

Authors and Affiliations

  • Christian Ellen
    • 1
  • Martin Böschen
    • 1
  • Thomas Peikenkamp
    • 1
  1. 1.OFFIS - Institute for Information TechnologyOldenburgGermany

Personalised recommendations