Embedded logic controllers specification is the first step in development process. Possible
errors in this phase [1] may influence oncoming phases or even the whole venture. Usually …

This paper describes the results of an experimental study on the use of model checkers to
verify properties of UML activity diagrams. The motivation for the study derives from the …

The article presents a novel approach to model checking of UML activity diagrams (in
version 2. x) for logic controller specification. A novel idea to design embedded systems by …

Petri nets have become a tremendously important mathematical and graphical tool in
modeling and performance evaluation of real systems with discrete events that are …

Modelling of hardware behavior is the fundamental process of hardware design project.
Possible specification techniques, like UML 2. x Activity Diagrams or Control Interpreted …

The paper presents an original approach to model checking of Control Interpreted Petri
Nets. Petri Nets are currently used in the industry, but they are mostly verified only for …

Control algorithms for programmable logic controllers are still developed based on the
experience of those responsible for control in the industry. The IEC-61131-3 standard …

Automated systems based on programmable logic controllers (PLC) are still applied in
discrete event systems (DES) for controlling and monitoring of industrial processes signals …

This paper presents a novel approach for modeling, automated analysis and verification of
fault tolerance in Ladder Logic (LL) programs for Programmable Logic Controllers (PLCs) …

In this project we propose a new software framework for the development of context-aware
and secure controlling software of distributed reconfigurable systems. Context-awareness is …