Open AccessPROGRAMMING AUTONOMOUS BEHAVIOR OF REACTIVE METERING SYSTEMS BY TIMED AUTOMATA
Author(s) -
Lukáš Krejčí
Publication year - 2017
Publication title -
computing
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.184
H-Index - 11
eISSN - 2312-5381
pISSN - 1727-6209
DOI - 10.47839/ijc.16.1.867
Subject(s) - computer science , metering mode , automaton , interleaving , distributed computing , event monitoring , asynchronous communication , systems simulation , real time computing , programming language , theoretical computer science , simulation , operating system , computer network , mechanical engineering , process (computing) , engineering
The paper presents a new, innovative approach of programming of autonomous behavior of reactive metering systems. The presented method is based on safely timed automata defined by UPPAAL team. This modeling language is extended with event monitoring, utility functions for asynchronous operations invocation and supervising capabilities. Additionally, appropriate metering operations querying principle for metering systems is proposed. Finally, a new method of timed automata systems simulation is presented. This method is based on the principle of random interleaving of automata execution order and probabilities balancing in order to ensure fairness of automata execution. Advantages of presented methods as well as their basic principles are summarized and demonstrated on a case study of AMM network data concentrator. On this case study, it is shown, that proposed methods allow to effortlessly define the autonomous behavior of a data concentrator in the understandable and easily modifiable way, thus they lack major disadvantages of the currently used approach.