As systems have been and are becoming more and more complex, the task of quality
assurance is increasingly challenging. Model-based testing is a research field addressing …

GRAFCET is an advantageous modelling language for the specification of controllers in
discrete event systems. It allows for hierarchically structuring a control program's …

The graphical modeling language GRAFCET is used as a formal specification language in
industrial control design. To use these formal specifications for model-driven development of …

Grafcet standard (IEC60848) is a formalism used in the world of manufacturing control, at the
behavioral specification stage of a system. For specifying safe-critical systems, mathematical …

GRAFCET is a powerful graphical modelling language and an international standard to
specify the behavior of discrete event systems. One of the main advantages of GRAFCET …

Digital twins (DTs) are enablers for the fast optimization processes required in the Industry
4.0 context. Declarative equation-based modeling languages, in turn, enable the creation of …

The optimised design, operation and management of complex, large-size Cyber Physical
Systems (CPSs)–like modern manufacturing and logistic assets–calls for Digital Twins (DTs) …

The IEC 61499 standard provides an executable model for distributed control systems in
terms of interacting function blocks. However, the current IEC 61499 standard lacks …

This paper deals with teaching the first and only logic control course for 2 nd year students
(after the high school diploma) in computer science by using HOME I/O, the virtual house for …

Numerous theoretical results have been obtained in the field of conformance testing, a very
promising formal technique to improve dependability of critical systems. Nevertheless …