skip to main content
10.1145/3348445.3351305acmotherconferencesArticle/Chapter ViewAbstractPublication PagesicccmConference Proceedingsconference-collections
research-article

Model-Driven approach to Integrate Requirements for Safety-Critical Systems

Published: 27 July 2019 Publication History

Abstract

A sophisticated approach is required to elicit requirements for Safety-Critical Systems (SCS). Incomplete, inconsistent or ambiguous requirements can result in many safety-critical catastrophes. While specifying a SCS, it is one of the greatest challenges to extract a complete set of consistent requirements. To overcome this problem, we have proposed a meta-model in this paper for integration of requirements which were specified using several representations to ensure the completeness of requirements. The idea is to use a database, for the integration of the extracted data that will implement the meta-model for the requirements. Problems like inconsistencies and ambiguities can be identified and solved according to the defined meta-model, which will help us in the development and testing phase and will minimize the project chaos. We have validated the proposed methodology with using insulin pump system case study. For the Requirement Engineering process of Safety-Critical Systems, the proposed approach is highly beneficial as final product will result in fewer defects, reduced development cost by avoiding rework, easy maintenance, increased satisfaction of the stakeholders and possibility of faster delivery of the safety critical system.

References

[1]
Lalit Kumar Singh, Gopika Vinod, A.K. Tripathi, April 2014, Design verification of instrumentation and control systems of NPP, IEEE Trans. Nucl. Sci. vol. 61, p.no. 921--930.
[2]
P. Singh, L.K. Singh, 2019, Design of safety critical and control systems of Nuclear Power Plants using Petri nets, Journal of "Nuclear Engineering and Technology".
[3]
Artho C., Formal Techniques for Safety-Critical Systems, 2019, Journal of "Science of Computer Programming", Elsevier, vol. 175, p. no. 35--36
[4]
Zheng B., Liang H., Wang Z., Zhu Q. (2019) Model-Based Software Synthesis for Safety-Critical Cyber-Physical Systems. In: Yu H., Li X., Murray R., Ramesh S., Tomlin C. (eds) Safe, Autonomous and Intelligent Vehicles. Unmanned System Technologies. Springer, Cham
[5]
Vilela, J., Castro, J., Martins, L. E. G., & Gorschek, T. (2017). Integration between requirements engineering and safety analysis: A systematic literature review. Journal of Systems and Software, 125, 68--92.
[6]
X. Li, Z. Liu, and J. He, "Consistency checking of UML requirements," Proceedings of the 10th IEEE International Conference on Engineering of Complex Computer Systems ICECC, 2005.
[7]
Z. Li, Z. Wang, A. Zhang, and Y. Xu, "The Domain Ontology and Domain Rules Based Requirements Model Checking," International Journal of Software Engineering and Its Applications, Vol. 1, No. 1, July 2007.
[8]
X. Zhu and J. Zhi, "Inconsistency Measurement of Software Requirements Specifications an Ontology-Based Approach," Proceedings of the 10th IEEE International Conference on engineering of Complex Computer Systems, 2005.
[9]
Kroha, P., Janetzko, R., & Labra, J. E. (2009, October). Ontologies in checking for inconsistency of requirements specification. In 2009 Third International Conference on Advances in Semantic Processing (pp. 32--37). IEEE.
[10]
Bendík, J. (2017, July). Consistency checking in requirements analysis. In Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis (pp. 408--411). ACM.
[11]
Jiří Barnat, Petr Bauch, Nikola Beneš, Luboš Brim, Jan Beran, and Tomáš Kratochvíla. 2016. Analysing sanity of requirements for avionics systems. Formal Aspects of Computing (2016). //dx.doi.org/10.1007/s00165-015-0348-9
[12]
Jiri Barnat, Petr Bauch, and Lubos Brim. 2012. Checking Sanity of Software Requirements. In SEFM (Lecture Notes in Computer Science), Vol. 7504. Springer, 48--62.
[13]
Martins, L. E. G., & Gorschek, T. (2016). Requirements engineering for safety-critical systems: A systematic literature review. Journal of Information and software technology, vol. 75, p.no. 71--89.
[14]
S. Yahya, M. Kamalrudin, S. Sidec, A review on tool supports for security requirements engineering, in: IEEE Conference on Open Systems, ICOS, 2013, pp. 190--194.
[15]
I. Iankoulova, M. Daneva, Cloud computing security requirements: a systematic review, in: Sixth International Conference on Research Challenges in In- formation Science (RCIS), 2011, pp. 1--7.
[16]
Martins, L. E., & Gorschek, T. (2017). Requirements engineering for safety-critical systems: overview and challenges. IEEE Software.
[17]
Rauh, A., Golubski, W., & Queins, S. (2017, April). A requirements meta-model to integrate information for the definition of system services. In 2017 IEEE Symposium on Service-Oriented System Engineering (SOSE) (pp. 96--101). IEEE.
[18]
J. Dörr, Elicitation of a complete set of non-functional requirements. Stuttgart: Fraunhofer-Verl, 2011.
[19]
B. Baudry, C. Nebut, and Y. Le Traon, "Model-Driven Engineering for Requirements Analysis," in 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007), p. 459.
[20]
K. Pohl, R. Achatz, H. Hönninger, and M. Broy, Model-based engineering of embedded systems: The SPES 2020 methodology. Berlin and New York: Springer, 2012.
[21]
J. H. Hausmann, R. Heckel, and G. Taentzer, "De-tection of conflicting functional requirements in a use case-driven approach," in the 24th international conference, p. 105.

Index Terms

  1. Model-Driven approach to Integrate Requirements for Safety-Critical Systems

    Recommendations

    Comments

    Information & Contributors

    Information

    Published In

    cover image ACM Other conferences
    ICCCM '19: Proceedings of the 7th International Conference on Computer and Communications Management
    July 2019
    260 pages
    ISBN:9781450371957
    DOI:10.1145/3348445
    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]

    In-Cooperation

    • Chongqing University of Posts and Telecommunications

    Publisher

    Association for Computing Machinery

    New York, NY, United States

    Publication History

    Published: 27 July 2019

    Permissions

    Request permissions for this article.

    Check for updates

    Author Tags

    1. Safety-Critical System (SCS)
    2. meta-model
    3. model-driven requirement engineering

    Qualifiers

    • Research-article
    • Research
    • Refereed limited

    Conference

    ICCCM 2019

    Contributors

    Other Metrics

    Bibliometrics & Citations

    Bibliometrics

    Article Metrics

    • 0
      Total Citations
    • 110
      Total Downloads
    • Downloads (Last 12 months)7
    • Downloads (Last 6 weeks)0
    Reflects downloads up to 10 Feb 2025

    Other Metrics

    Citations

    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