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 …

Automation systems within nuclear laboratories are intended to work under harsh operating
conditions. Selective Production of Exotic Species (SPES) is a nuclear research facility …

This paper presents a model-checking framework for the purpose of design and
implementation of robust smart grid applications based on distributed intelligence. The …

Automation of software development process has been a concern for a long time. Genetic
programming is a well-known technique which uses evolutionary computation to generate or …

This paper presents a method of formal modelling of IEC 61499 systems of Function Blocks
with Promela 1. The existing method of formal verification of IEC 61499 using SMV …

The protection system is a crucial part of the power grid. It protects people, equipment, and
property. Reliability of such mission critical systems is of an extreme importance. Protection …

Automation technologies employed in critical tasks within nuclear facilities provide clear
advantages in reducing staff exposure, but they also involve reliability challenges and safety …

Wired and wireless networking is becoming a necessary part of industrial control systems'
design and is one of the reasons that required a new cyber-physical approach to modelling …