PROGRAMMING AUTONOMOUS BEHAVIOR OF REACTIVE METERING SYSTEMS BY TIMED AUTOMATA
DOI:
https://doi.org/10.47839/ijc.16.1.867Keywords:
AMM, smart metering, data concentrator, autonomous behavior, timed automata, UPPAAL.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.References
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 http://www.ormazabal.com/en/your-business/products/advanced-metering?tab=13757&refer=894.
ZIV, ZIV Metering Solutions, [product website]. [Online]. Available: http://www.meteringsolutions.ziv.es/ziv/systems.html#AMR?tab=13757&refer=894.
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: http://msdn.microsoft.com/en-us/library/dd460717(v=vs.110).aspx.
Microsoft Corporation, Asynchronous Programming with Async and Await (C# and Visual Basic), [Online]. Available: http://msdn.microsoft.com/en-us/library/hh191443.aspx.
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, About.com.
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.
Downloads
Published
How to Cite
Issue
Section
License
International Journal of Computing is an open access journal. Authors who publish with this journal agree to the following terms:• Authors retain copyright and grant the journal right of first publication with the work simultaneously licensed under a Creative Commons Attribution License that allows others to share the work with an acknowledgement of the work's authorship and initial publication in this journal.
• Authors are able to enter into separate, additional contractual arrangements for the non-exclusive distribution of the journal's published version of the work (e.g., post it to an institutional repository or publish it in a book), with an acknowledgement of its initial publication in this journal.
• Authors are permitted and encouraged to post their work online (e.g., in institutional repositories or on their website) prior to and during the submission process, as it can lead to productive exchanges, as well as earlier and greater citation of published work.
