Advertisement

A Semantic Driven Approach for Consistency Verification Between Requirements and FMEA

  • Gabriella GiganteEmail author
  • Francesco Gargiulo
  • Massimo Ficco
  • Domenico Pascarella
Conference paper
Part of the Studies in Computational Intelligence book series (SCI, volume 616)

Abstract

Consistency within the system life cycle is difficult to guarantee, due to the cross of different skills and requirements, often expressed by means of different languages. In particular, in safety-critical systems consistency between software requirements and safety analysis requires checks to guarantee that safety engineer needs are feasible and implemented by the system. Failure Mode and Effects Analysis (FMEA) is a systematic technique to analyze the failure modes of components, evaluating their impact and their mitigation actions, which are procedures to be implemented by operators or by the system itself (usually by the software). Although the actual efforts to centralize system information in a structured way, safety analysis is not tied in a structured manner to other systems, in particular to software. This paper proposes an automatic approach to check consistency between FMEA and software requirements with a bit effort of formalization. The approach models FMEA and software requirements with Resource Description Framework (RDF) triplets and checks their consistency on the basis of consistency rules.

Keywords

Requirements engineering Requirements verification Consistency RDF Semantic distances Ontologies 

Notes

Acknowledgments

This work has been partially supported by EU with the project CRYSTAL (SP1-JTI-ARTEMIS-2012-AIPP1-332830).

References

  1. 1.
    Wu, Z., Palmer, M.: Verbs semantics and lexical selection. In: Proceedings of the 32nd annual meeting on Association for Computational Linguistics, pp. 133–138 (1998)Google Scholar
  2. 2.
    Nuseibeh, B., Russo, A.: Completeness in formal specification language design for process-control systems. In Proceedings of the 3rd Workshop on Formal Methods in Software Practice, pp. 75–87 (2000)Google Scholar
  3. 3.
    Nuseibeh, B., Easterbrook, S., Russo, A.: Leveraging Inconsistency in Software development. IEEE Comput. 33(4), 24–29 (2000)CrossRefGoogle Scholar
  4. 4.
    Mens, T., Van Der Straeten, R., Simmonds, J.: A Framework for Managing Consistency of Evolving UML Models. http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.130.9786 (2005)
  5. 5.
    Kroha, P., Gayo, L.: Using semantic web technology in requirements specifications. ChemnitzerInformatik-Berichte CSR-08-02, ISSN 0947-5125, TU Chemnitz (2008)Google Scholar
  6. 6.
    Ficco, M., Daidone, A., Coppolino, L., Romano, L., Bondavalli, A.: An event correlation approach for fault diagnosis in SCADA infrastructures. In: Proceedings of the 13th European Workshop on Dependable Computing, May 2011, pp. 15–20 (2011)Google Scholar
  7. 7.
    Wordnet search 3.1. http://wordnet.princeton.edu/
  8. 8.
    Liu, X.Y., Zhou, Y.M., Zheng, R.S.: Measuring semantic similarity in WordNet. In: Proceedings of the IEEE International Conference on Machine Learning and Cybernetics, vol. 6, August 2007, pp. 3431–3435 (2007)Google Scholar
  9. 9.
    ISO, ISO 26262 Road vehicles Functional Safety, Part 1–10 (2011)Google Scholar
  10. 10.
    ECSS-E-40C, Safety Space Product Assurance, ECSS Secretariat ESA-ESTEC Re-quirements & Standards Division Noordwijk, The Netherlands, 6 March 2009Google Scholar
  11. 11.
    Zazzaro, G., Gigante, G., Zaccariello, E., Ficco, M., Di Martino, B.: Supporting development of certified aeronautical components by applying text analysis techniques. In: Proceedings of the 8th International Conference on Complex, Intelligent and Software Intensive Systems, pp. 602–607 (2014)Google Scholar
  12. 12.
    Ficco, M., Avolio, G., Battaglia, L., Manetti, V.: Hybrid simulation of distributed large-scale critical infrastructures. In: Proceedings of the International Conference on Intelligent Networking and Collaborative Systems, September 2014, pp. 616–621 (2014)Google Scholar
  13. 13.
    Höfig, A., Zeller, M., Grunske, L.: MetaFMEA-A framework for reusable FMEAs. In: Proceedings of the 4th International Symposium on Model-Based Safety and Assessment, pp. 110–122 (2014)Google Scholar
  14. 14.
    Gigante, G., Gargiulo, F., Ficco, M.: A semantic driven approach for requirements consistency verification. Intell. Distrib. Comput. VIII 570, 427–436 (2015)Google Scholar
  15. 15.
    Gribaudo, M., Iacono, M.: An introduction to multiformalism modeling. In: Theory and Application of Multi-Formalism Modeling, pp. 314–329 (2013)Google Scholar

Copyright information

© Springer International Publishing Switzerland 2016

Authors and Affiliations

  • Gabriella Gigante
    • 1
    Email author
  • Francesco Gargiulo
    • 1
  • Massimo Ficco
    • 2
  • Domenico Pascarella
    • 1
  1. 1.CIRA (Italian Aerospace Research Centre)CapuaItaly
  2. 2.Department of Industrial and Information EngineeringSecond University of NaplesAversaItaly

Personalised recommendations