Dynamic Configuration for Distributed Systems
IEEE Transactions on Software Engineering
Challenges in Software Evolution
IWPSE '05 Proceedings of the Eighth International Workshop on Principles of Software Evolution
A reconfigurable concurrent function block model and its implementation in real-time Java
Integrated Computer-Aided Engineering
Using visual specifications in verification of industrial automation controllers
EURASIP Journal on Embedded Systems - Embedded System Design in Intelligent Industrial Automation
Zero Downtime Reconfiguration of Distributed Automation Systems: The εCEDAC Approach
HoloMAS '07 Proceedings of the 3rd international conference on Industrial Applications of Holonic and Multi-Agent Systems: Holonic and Multi-Agent Systems for Manufacturing
Real-Time Execution for IEC 61499
Real-Time Execution for IEC 61499
IEC 61499 Function Blocks for Embedded and Distributed Control Systems Design
IEC 61499 Function Blocks for Embedded and Distributed Control Systems Design
IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews
Hi-index | 0.00 |
This article presents a new formal approach to validation of on-the-fly modification of control software in automation systems. The concept of downtimeless system evolution (DSE) is introduced. The DSE is essentially based on the use of IEC 61499 system architecture and formal modeling and verification of the hardware and software of an automation device. The validation is performed by means of two complimentary techniques: analytic calculations and formal verification by model-checking.