A systematic mapping of semi-formal and formal methods in requirements engineering of industrial cyber-physical systems

F Zahid, A Tanveer, MMY Kuo, R Sinha - Journal of Intelligent …, 2022 - Springer
The requirements engineering of Industrial Cyber-Physical Systems is extremely
challenging due to large system sizes, component heterogeneity, involvement of multi …

Discrete-event-based deterministic execution semantics with timestamps for industrial cyber-physical systems

W Dai, C Pang, V Vyatkin… - IEEE Transactions on …, 2017 - ieeexplore.ieee.org
Cyber-physical systems (CPSs) are becoming common in the industrial automation domain.
In industrial CPS, distributed programmable logic controllers collaborate to control …

A formal model of IEC 61499-based industrial automation architecture supporting time-aware computations

D Drozdov, V Dubinin, S Patil… - IEEE Open Journal of the …, 2021 - ieeexplore.ieee.org
This paper proposes a formal model for industrial cyber-physical systems (CPS) with
distributed control based on IEC 61499 standard and supporting time-aware computations …

Towards formal verification for cyber-physically agnostic software: A case study

D Drozdov, S Patil, V Dubinin… - IECON 2017-43rd Annual …, 2017 - ieeexplore.ieee.org
Cyber-physical agnosticism (CPA) is a property of software in cyber-physical systems (CPS)
to withstand various disturbances and keep maintaining the required behaviour of the …

The development of the cyberphysical system concept on base of the interdisciplinary theories

V Volkova, G Gorelova… - 2020 IEEE 2nd …, 2020 - ieeexplore.ieee.org
The analysis of the concept for the cyberphysical system (CPS) and the possibilities of its
development are presented. CPS, consisting of physical models in the form of complex …

Formal verification of observers supervising a cyber-physical system implemented using IEC 61499

P Ovsiannikova, E Le Priol, V Perret… - 2023 IEEE 32nd …, 2023 - ieeexplore.ieee.org
A rigorous check is a significant phase in the design process of control programs of safety-
critical cyber-physical systems. Here, we consider such programs to be implemented using …

Концепция киберфизической инженерии как способ применения теории киберфизических систем

ВВ Вяткин, ДН Дроздов, ЮА Голуб - Системный анализ в …, 2019 - cyberleninka.ru
В статье предлагается концепция киберфизической инженерии как продуктивного
способа применения научных результатов теории киберфизических систем …

Towards formal ASM semantics of timed control systems for industrial CPS

D Drozdov, S Patil, V Dubinin… - 2019 24th IEEE …, 2019 - ieeexplore.ieee.org
The growing need for smart and flexible systems in many areas of industry, such as
manufacturing, smart grids, building automation systems and others, has resulted in new …

Formal verification of IEC 61499 enhanced with timed events

V Shatrov, V Vyatkin - Technological Innovation for Life Improvement: 11th …, 2020 - Springer
Abstract Many applications of Cyber-Physical Systems (CPS) play a crucial role in shaping
the quality of life. The malfunction of such systems can lead to dangerous consequences …

Towards a new methodology for design, modelling, and verification of reconfigurable distributed control systems based on a new extension to the IEC 61499 standard

S Guellouz Ep Addad - 2021 - publikationen.sulb.uni-saarland.de
In order to meet user requirements and system environment changes, reconfigurable control
systems must dynamically adapt their structure and behaviour without disrupting system …