• Lukáš Krejčí



AMM, smart metering, data concentrator, autonomous behavior, timed automata, UPPAAL.


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.


L. Krejci, “Programming autonomous behavior of AMM network data concentrator by timed automata,” in Proceedings of the IEEE 8th International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Application (IDAACS’2015), Warsaw, Poland, September 24-26, 2015, Vol. 1, pp. 214-219.

Ormazabal, Smart Metering, [product website] [Online]. Available

ZIV, ZIV Metering Solutions, [product website]. [Online]. Available:

T. Richta, V. Janoušek, “Petri Nets-based development of dynamically reconfigurable embedded systems,” in PNSE'13 – CEUR Workshop Proceedings, Vol. 2013, Issue 989, pp. 203-217, ISSN 1613-0073, Hamburk, 2013.

T. Richta, V. Janoušek, “Code generation for Petri Nets-specified reconfigurable distributed control systems,” in Proceedings of the 15th International Conference on Mechatronics – Mechatronika 2012, Prague, 2012, pp. 263-269, ISBN 978-80-01-04985-3.

T. Richta, V. Janoušek, “Operating system for Petri Nets-specified reconfigurable embedded systems,” in Proceedings of the Computer Aided Systems Theory – EUROCAST 2013, Lecture Notes in Computer Science, 8111, Berlin Heidelberg: Springer Verlag, pp. 444-451.

R. Alur, D.L. Dill, “A theory of timed automata,” Theoretical Computer Science, Vol. 126, Issue 2, pp. 183-235, 1994.

J. Bengtsson, J. Bengtsson, W. Yi, W. Yi, “Timed automata: Semantics, algorithms and tools,” Lecture Notes in Computer Science, Vol. 3098, pp. 87-124, 2004.

G. Behrmann, A. David, K. G. Larsen, “A Tutorial on Uppaal,” In Proceedings of the 4th International School on Formal Methods for the Design of Computer, Communication, and Software Systems (SFM-RT'04).

T. A. Henzinger, X. Nicollin, J. Sifakis and S. Yovine, “Symbolic model checking for real-time systems,” Information and Computation, Vol. 111, No. 2, pp. 193-244, doi: 10.1006/inco.1994.1045, 1994.

A. Hessel, K. G. Larsen, B. Nielsen, P. Pettersson, A. Skou, “Time-optimal real-time test case generation using UPPAAL,” in Proceedings of the 3rd International Workshop on Formal Approaches to Testing of Software 2003 (FATES'03), 2003.

J. Blom, A. Hessel, B. Jonsson, P. Pettersson, “Specifying and generating test cases using observer automata,” in Proceedings of the 4th International Workshop on Formal Approaches to Testing of Software 2004 (FATES'04), 2004.

L. Krejčí, J. Novák, “Framework and automated prioritization procedure for model-based testing of automotive distributed systems,” in Proceedings of the 17th Annual International Workshop on Databases, Texts, Specifications and Objects (DATESO 2017), 2017.

Microsoft Corporation, Task Parallel Library, [Online]. Available:

Microsoft Corporation, Asynchronous Programming with Async and Await (C# and Visual Basic), [Online]. Available:

D. D. Chamberlin, R. F. Boyce, “SEQUEL: A Structured English Query Language,” in Proceedings of the ACM SIGFIDET Workshop on Data Description, Access and Control. Association for Computing Machinery, 1974, pp. 249-264.

International Organization for Standardization (ISO), “ISO/IEC 9075-1:2008: Information technology – Database languages – SQL – Part 1: Framework (SQL/Framework),” 1987.

M. Chapple, “SQL Fundamentals,” Databases,

M. Matsumoto and T. Nishimura, “Mersenne Twister: A 623-dimensionally equidistributed uniform pseudorandom number generator,” ACM Transaction on Modeling and Computer Simulation, Vol. 8, No. 1, pp. 3-30, January 1998.

M. Luscher, “A Portable high quality random number generator for lattice field theory simulations,” Comput. Phys. Commun, No. 79, 1994.




How to Cite

Krejčí, L. (2017). PROGRAMMING AUTONOMOUS BEHAVIOR OF REACTIVE METERING SYSTEMS BY TIMED AUTOMATA. International Journal of Computing, 16(1), 18-26.