Title

Towards Formal Verification of Smart Grid Distributed Intelligence: FREEDM Case

Abstract

This paper presents a model-checking framework for the purpose of design and implementation of robust smart grid applications based on distributed intelligence. The paper first introduces distributed grid intelligence approach to smart grid automation and related challenges of their verification. We then introduce the case study example and how model-checking can be applied to the presented system implemented in IEC 61499 standard. In the end we present the initial results of our model-checking application to smart grid applications. The paper will conclude with some issues faced during the research and corrective steps to address these issues in future.

Meeting Name

41st Annual Conference of the IEEE Industrial Electronics Society, IECON 2015 (2015: Nov. 9-12, Yokohama, Japan)

Department(s)

Computer Science

Keywords and Phrases

Automation Systems; IEC 61499; Model-Checking; Smart Grid

International Standard Book Number (ISBN)

978-1-4799-1762-4

Document Type

Article - Conference proceedings

Document Version

Citation

File Type

text

Language(s)

English

Rights

© 2015 Institute of Electrical and Electronics Engineers (IEEE), All rights reserved.

Share

 
COinS