A tool for requirements analysis of safety-critical cyber-physical systems
van den Berg,Freek Haverkort,Boudewijn R.
van den Berg,Freek
Haverkort,Boudewijn R.
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.
Description
Publisher Copyright: © Springer Nature Switzerland AG 2020. Copyright: Copyright 2020 Elsevier B.V., All rights reserved.
Date
2020
Journal Title
Journal ISSN
Volume Title
Publisher
Springer
Research Projects
Organizational Units
Journal Issue
Keywords
Domain-Specific Language, Negotiation, Requirement analysis, Safety-Critical Cyber-Physical System, Stakeholders, System designer, SDG 16 - Peace, Justice and Strong Institutions
Citation
van den Berg, F & Haverkort, B R 2020, A tool for requirements analysis of safety-critical cyber-physical systems. in H Hermanns & H Hermanns (eds), Measurement, Modelling and Evaluation of Computing Systems - 20th International GI/ITG Conference, MMB 2020, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 12040 LNCS, Springer, pp. 242-258, 20th International GI/ITG Conference on Measurement, Modelling and Evaluation of Computing Systems, MMB 2020, Saarbrücken, Germany, 16/03/20. https://doi.org/10.1007/978-3-030-43024-5_15