Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование
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 июн 2021 → 23 июн 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/21 → 23/06/21 |
ID: 88427575