Programming autonomous behavior of reactive metering systems by timed automata

Abstract

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.