Programming autonomous behavior of AMM network data concentrator by timed automata

摘要

The paper presents a new approach of AMM network data concentrator autonomous behavior programming. The proposed method utilizes timed automata systems defined by UPPAAL team and extends them with event monitoring and asynchronous actions producing and supervising capabilities. Additionally, a new method of timed automata systems simulation is presented. This method utilizes principles of random order automata execution interleaving and probabilities balancing in order to ensure fairness of automata execution. It is shown that the presented methods allow to 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.