A Specification Language for Performance and Economical Analysis of Short Term Data Intensive Energy Management Services

Requirements of Energy Management Services include short and long term processing of data in a massively interconnected scenario. The complexity and variety of short term applications needs methodologies that allow designers to reason about the models taking into account functional and non-functional requirements. In this paper we present a component based specification language for building trustworthy continuous dataflow applications. Component behaviour is defined by Petri Nets in order to translate to the methodology all the advantages derived from a mathematically based executable model to support analysis, verification, simulation and performance evaluation. The paper illustrates how to model and reason with specifications of advanced data flow abstractions such as smart grids.

[1]  Robbert van Renesse,et al.  Toward a reliable, secure and fault tolerant smart grid state estimation in the cloud , 2013, 2013 IEEE PES Innovative Smart Grid Technologies Conference (ISGT).

[2]  D. Elizondo,et al.  Synchrophasor technology: The boom of investments and information flow from North America to Latin America , 2012, 2012 IEEE Power and Energy Society General Meeting.

[3]  Nathan Marz,et al.  Big Data: Principles and best practices of scalable realtime data systems , 2015 .

[4]  Omer F. Rana,et al.  Enforcing Quality of Service on OpenNebula-Based Shared Clouds , 2014, 2014 14th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing.

[5]  Hsien-Hsin S. Lee,et al.  Using Mathematical Modeling in Provisioning a Heterogeneous Cloud Computing Environment , 2011, Computer.

[6]  Douglas Thain,et al.  Harnessing parallelism in multicore clusters with the All-Pairs, Wavefront, and Makeflow abstractions , 2010, Cluster Computing.

[7]  Xi Fang,et al.  Managing smart grid information in the cloud: opportunities, model, and applications , 2012, IEEE Network.

[8]  Giovanni Chiola,et al.  Properties and Performance Bounds for Timed Marked Graphs , 1992 .

[9]  Nada Golmie,et al.  NIST Framework and Roadmap for Smart Grid Interoperability Standards, Release 1.0 , 2010 .

[10]  Jelena V. Misic,et al.  Performance Analysis of Cloud Computing Centers Using M/G/m/m+r Queuing Systems , 2012, IEEE Transactions on Parallel and Distributed Systems.

[11]  G. Alonso,et al.  Parallel computing patterns for Grid workflows , 2006, 2006 Workshop on Workflows in Support of Large-Scale Science.

[12]  Lee Gillam,et al.  Performance Evaluation for Cost-Efficient Public Infrastructure Cloud Use , 2014, GECON.

[13]  Rafael Tolosana-Calasanz,et al.  Towards Petri Net-Based Economical Analysis for Streaming Applications Executed Over Cloud Infrastructures , 2014, GECON.

[14]  Nada Golmie,et al.  NIST Framework and Roadmap for Smart Grid Interoperability Standards, Release 3.0 , 2014 .

[15]  Ivica Crnkovic,et al.  Component Models for Reasoning , 2013, Computer.

[16]  Grzegorz Rozenberg,et al.  High-level Petri Nets: Theory And Application , 1991 .

[17]  Yogesh L. Simmhan,et al.  Floe: A Continuous Dataflow Framework for Dynamic Cloud Applications , 2014, ArXiv.

[18]  Yogesh L. Simmhan,et al.  Energy management systems: state of the art and emerging trends , 2013, IEEE Communications Magazine.

[19]  Mohamed Ariff Ameedeen,et al.  A Survey of Petri Net Tools , 2015 .