A tool for requirements analysis of safety-critical cyber-physical systems

Freek van den Berg*, Boudewijn R. Haverkort

*Corresponding author for this work

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    Abstract

    One of the key challenges in the design of a Safety-Critical Cyber-Physical Systems is Requirements Analysis. Current Requirements Analysis approaches range from informal, human-centered ones that are hard to automate, to formal approaches that often lack freedom of expression. Furthermore, most approaches are general-purpose and do not focus on a particular domain, which makes identifying the specific requirements of a given domain less trivial. To overcome these challenges, this paper presents aDSL, a Domain-Specific Language and toolset for Requirement Analysis of Safety-Critical Cyber-Physical Systems. The approach comprises a mixture of informal and formal elements to enable both automation and freedom of expression; a number of stakeholders introduce and negotiate about their requirements. The aDSL language is used to precisely, concisely and unambiguously describe all such requirements. We have validated aDSL, using simulation techniques and actors that represent the stakeholders, on a case in the agro-machines domain. The proposed approach allows the discovery of requirements in a semi-automatic way.

    Original languageEnglish
    Title of host publicationMeasurement, Modelling and Evaluation of Computing Systems - 20th International GI/ITG Conference, MMB 2020, Proceedings
    EditorsHolger Hermanns, Holger Hermanns
    PublisherSpringer
    Pages242-258
    Number of pages17
    ISBN (Print)9783030430238
    DOIs
    Publication statusPublished - 2020
    Event20th International GI/ITG Conference on Measurement, Modelling and Evaluation of Computing Systems, MMB 2020 - Saarbrücken, Germany
    Duration: 16 Mar 202018 Mar 2020

    Publication series

    NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
    Volume12040 LNCS
    ISSN (Print)0302-9743
    ISSN (Electronic)1611-3349

    Conference

    Conference20th International GI/ITG Conference on Measurement, Modelling and Evaluation of Computing Systems, MMB 2020
    Country/TerritoryGermany
    CitySaarbrücken
    Period16/03/2018/03/20

    Keywords

    • Domain-Specific Language
    • Negotiation
    • Requirement analysis
    • Safety-Critical Cyber-Physical System
    • Stakeholders
    • System designer

    Fingerprint

    Dive into the research topics of 'A tool for requirements analysis of safety-critical cyber-physical systems'. Together they form a unique fingerprint.

    Cite this