Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
On Automatic Generation of IEC61850/IEC61499 Substation Automation Systems Enabled by Ontology
Luleå tekniska universitet, Institutionen för system- och rymdteknik, Datavetenskap.ORCID-id: 0000-0003-0075-1608
Luleå tekniska universitet, Institutionen för system- och rymdteknik, Datavetenskap.ORCID-id: 0000-0002-9315-9920
Luleå tekniska universitet, Institutionen för system- och rymdteknik, Datavetenskap.ORCID-id: 0000-0002-0799-2888
University of Auckland, Penza State University, Department of Computer Science, University of Penza.
2015 (engelsk)Inngår i: IECON 2014: 40th Annual Conference of the IEEE Industrial Electronics Society, Dallas, TX, USA , Oct. 29 2014 - Nov. 1 2014, Piscataway, NJ: IEEE Communications Society, 2015, s. 3577-3583Konferansepaper, Publicerat paper (Fagfellevurdert)
Abstract [en]

This paper presents an introductory step in theautomatic generation of distributed control software for powerdistribution automation systems based on Ontology DrivenEngineering enabled by industrial standards IEC61850 andIEC61499. The novelty of this approach is the ability ofautomatically generating the logical connections between thelogical nodes. The paper covers the several stages of thetransformation process, such as developing the IEC61850ontology and the ontology transformation rules. The developed IEC61850 ontology includes the logical nodes descriptions and additional contextual relations between the logical nodes which is lacking in the IEC61850 SCL configuration language. Then, the IEC61850 ontology is transformed to an existing IEC61499 ontology, adding classes of IEC61850 logical nodes as IEC61499 function blocks in the IEC61499 ontology. The means of the transformation of the ontologies is based on the eSWRL sematic web rules language, an extension to the rule language SWRL. The end result is the development of an IEC61850 ontology and a set of eSWRL rules which facilitates the ontology transformation.

sted, utgiver, år, opplag, sider
Piscataway, NJ: IEEE Communications Society, 2015. s. 3577-3583
HSV kategori
Forskningsprogram
Kommunikations- och beräkningssystem
Identifikatorer
URN: urn:nbn:se:ltu:diva-39584DOI: 10.1109/IECON.2014.7049030Scopus ID: 2-s2.0-84983189726Lokal ID: e674c38b-03be-4564-bf14-32be29c5692fOAI: oai:DiVA.org:ltu-39584DiVA, id: diva2:1013099
Konferanse
Annual Conference of the IEEE Industrial Electronics Society : 29/10/2014 - 01/11/2014
Merknad
Validerad; 2015; Nivå 1; Bibliografisk uppgift: 1553-572X http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=7048467; 20150113 (cheyan)Tilgjengelig fra: 2016-10-03 Laget: 2016-10-03 Sist oppdatert: 2018-07-10bibliografisk kontrollert
Inngår i avhandling
1. Cyber-Physical Engineering of Distributed Automation Systems in Energy Domain
Åpne denne publikasjonen i ny fane eller vindu >>Cyber-Physical Engineering of Distributed Automation Systems in Energy Domain
2018 (engelsk)Doktoravhandling, med artikler (Annet vitenskapelig)
Alternativ tittel[sv]
Cyber-Fysikalisk Konstruktion av Distribuerade Automationssystem inom Energidomänen
Abstract [en]

The main focus of this thesis is in the domain of Energy Systems, specifically in the engi-neering of modern Smart Grid (SG) automation systems. The SG has been categorizedas a Cyber-Physical System (CPS), a complex system which exhibits tight integration between the cyber and the physical processes and their interactions in a networked envi-ronment. The complexity and the computation of the automation system are expectedto increase with the promise of a ”smart” electric grid which is capable of self-healing, self-reconfiguration and become more resilient against cyber-attacks. These automation software systems require control strategies which are distributed in execution and requirevery tight integrations and interactions between various modular software and hardware components. As the automation system becomes more software intensive, we hypothesizethat existing design practices of developing the substation automation software system would struggle to cope with the distributed design challenges of the Smart Grid and they could be substantially enhanced by the application of model-driven design, distributed software architectures and semantic models.

Model-driven engineering (MDE) is a software design paradigm that leverages the use of abstraction models at different stages of the design process for engineering complex software systems. MDE is widely used in the software engineering domain and it has proven to be effective when designing and maintaining large-scale software applications.One of the core tenants of MDE is model transformation and it is considered the heartand soul of MDE. The standard modelling language that is used for MDE in software engineering is the Unified Modelling Language (UML), which is a visual language with awide array of tool support. Despite its popularity in the software domain, UML models still have its limitations. In particular, the lack of uniformed semantics between its 13different visual diagrams and the lack of formal notations. In this thesis, we proposethe Cyber-Physical Engineering (CPE) framework, an MDE framework which combines semantic models and MDE based automatic model transformation in order to auto-generate both the automation control system and the simulation plant model from thephysical and functional specifications of CPS systems.

All the scientific papers included in this thesis contributes towards the proposed Cyber-Physical Engineering methodology which includes MDE using semantic models, formal modelling of functional requirements and co-simulation testing of CPS systems.

The contribution of the thesis is fivefold. Firstly, the thesis proposes the CPE frame-work, which is based on the use of semantic web modelling language where logical rea-soning can be applied to the models. The modelling language that is used is the Web Ontology Language (OWL), which is a declarative language with a strong formal foun-dation based on description logic. Secondly, the extended Semantic Web Rule Language(eSWRL) is introduced which defines the constructors that are necessary for model trans-forming OWL ontology models. The eSWRL transformation language is proposed to bean extension to the widely used ontology reasoning language Semantic Web Rule Lan-guage (SWRL) in order to address the limitations of monotonicity which restricts SWRLfrom transforming ontological models. Thirdly, the implementation of the underlying transformation engine of eSWRL in SWI Prolog. Fourthly, the formal modelling of func-tional requirements in ontology is proposed which investigates the viability of using nat-ural language based functional requirements to add control flow to the auto-generated automation control system. Lastly, an automated script based co-simulation environ-ment is shown to demonstrate how black-box validation can be performed to test theauto-generated automation control system.

Finally, the thesis presents the resultant CPE framework for the modelling and genera-tion of distributed CPS automation software that leverages the use of semantic web OWL models. It is aimed to provide a top-down design approach of developing distributed con-trol software for CPS systems along with the simulation model of the physical plant. Inthis thesis, we demonstrate the development process of the CPE framework and throughcase study applications, how a semi-complete distributed automation software system in IEC 61499 can be automatically generated from substation specifications in IEC 61850 and natural language based functional requirements which provide the structure and thecontrol flow of the distributed automation software respectively. An eSWRL toolchainhas been developed to facilitate the various model transformation process of the CPE framework.

sted, utgiver, år, opplag, sider
Luleå: Luleå tekniska universitet, 2018
Serie
Doctoral thesis / Luleå University of Technology 1 jan 1997 → …, ISSN 1402-1544
HSV kategori
Forskningsprogram
Kommunikations- och beräkningssystem
Identifikatorer
urn:nbn:se:ltu:diva-68045 (URN)978-91-7790-076-4 (ISBN)978-91-7790-077-1 (ISBN)
Disputas
2018-05-25, A109, Luleå, 10:00 (engelsk)
Opponent
Veileder
Tilgjengelig fra: 2018-03-26 Laget: 2018-03-23 Sist oppdatert: 2018-05-17bibliografisk kontrollert

Open Access i DiVA

Fulltekst mangler i DiVA

Andre lenker

Forlagets fulltekstScopus

Personposter BETA

Yang, Chen-WeiVyatkin, ValeriyMousavi, Arash

Søk i DiVA

Av forfatter/redaktør
Yang, Chen-WeiVyatkin, ValeriyMousavi, Arash
Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric

doi
urn-nbn
Totalt: 187 treff
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf