DOI

In this paper, we propose an approach to checking consistency of control software requirements described using pattern-based notation. This approach can be used at the beginning of control software verification to effectively identify contradicting and incompatible requirements. In this framework, we use pattern-based Event-Driven Temporal Logic (EDTL) to formalize the requirements. A set of requirements is represented as a set of EDTL-patterns which formal semantics defined by formulas of linear-time temporal logic LTL. Based on this semantics, we define the notion of requirement inconsistency and describe restrictions on the values of pattern attributes which make requirements inconsistent. Checking algorithm takes as an input pairs of requirements and compare their attributes. Its output is sets of consistent, inconsistent and incomparable requirements.

Язык оригиналаанглийский
Название основной публикацииAdvances in Model and Data Engineering in the Digitalization Era - MEDI 2021 International Workshops
Подзаголовок основной публикацииDETECT, SIAS, CSMML, BIOC, HEDA, Proceedings
РедакторыLadjel Bellatreche, George Chernishev, Antonio Corral, Samir Ouchani, Jüri Vain
ИздательSpringer Nature
Страницы189-203
Число страниц15
ISBN (печатное издание)9783030876562
DOI
СостояниеОпубликовано - 2021
Событие10th International Conference on New Trends in Model and Data Engineering, MEDI 2021 held with 4th International Workshop on Modeling, Verification and Testing of Dependable Critical Systems, DETECT 2021, Symposium on Intelligent and Autonomous Systems, SIAS 2021, 1st Workshop on Control Software: Methods, Models, and Languages, CSMML 2021, Workshop on Blockchain for Inter-Organizational Collaboration, BIOC 2021 and 1st International Health Data Workshop, HEDA 2021 - Virtual, Online
Продолжительность: 21 июн 202123 июн 2021

Серия публикаций

НазваниеCommunications in Computer and Information Science
Том1481 CCIS
ISSN (печатное издание)1865-0929
ISSN (электронное издание)1865-0937

конференция

конференция10th International Conference on New Trends in Model and Data Engineering, MEDI 2021 held with 4th International Workshop on Modeling, Verification and Testing of Dependable Critical Systems, DETECT 2021, Symposium on Intelligent and Autonomous Systems, SIAS 2021, 1st Workshop on Control Software: Methods, Models, and Languages, CSMML 2021, Workshop on Blockchain for Inter-Organizational Collaboration, BIOC 2021 and 1st International Health Data Workshop, HEDA 2021
ГородVirtual, Online
Период21/06/2123/06/21

    Предметные области Scopus

  • Компьютерные науки (все)
  • Математика (все)

ID: 88427575