-
Unified Functional Safety Assessment of Industrial Automation Systems
The IEC 61499 standard allows a model-based esign approach to build complex industrial automation systems. However, the existing design ow does not adequately address... -
Playing with probabilities in Reconfigurable Broadcast Networks
We study verification problems for a model of network with the following characteristics: the number of entities is parametric, communication is performed through...
