skip to main content
10.1145/3266237.3266242acmotherconferencesArticle/Chapter ViewAbstractPublication PagessbesConference Proceedingsconference-collections
research-article

Safe-RE: a safety requirements metamodel based on industry safety standards

Published: 17 September 2018 Publication History

Abstract

Context: The development of Safety-Critical Systems (SCS) requires an adequate understanding of safety terms to avoid the specification of poor, incomplete or unclear safety requirements. However, there are some misunderstandings, mostly by requirements engineers, about the definition of such concepts. Hence, integration of safety concerns in the Requirements Engineering (RE) and a common nomenclature is necessary to improve the specification of these systems. Objective: To fill this gap, this paper presents Safe-RE, a safety requirements metamodel based on industry safety standards whose aim is to support the specification of safety-related concepts in the RE process. Method: We rely on safety standards as a basis for our work since companies must follow them to have their systems certified. Results: To illustrate the Safe-RE metamodel usage, we applied its concepts in an insulin infusion pump system. Conclusions: We hope that Safe-RE can contribute to improving the elicitation and specifications of such systems and therefore, reducing accidents and safety-related catastrophes. We also discuss some benefits we envision of using the metamodel, its limitations, and open issues.

References

[1]
Jéssyka Vilela, Jaelson Castro, Luiz Martins, Tony Gorschek, 2017. Integration between Requirements Engineering and Safety Analysis: A systematic literature review. In: Journal of Systems and Software, vol. 125, 68--92.
[2]
José de La Vara, Rajwinder Panesar-Walawege. 2013. Safetymet: A metamodel for safety standards. In: International Conference on Model Driven Engineering Languages and Systems. Springer Berlin Heidelberg, 69--86.
[3]
Hermann Kaindl, Roman Popp, David Raneburger. 2015. Towards reuse in safety risk analysis based on product line requirements. In: 23rd International Requirements Engineering Conference (RE), 241--246.
[4]
Ernst Sikora, Bastian Tenbergen, Klaus. Pohl. 2012. Industry needs and research directions in requirements engineering for embedded systems. In: Requirements Engineering, 17 (1), 57--78.
[5]
Muhammad Usman, Ricardo Britto, Jürgen Börstler, Emilia Mendes. 2017. Taxonomies in Software Engineering: A Systematic Mapping Study and a Revised Taxonomy Development Method. In: Information and Software Technology, 1--17.
[6]
Luiz Martins, Tiago de Oliveira. 2014. A case study using a protocol to derive safety functional requirements from Fault Tree Analysis. In International Requirements Engineering Conference (RE), 412--419.
[7]
European Corporation for Space Standardization. 2013. ECSS-E-HB-40A: Space engineering - software engineering handbook, ESA Requirements, and Standards Division.
[8]
Ian Sommerville. Software Engineering. 2011. 11 ed. Addison-Wesley.
[9]
Gregory Zoughbi, Lionel Briand, Yvan Labiche. 2011. Modeling safety and airworthiness (RTCA DO-178B) information: conceptual model and UML profile. Software & Systems Modeling, 10 (3), 337--367.
[10]
Geoffrey Biggs, Takeshi Sakamoto, Tetsuo. Kotoku. 2016. A profile and tool for modelling safety information with design information in SysML. In: Software & Systems Modeling, 15 (1), 147--178.
[11]
Javier Briones, Miguel de Miguel, Juan Silva, Alejandro Alonso. 2007. Application of safety analyses in model driven development. In: IFIP International Workshop on Software Technolgies for Embedded and Ubiquitous Systems. Springer Berlin Heidelberg, 93--104.
[12]
Jéssyka Vilela, Jaelson Castro, Luiz Martins, Tony Gorschek, Carla Silva. 2017. Specifying Safety Requirements with GORE languages. In: Proceedings of the 31st Brazilian Symposium on Software Engineering, 154--163.
[13]
ECORE. Available at: http://download.eclipse.org/modeling/emf/emf/javadoc/2.4.3/org/eclipse/emf/ecore/package-summary.html
[14]
Jiale Zhou, Kaj Hänninen, Yue Lu, Kristina Lundqvist, Luciana Provenzano. 2016. A Hazard Domain Ontology for Preliminary Hazard Analysis in Reuse Scenarios. Report - MRTC, Mälardalen Real-Time Research Centre, Mälardalen University. ISRN: MDH-MRTC-307/2016-1-SE.
[15]
Jéssyka Vilela, Jaelson Castro, Luiz Martins, Tony Gorschek 2018. Safety Practices in Requirements Engineering: The Uni-REPM Safety Module. In: IEEE Transactions on Software Engineering (in press).

Cited By

View all
  • (2024)Combining STPA with PF Requirements Analysis: Taking the Insulin Pump Problem as an Example2024 17th International Conference on Advanced Computer Theory and Engineering (ICACTE)10.1109/ICACTE62428.2024.10871520(19-24)Online publication date: 13-Sep-2024
  • (2024)Goal-Oriented Modeling of Safety-Critical SystemsSocial Modeling Using the i* Framework10.1007/978-3-031-72107-6_7(101-117)Online publication date: 1-Dec-2024
  • (2023)ARCADE: A Framework for Integrated Management of Safety Assurance Information2023 IEEE 31st International Requirements Engineering Conference (RE)10.1109/RE57278.2023.00038(293-298)Online publication date: Sep-2023
  • Show More Cited By

Index Terms

  1. Safe-RE: a safety requirements metamodel based on industry safety standards

    Recommendations

    Comments

    Information & Contributors

    Information

    Published In

    cover image ACM Other conferences
    SBES '18: Proceedings of the XXXII Brazilian Symposium on Software Engineering
    September 2018
    379 pages
    ISBN:9781450365031
    DOI:10.1145/3266237
    Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

    Publisher

    Association for Computing Machinery

    New York, NY, United States

    Publication History

    Published: 17 September 2018

    Permissions

    Request permissions for this article.

    Check for updates

    Author Tags

    1. metamodel
    2. requirements engineering
    3. safety analysis
    4. safety standard
    5. safety-critical systems

    Qualifiers

    • Research-article

    Funding Sources

    Conference

    SBES '18
    SBES '18: XXXII BRAZILIAN SYMPOSIUM ON SOFTWARE ENGINEERING
    September 17 - 21, 2018
    Sao Carlos, Brazil

    Acceptance Rates

    SBES '18 Paper Acceptance Rate 38 of 140 submissions, 27%;
    Overall Acceptance Rate 147 of 427 submissions, 34%

    Contributors

    Other Metrics

    Bibliometrics & Citations

    Bibliometrics

    Article Metrics

    • Downloads (Last 12 months)0
    • Downloads (Last 6 weeks)0
    Reflects downloads up to 12 Feb 2025

    Other Metrics

    Citations

    Cited By

    View all
    • (2024)Combining STPA with PF Requirements Analysis: Taking the Insulin Pump Problem as an Example2024 17th International Conference on Advanced Computer Theory and Engineering (ICACTE)10.1109/ICACTE62428.2024.10871520(19-24)Online publication date: 13-Sep-2024
    • (2024)Goal-Oriented Modeling of Safety-Critical SystemsSocial Modeling Using the i* Framework10.1007/978-3-031-72107-6_7(101-117)Online publication date: 1-Dec-2024
    • (2023)ARCADE: A Framework for Integrated Management of Safety Assurance Information2023 IEEE 31st International Requirements Engineering Conference (RE)10.1109/RE57278.2023.00038(293-298)Online publication date: Sep-2023
    • (2022)Model-based assurance evidence management for safety–critical systemsSoftware and Systems Modeling10.1007/s10270-021-00957-z21:6(2329-2365)Online publication date: 11-Jan-2022

    View Options

    Login options

    View options

    PDF

    View or Download as a PDF file.

    PDF

    eReader

    View online with eReader.

    eReader

    Figures

    Tables

    Media

    Share

    Share

    Share this Publication link

    Share on social media