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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Baader, F., Horrocks, I., Sattler, U.: Description logics. In: Staab, S., Studer, R. (eds.) Handbook on Ontologies. International Handbooks on Information Systems, pp. 3–28. Springer (2004)
Bozzano, M., Villafiorita, A.: Design and Safety Assesment of Critical Systems. Auerbach Publications (2011)
BTC Embedded Systems: BTC Embedded Specifier, http://www.btc-es.de/index.php?idcatside=52 (last visited May 27, 2014)
Damm, W., Hungar, H., Henkler, S., Stierand, I., Josko, B., Oertel, M., Reinkemeier, P., Baumgart, A., Büker, M., Gezgin, T., Ehmen, G., Weber, R.: SPES2020 Architecture Modeling. Tech. rep., OFFIS e.V. (2011)
Hitzler, P., Krötzsch, M., Parsia, B., Patel-Schneider, P.F., Rudolph, S.: Owl 2 web ontology language primer. W3C Recommendation 27(1), 123 (2009)
International Standard Organization: Road Vehicles - Functional Safety (November 2011)
Lin, D.L.: Reliability characteristics for two subsystems in series or parallel or n subsystems in m_out_of_n arrangement. Tech. rep., Aurora Consulting Engineering LLC (2006), http://auroraconsultingengineering.com/doc_files/Reliability_series_parallel.doc
Llorens, J., Morato, J., Genova, G.: RSHP: an information representation model based on relationships. In: Damiani, E., Madravio, M., Jain, L. (eds.) Soft Computing in Software Engineering. STUDFUZZ, vol. 159, pp. 221–253. Springer, Heidelberg (2004)
Mitschke, A., Loughran, N., Josko, B., Oertel, M., Rehkop, P., Häusler, S., Benveniste, A.: RE Language Definitions to formalize multi-criteria requirements V2. Tech. rep., The CESAR Consortium (2010), http://cesarproject.eu/fileadmin/user_upload/CESAR_D_SP2_R2.2_M2_v1.000.pdf
Oertel, M., Mahdi, A., Böde, E., Rettberg, A.: Contract-based safety: Specification and application guidelines. In: Proceedings of the 1st International Workshop on Emerging Ideas and Trends in Engineering of Cyber-Physical Systems, EITEC 2014 (2014)
Rajan, A., Wahl, T. (eds.): CESAR - Cost-efficient Methods and Processes for Safety-relevant Embedded Systems, No. 978-3709113868. Springer (2013)
The Reuse Company: Requirements Quality Suite, http://www.reusecompany.com/requirements-quality-suite (last visited May 27, 2014)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
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. https://doi.org/10.1007/978-3-319-10557-4_14
Download citation
DOI: https://doi.org/10.1007/978-3-319-10557-4_14
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-10556-7
Online ISBN: 978-3-319-10557-4
eBook Packages: Computer ScienceComputer Science (R0)