TY - GEN
T1 - A tool for requirements analysis of safety-critical cyber-physical systems
AU - van den Berg, Freek
AU - Haverkort, Boudewijn R.
N1 - Publisher Copyright:
© Springer Nature Switzerland AG 2020.
Copyright:
Copyright 2020 Elsevier B.V., All rights reserved.
PY - 2020
Y1 - 2020
N2 - 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.
AB - 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.
KW - Domain-Specific Language
KW - Negotiation
KW - Requirement analysis
KW - Safety-Critical Cyber-Physical System
KW - Stakeholders
KW - System designer
UR - http://www.scopus.com/inward/record.url?scp=85082340848&partnerID=8YFLogxK
U2 - 10.1007/978-3-030-43024-5_15
DO - 10.1007/978-3-030-43024-5_15
M3 - Conference contribution
AN - SCOPUS:85082340848
SN - 9783030430238
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 242
EP - 258
BT - Measurement, Modelling and Evaluation of Computing Systems - 20th International GI/ITG Conference, MMB 2020, Proceedings
A2 - Hermanns, Holger
A2 - Hermanns, Holger
PB - Springer
T2 - 20th International GI/ITG Conference on Measurement, Modelling and Evaluation of Computing Systems, MMB 2020
Y2 - 16 March 2020 through 18 March 2020
ER -