Skip to main content

An Experimental Evaluation of the Understanding of Safety Compliance Needs with Models

  • Conference paper
  • First Online:
Conceptual Modeling (ER 2017)

Part of the book series: Lecture Notes in Computer Science ((LNISA,volume 10650))

Included in the following conference series:

Abstract

Context: Most safety-critical systems have to fulfil compliance needs specified in safety standards. These needs can be difficult to understand from the text of the standards, and the use of conceptual models has been proposed as a solution. Goal: We aim to evaluate the understanding of safety compliance needs with models. Method: We have conducted an experiment to study the effectiveness, efficiency, and perceived benefits in understanding these needs, with text of safety standards and with UML object diagrams. Results: Sixteen Bachelor students participated in the experiment. Their average effectiveness in understanding compliance needs and their average efficiency were higher with models (17% and 15%, respectively). However, the difference is not statistically significant. The students found benefits in using models, but on average they are undecided about their ease of understanding. Conclusions: Although the results are not conclusive enough, they suggest that the use of models could improve the understanding of safety compliance needs.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Institutional subscriptions

Notes

  1. 1.

    https://sites.google.com/site/jldelavara/material/msac2016.

References

  1. Abdulkhaleq, A, Wagner, S.: A controlled experiment for the empirical evaluation of safety analysis techniques for safety-critical software. In: EASE 2015, pp. 16:1–16:10 (2015)

    Google Scholar 

  2. Abrahão, S., et al.: Assessing the effectiveness of sequence diagrams in the comprehension of functional requirements. IEEE Trans. Softw. Eng. 39(3), 327–342 (2013)

    Article  Google Scholar 

  3. Ayora, C., et al.: Variability management in process families through change patterns. Inform. Softw. Tech. 74, 86–104 (2016)

    Article  Google Scholar 

  4. Briand, L., et al.: Traceability and SysML design slices to support safety inspections: a controlled experiment. ACM Trans. Softw. Eng. Meth. 23(1), 9:1–9:43 (2014)

    Article  Google Scholar 

  5. de la Vara, J.L., et al.: An industrial survey on safety evidence change impact analysis practice. IEEE Trans. Softw. Eng. 42(12), 1095–1117 (2016)

    Article  Google Scholar 

  6. de la Vara, J.L., et al.: Do models improve the understanding of safety compliance needs? Insights from a pilot experiment. In: ESEM, pp. 32:1–32:6 (2016)

    Google Scholar 

  7. de la Vara, J.L., et al.: Model-based specification of safety compliance needs for critical systems: a holistic generic metamodel. Inform. Softw. Tech. 72, 16–30 (2016)

    Article  Google Scholar 

  8. de la Vara, J.L., et al.: An analysis of safety evidence management with the structured assurance case metamodel. Comput. Stand. Interfaces 50, 179–198 (2017)

    Article  Google Scholar 

  9. De Lucia, A., et al.: An experimental comparison of ER and UML class diagrams for data modelling. Empir. Softw. Eng. 15(5), 455–492 (2010)

    Article  Google Scholar 

  10. ESA. Software engineering and standardisation (2006). http://www.esa.int/TEC/Software_engineering_and_standardisation/TECBUCUXBQE_0.html

  11. Labunets, K., et al.: An experimental comparison of two risk-based security methods. In: ESEM, pp 163–172 (2013)

    Google Scholar 

  12. Nair, S., et al.: An extended systematic literature review on provision of evidence for safety certification. Inform. Softw. Tech. 56(7), 689–717 (2014)

    Article  Google Scholar 

  13. Nair, S., et al.: Evidence management for compliance of critical systems with safety standards: a survey on the state of practice. Inform. Softw. Tech. 60, 1–15 (2015)

    Article  Google Scholar 

  14. Panesar-Walawege, R.K., et al.: Supporting the verification of compliance to safety standards via model-driven engineering. Inform. Softw. Tech. 55(5), 836–864 (2013)

    Article  Google Scholar 

  15. Razali, R., et al.: Experimental comparison of the comprehensibility of a UML-based formal specification versus a textual one. In: EASE (2007)

    Google Scholar 

  16. Salman, I., et al.: Are students representatives of professionals in software engineering experiments? In: ICSE (2015)

    Google Scholar 

  17. Sharafi, Z., et al.: An empirical study on the efficiency of graphical vs. textual representations in requirements comprehension. In: ICPC (2013)

    Google Scholar 

  18. Vegas, S., et al.: Crossover designs in software engineering experiments: benefits and perils. IEEE Trans. Softw. Eng. 42(2), 120–135 (2016)

    Article  Google Scholar 

  19. Wohlin, C., et al.: Experimentation in Software Engineering, 2nd edn. Springer, Heidelberg (2012)

    Book  Google Scholar 

Download references

Acknowledgments

The research leading to this paper has received funding from the AMASS project (H2020-ECSEL grant agreement no 692474; Spain’s MINECO ref. PCIN-2015-262) and the AMoDDI project (Ref. 11130583). We also thank the subjects that participated in the experiment.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Jose Luis de la Vara .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2017 Springer International Publishing AG

About this paper

Cite this paper

de la Vara, J.L., Marín, B., Ayora, C., Giachetti, G. (2017). An Experimental Evaluation of the Understanding of Safety Compliance Needs with Models. In: Mayr, H., Guizzardi, G., Ma, H., Pastor, O. (eds) Conceptual Modeling. ER 2017. Lecture Notes in Computer Science(), vol 10650. Springer, Cham. https://doi.org/10.1007/978-3-319-69904-2_20

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-69904-2_20

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-69903-5

  • Online ISBN: 978-3-319-69904-2

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics