Ontology Driven Approach to Generate Distributed Automation Control From Substation Automation Design

This paper proposes a method for the automatic generation of smart-grid automation systems software from specifications that includes physical system layout and domain-specific functional “recipes.” The generated software has component organization and implements a decentralized approach to smart grid control, which reduces complexity of automation systems design and modification. The proposed method relies on synergies of two industrial standards IEC 61850 and IEC 61499, which are used to represent a part of the specification and the resulting software model, respectively. Then, the specification model is created in a form of ontology and the generation is based on ontology transformation. The proposed method requires an extension to the Semantic Web Rule Language (SWRL) to support the change of an ontology axioms set for the purpose of ontology transformation. The proposed transformation language, called extended SWRL, is introduced and illustrated in use. The result shows the viability of eSWRL as an ontology transformation language when demonstrated in a power distribution case study system.

[1]  Thomas I. Strasser,et al.  Towards a Semantic Driven Framework for Smart Grid Applications: Model-Driven Development Using CIM, IEC 61850 and IEC 61499 , 2012, Informatik-Spektrum.

[2]  Thomas I. Strasser,et al.  Model-driven engineering applied to Smart Grid automation using IEC 61850 and IEC 61499 , 2014, 2014 Power Systems Computation Conference.

[3]  Edward A. Lee,et al.  Introduction to Embedded Systems - A Cyber-Physical Systems Approach , 2013 .

[4]  Valeriy Vyatkin,et al.  Automatic generation of automation applications based on ontology transformations , 2014, Proceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA).

[5]  Eric Lambert,et al.  CIM, 61850, COSEM Standards Used in a Model Driven Integration Approach to Build the Smart Grid Service Oriented Architecture , 2010, 2010 First IEEE International Conference on Smart Grid Communications.

[6]  V. Vyatkin,et al.  Multiagent Smart Grid Automation Architecture Based on IEC 61850/61499 Intelligent Logical Nodes , 2012, IEEE Transactions on Industrial Electronics.

[7]  Hairong Lv,et al.  Selling the Smart Grid-Part 2: How Consumers Will Interact with the Smart Grid , 2012, IEEE Consumer Electronics Magazine.

[8]  Horst Bunke.  Attributed Programmed Graph Grammars and Their Application to Schematic Diagram Interpretation , 1982, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[9]  Thomas I. Strasser,et al.  From textual programming to IEC 61499 artifacts: Towards a model-driven engineering approach for smart grid applications , 2015, 2015 IEEE 13th International Conference on Industrial Informatics (INDIN).

[10]  Valeriy Vyatkin,et al.  Programmable logic for IEC 61850 logical nodes by means of IEC 61499 , 2011, IECON 2011 - 37th Annual Conference of the IEEE Industrial Electronics Society.

[11]  A. Di Giorgio,et al.  Open-Source Implementation of Monitoring and Controlling Services for EMS/SCADA Systems by Means of Web Services— IEC 61850 and IEC 61970 Standards , 2009, IEEE Transactions on Power Delivery.

[12]  Valeriy Vyatkin,et al.  SysGRID: IEC 61850 and IEC 61499 Standard Based Engineering Tool for Smart Grid Automation Design , 2014, EAI Endorsed Trans. Energy Web.

[13]  Valeriy Vyatkin,et al.  Implementation of FREEDM Smart Grid distributed load balancing using IEC 61499 function blocks , 2013, IECON 2013 - 39th Annual Conference of the IEEE Industrial Electronics Society.

[14]  Jesús Manuel Almendros-Jiménez,et al.  Transformation and Validation with SWRL and OWL of ODM-Based Models , 2012, MEDI.

[15]  Valeriy Vyatkin,et al.  Automatically Generated Layered Ontological Models for Semantic Analysis of Component-Based Control Systems , 2013, IEEE Transactions on Industrial Informatics.

[16]  Valeriy Vyatkin,et al.  Standard-based engineering and distributed execution framework for intelligent fault management for FREEDM system , 2011, IECON 2011 - 37th Annual Conference of the IEEE Industrial Electronics Society.

[17]  Christian Wietfeld,et al.  Guest Editorial Special Section on Cyber-Physical Systems and Security for Smart Grid , 2015, IEEE Trans. Smart Grid.

[18]  H. Lan,et al.  SWRL : A semantic Web rule language combining OWL and ruleML , 2004 .

[19]  Jan Wielemaker,et al.  Processing OWL2 Ontologies using Thea: An Application of Logic Programming , 2009, OWLED.

[20]  Shane Sendall,et al.  Model Transformation: The Heart and Soul of Model-Driven Software Development , 2003, IEEE Softw..

[21]  Valeriy Vyatkin,et al.  Modelling of IEC 61850 message passing for automatic generation of distributed control , 2015, IECON 2015 - 41st Annual Conference of the IEEE Industrial Electronics Society.

[22]  Hairong Lv,et al.  Selling the Smart Grid—Part 1: Why Consumers Must Buy In for the Smart Grid to Succeed , 2012, IEEE Consumer Electronics Magazine.

[23]  Adriano Carvalho,et al.  Towards model-driven design of substation automation systems , 2005 .

[24]  Jesús Manuel Almendros-Jiménez,et al.  PTL: A model transformation language based on logic programming , 2016, J. Log. Algebraic Methods Program..

[25]  Jaume Barceló,et al.  Model-Based Systems Engineering: An Emerging Approach for Modern Systems , 2012, IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews).

[26]  A. Zoitl,et al.  Framework for Distributed Industrial Automation and Control (4DIAC) , 2008, 2008 6th IEEE International Conference on Industrial Informatics.

[27]  Federico Coffele,et al.  An open platform for rapid-prototyping protection and control schemes with IEC 61850 , 2013, 2013 IEEE Power & Energy Society General Meeting.

[28]  Jean Bézivin,et al.  On the unification power of models , 2005, Software & Systems Modeling.

[29]  J. A. Rodriguez-Mondejar,et al.  Using Semantic Web Resources to Translate Existing Files Between CIM and IEC 61850 , 2012, IEEE Transactions on Power Systems.

[30]  Jesús Manuel Almendros-Jiménez,et al.  Model Validation in Ontology Based Transformations , 2012, WWV.

[31]  Jesús Manuel Almendros-Jiménez,et al.  A Model Transformation Language Based on Logic Programming , 2013, SOFSEM.

[32]  Valeriy Vyatkin.  IEC 61499 as Enabler of Distributed and Intelligent Automation: State-of-the-Art Review , 2011, IEEE Transactions on Industrial Informatics.

[33]  Alexander Apostolov,et al.  IEC 61850 GOOSE applications to distribution protection schemes , 2011, 2011 64th Annual Conference for Protective Relay Engineers.

[34]  Ian Horrocks,et al.  Description logic programs: combining logic programs with description logic , 2003, WWW '03.

[35]  Valeriy Vyatkin,et al.  Refactoring of Execution Control Charts in Basic Function Blocks of the IEC 61499 Standard , 2010, IEEE Transactions on Industrial Informatics.

[36]  Mathias Uslar,et al.  Facilitating the Automatic Mapping of IEC 61850 Signals and CIM Measurements , 2013, IEEE Transactions on Power Systems.

[37]  Steffen Staab,et al.  Ontology-Driven Software Development , 2012, Springer Berlin Heidelberg.

[38]  Valeriy Vyatkin,et al.  Cosimulation Environment for Event-Driven Distributed Controls of Smart Grid , 2013, IEEE Transactions on Industrial Informatics.

[39]  Farrokh Aminifar,et al.  Distribution Automation Strategies Challenges and Opportunities in a Changing Landscape , 2015, IEEE Transactions on Smart Grid.

[40]  Xi Fang,et al.  3. Full Four-channel 6.3-gb/s 60-ghz Cmos Transceiver with Low-power Analog and Digital Baseband Circuitry 7. Smart Grid — the New and Improved Power Grid: a Survey , 2022 .

[41]  Valeriy Vyatkin,et al.  Distributed Power System Automation With IEC 61850, IEC 61499, and Intelligent Control , 2011, IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews).

[42]  Valeriy Vyatkin.  Guest Editorial: Special section on software engineering in industrial automation , 2013, IEEE Trans. Ind. Informatics.

[43]  Matthias Stifter,et al.  Applying open standards and open source software for smart grid applications: Simulation of distributed intelligent control of power systems , 2011, 2011 IEEE Power and Energy Society General Meeting.

[44]  Hartmut Ehrig,et al.  Fundamentals of Algebraic Graph Transformation (Monographs in Theoretical Computer Science. An EATCS Series) , 1992 .