2020 | OriginalPaper | Buchkapitel
A Tool for Requirements Analysis of Safety-Critical Cyber-Physical Systems
verfasst von : Freek van den Berg, Boudewijn R. Haverkort
Erschienen in: Measurement, Modelling and Evaluation of Computing Systems
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
Abstract
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.