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 …

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 …

This paper proposes Unified Modeling Language (UML) as modeling tool for distributed
control systems (DCSs) according to the IEC 61499 standard. The reason behind using this …

The increasing complexity of distributed automation systems requires new methods to verify
the correct functionality. Model-based verification is an established approach to test the …

The paper describes a methodological framework that aims to apply formal design and
verification techniques in the development of industrial control systems, with particular …

Challenges on safeguarding distributed automation systems arise due to their increasing
complexity and changeability. Functional changes in automation systems are mainly …

This paper discusses the issues related to the correctness of agile manufacturing systems
with distributed architectures. The corresponding development of software engineering …

We introduce a framework for formal modeling and validation of automation systems
destined to use by control engineers. The framework is based on a modeling formalism of …

In this paper we present the software tool VEDA for modelling and verification of distributed
control systems. The tool provides an integrated environment for formal, model-based …

The execution model in a new standard for distributed control systems, IEC 61499, is
analyzed. It is shown how the same standard compliant application running in two different …