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.

Original languageEnglish
Title of host publicationAdvances in Model and Data Engineering in the Digitalization Era - MEDI 2021 International Workshops
Subtitle of host publicationDETECT, SIAS, CSMML, BIOC, HEDA, Proceedings
EditorsLadjel Bellatreche, George Chernishev, Antonio Corral, Samir Ouchani, Jüri Vain
PublisherSpringer Nature
Pages189-203
Number of pages15
ISBN (Print)9783030876562
DOIs
StatePublished - 2021
Event10th 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
Duration: 21 Jun 202123 Jun 2021

Publication series

NameCommunications in Computer and Information Science
Volume1481 CCIS
ISSN (Print)1865-0929
ISSN (Electronic)1865-0937

Conference

Conference10th 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
CityVirtual, Online
Period21/06/2123/06/21

    Research areas

  • Formal semantics, Linear temporal logic, Requirement consistency, Requirement engineering

    Scopus subject areas

  • Computer Science(all)
  • Mathematics(all)

ID: 88427575