Tomáš Richta: Dynamic Software Architecture for Distrubuted Control Systems

Presentation will focus on reporting actual results of our research in the field of dynamically reconfigurable embedded systems construction process based on formal models, namely variants of Petri Nets. System specification is represented by a set of Workflow Nets transformed into decomposed multi-layered Reference Nets model, that is used during the generation of interpretable target system components representation. The main objective of presented approach is the introduction of dynamic reconfigurability features into the target system reflecting changes in system specification during its run-time. Reconfigurability is achieved by the system decomposition into smaller interpretable pieces of computation that are installed on and performed by the underlying infrastructure. Introduced approach brings several layers of reconfigurability through a set of specific translation rules applied in different layers and scenarios for pseudo-code generation and by the possibility of installing the resultant functional parts on system nodes using well-defined communication protocol. The heart of described architecture lies within the specification of hosting platform called Petri Nets Operating System (PNOS) that includes the Petri Nets Virtual Machine (PNVM) capable of interpreting Reference Nets pseudo-code artifacts.