This paper describes a model driven methodology in order to implement an interoperable communication architecture supporting TSO-DSO information exchange. The model driven methodology goes through Smart Grid Architecture Model interoperability layers and leverage international standards. The Use Case approach is utilized for identification of information exchange requirements, which are materialized through Business Objects gap analysis against existing standardized IEC CIM (Common Information Model) profiles. Determined set of standardized Business Objects can be implemented using several communication technologies. Some of these up-to-date technologies are provided by off the shelf solutions such as ECCo SP, a secure and scalable platform provided by ENTSO-E.

The growing penetration of renewable energy sources (RES) in the electrical power sector has increased the amount of distributed generation (DG) units connected at the distribution system level. In this context, new balancing challenges have arisen, creating the need for a novel use case methodology to enable an active role at the distribution system level such that transmission system operators (TSOs) can coordinate with distribution system operators (DSOs) with regard to connected resources for balancing purposes. In this study, the exploitation of the DSO-connected resources for balancing purposes in a market environment is proposed and evaluated via a novel business use case (BUC) methodology based on the categorization of IEC 62913-1. More specifically, in order to address different balancing market situations, two scenarios are considered with regard to the BUC. The first one represents the data exchange between the TSO, the DSO, and the balancing service provider (BSP). The second one represents an alternative scenario where data are exchanged directly between the TSO and the DSO, where the DSO also takes on the role of the BSP. The proposed BUC was also developed in order to validate the required data modeling and exchange mechanisms between DSOs and TSOs in order to exploit DSO-connected resources for overall system balancing purposes across different time scales.

SUMMARYThis paper presents a framework for UML/OCL model test generation. This framework is based on three parts. The first part is the transformation from a UML/OCL model into a Satisfiability Modulo Theories (SMT) instance. The metamodel associated with the two models and the transformation rules are presented. The second part is the animation strategies used for the generation of SMT instances to compute test sequences. The paper studies five different types of strategy to build the first‐order formula used by an SMT instance. The paper also gives the results of experiments on six case studies that were used to validate the method. Copyright © 2014 John Wiley & Sons, Ltd.

Best paper Award of the conferenceInternational audienc

No abstract

No abstract

Smart Grids are cyber-physical systems that interface power grids with information and communication technologies in order to monitor them, automate decision making and balance production and consumption. Cosimulation with the Functional Mock-up Interface standard allows the exploration of the behavior of such complex systems by coordinating simulation units that correspond to the grid part, the communication network and the information system. However, FMI has limitations when it comes to cyber-physical system simulation, particularly because discrete-event signals exchanged by cyber components are not well supported. In addition, industrial projects involve several teams with different skills and methods that work in parallel to produce all the models required by the simulation, which increases the risk of inconsistency between models. This article presents a way to exchange discrete-event signals between FMI artifacts, which complies with the current 2.0 version of the standard. We developed a DSL and a model-based toolchain to generate the artifacts that are necessary to run the cosimulation of the whole system, and to detect potential inconsistencies between models. The approach is illustrated by the use case of an islanded grid implementing diesel and renewable sources, battery storage and intelligent control of the production.

No abstract