Distributed software architecture enabling peer-to-peer communicating controllers
J Yan, V Vyatkin - IEEE Transactions on Industrial Informatics, 2013 - ieeexplore.ieee.org
This paper presents a novel model-driven software architecture for systems with high degree
of redundancy and modularity of the equipment. The architecture is based on totally …
of redundancy and modularity of the equipment. The architecture is based on totally …
Behavioral type-based monitoring for IEC 61499
We present work on extending IEC 61499 with behavioral types-based specifications.
Identifying components and establishing interface specifications is already a key concept of …
Identifying components and establishing interface specifications is already a key concept of …
A design pattern for monitoring adapter connections in IEC 61499
Today's software developments are frequently structured into different components with well
defined interfaces. IEC 61499 comes with well defined interface mechanisms such as …
defined interfaces. IEC 61499 comes with well defined interface mechanisms such as …
Unified functional safety assessment of industrial automation systems
The IEC 61499 standard enables the model-based design of complex industrial automation
systems, in which a model of the controlled physical processes called a plant, is …
systems, in which a model of the controlled physical processes called a plant, is …
Argo NodeOS: Toward unified resource management for exascale
Exascale systems are expected to feature hundreds of thousands of compute nodes with
hundreds of hardware threads and complex memory hierarchies with a mix of on-package …
hundreds of hardware threads and complex memory hierarchies with a mix of on-package …
A scalable approach for re-configuring evolving industrial control systems
We present a scalable approach to automatically re-configure evolving IEC 61499 systems
for deployment onto an available set of resources. We capture system architecture and high …
for deployment onto an available set of resources. We capture system architecture and high …
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 …
critical cyber-physical systems. Here, we consider such programs to be implemented using …
Virtual traffic lights+ a robust, practical, and functionally safe intelligent transportation system
The latest advancements in intelligent transportation systems (ITSs) increasingly rely on
wireless vehicle-to-vehicle (VTV) and vehicle-to-infrastructure (VTI) communications to …
wireless vehicle-to-vehicle (VTV) and vehicle-to-infrastructure (VTI) communications to …
Cloud based monitoring of timed events for industrial automation
This paper presents ideas towards automatic monitoring of industrial automation devices by
using a cloud based monitoring infrastructure. We are in particular aiming at fine grained …
using a cloud based monitoring infrastructure. We are in particular aiming at fine grained …
Remote monitoring infrastructure for IEC 61499 based control software
In this paper, we present our work on monitoring of control software behavior for PLCs. In
particular, we are looking at IEC 61499-based software specifications. Monitoring is done …
particular, we are looking at IEC 61499-based software specifications. Monitoring is done …