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.

Highlights

  • The Aim of this paper is to present new method of programming of autonomous behavior of reactive metering systems using timed automata, extending the method proposed in [1]

  • As the only Data concentrator unit (DCU)-specific parts of presented case study are event types and asynchronous actions definitions, same principles can be reused for programming of autonomous behavior of arbitrary reactive metering device

  • As the presented methods allow to define autonomous behavior of DCU in the understandable and alterable way, we believe that they improve the usability of DCU devices within Advanced Metering Management (AMM) networks

Read more

Summary

INTRODUCTION

The Aim of this paper is to present new method of programming of autonomous behavior of reactive metering systems using timed automata, extending the method proposed in [1]. Data concentrator unit is a device, which serves as an interconnection point between metering and data centers parts of AMM network. If the transparent DCU is used within AMM network, all metering and data upload operations are managed by data centers. Autonomous behavior of DCU is typically defined by a fixed set of tasks, as in case of [2] and [3]. As there is no possibility of specifying relations among tasks, user have to trust that a DCU manufacturer had implemented some precautious measures that would prevent deadlocks or other unpredictable conditions. Even if these measures are provided, they can fail. In order to avoid above stated problems in future, new generation of autonomous DCU software facility and suitable autonomous behavior definition approach was developed

PROJECT BACKGROUND
TIMED AUTOMATA SYSTEMS
BEHAVIOR DESCRIPTION
EVENTS HANDLING
ADDITIONAL CONSIDERATIONS
VERIFICATION
METERING OPERATIONS QUERING
AUTOMATA RUNTIME SIMULATION ENGINE
CONCLUSIONS, RESULTS AND FUTURE WORK
Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call