Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review
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 language | English |
---|---|
Title of host publication | Advances in Model and Data Engineering in the Digitalization Era - MEDI 2021 International Workshops |
Subtitle of host publication | DETECT, SIAS, CSMML, BIOC, HEDA, Proceedings |
Editors | Ladjel Bellatreche, George Chernishev, Antonio Corral, Samir Ouchani, Jüri Vain |
Publisher | Springer Nature |
Pages | 189-203 |
Number of pages | 15 |
ISBN (Print) | 9783030876562 |
DOIs | |
State | Published - 2021 |
Event | 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 Duration: 21 Jun 2021 → 23 Jun 2021 |
Name | Communications in Computer and Information Science |
---|---|
Volume | 1481 CCIS |
ISSN (Print) | 1865-0929 |
ISSN (Electronic) | 1865-0937 |
Conference | 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 |
---|---|
City | Virtual, Online |
Period | 21/06/21 → 23/06/21 |
ID: 88427575