Programmable logic controllers (PLCs) are indispensable in critical infrastructures and
industrial control systems. The increasing demand for enhanced cost-effectiveness and …

In this paper we propose a method to derive OCL invariants from declarative model-to-
model transformations in order to enable their verification and analysis. For this purpose we …

Abstract Triple Graph Grammars (TGGs) are a technique for defining the correspondence
between two different types of models in a declarative way. The power of TGGs comes from …

Programmable Logic Controllers (PLCs) play a critical role in the industrial control systems.
Vulnerabilities in PLC programs might lead to attacks causing devastating consequences to …

Mechatronics is an engineering discipline integrating the fields of mechanical engineering,
electrical engineering and computer science. While the word" mechatronics" already has a …

In Model Driven Engineering (MDE), models are first-class citizens, and model
transformation is MDE's" heart and soul". Since model transformations are executed for a …

Within the Model-Driven Engineering paradigm, software development is based on the
definition of models providing different views of the system to be constructed and model …

Abstract Model transformation is a core mechanism for model-driven engineering (MDE).
Writing complex model transformations is error-prone, and efficient testing techniques are …

Abstract Model transformation design patterns have been proposed by a number of
researchers, but their usage appears to be sporadic and sometimes patterns are applied …

Abstract Architecture Analysis and Design Language (AADL) is an architecture description
language standard for embedded real-time systems widely used in the avionics and …