In this paper a new modelling approach is presented to be used for formal-verification of
block-diagram executable specifications of distributed industrial cyber-physical systems …

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 …

This paper deals with further development of a graphical specification language resembling
timing-diagrams and allowing specification of partially ordered events in input and output …

The IEC 61499 standard has become one of the key approaches to building distributed
component-based control systems in industrial automation. The problem of adoption of this …

This paper describes formal modeling and verification of automation systems from the
system engineering point of view. Reuse of model components is the key issue in order to …

Industrial automation is currently on the cusp to the application of distributed systems based
on distributed intelligence enabling distributed decision making within control. As one main …

This paper proposes a framework for formal verification of industrial automation software in
an intuitive way. The IEC 61499 function block architecture is assumed to be the input …

This paper deals with further development of the timing-diagram based specification
language destined for application in modular modeling of industrial automation systems …

This paper introduces an idea of a validatable architecture for software intensive industrial
automation systems. The validation means will be provided through the formal modeling of …

Cyber-physical systems are spread among multiple domains of human activity. Their
behavior should be strictly validated as most of them are critical. One perspective direction of …