skip to main content
OSTI.GOV title logo U.S. Department of Energy
Office of Scientific and Technical Information

Title: Towards Real-Time High Performance Computing For Power Grid Analysis

Abstract

Real-time computing has traditionally been considered largely in the context of single-processor and embedded systems, and indeed, the terms real-time computing, embedded systems, and control systems are often mentioned in closely related contexts. However, real-time computing in the context of multinode systems, specifically high-performance, cluster-computing systems, remains relatively unexplored. Imposing real-time constraints on a parallel (cluster) computing environment introduces a variety of challenges with respect to the formal verification of the system's timing properties. In this paper, we give a motivating example to demonstrate the need for such a system--- an application to estimate the electromechanical states of the power grid--- and we introduce a formal method for performing verification of certain temporal properties within a system of parallel processes. We describe our work towards a full real-time implementation of the target application--- namely, our progress towards extracting a key mathematical kernel from the application, the formal process by which we analyze the intricate timing behavior of the processes on the cluster, as well as timing measurements taken on our test cluster to demonstrate use of these concepts.

Authors:
; ;
Publication Date:
Research Org.:
Pacific Northwest National Lab. (PNNL), Richland, WA (United States)
Sponsoring Org.:
USDOE
OSTI Identifier:
1092034
Report Number(s):
PNNL-SA-90574
DOE Contract Number:  
AC05-76RL01830
Resource Type:
Conference
Resource Relation:
Conference: SC Companion: High Performance Computing, Networking, Storage and Analysis (SCC 2012), November 10-16, 2012, Salt Lake City, UT, 306-312
Country of Publication:
United States
Language:
English
Subject:
High performance computing, real-time-computing, power grid, formal methods

Citation Formats

Hui, Peter SY, Lee, Barry, and Chikkagoudar, Satish. Towards Real-Time High Performance Computing For Power Grid Analysis. United States: N. p., 2012. Web. doi:10.1109/SC.Companion.2012.49.
Hui, Peter SY, Lee, Barry, & Chikkagoudar, Satish. Towards Real-Time High Performance Computing For Power Grid Analysis. United States. doi:10.1109/SC.Companion.2012.49.
Hui, Peter SY, Lee, Barry, and Chikkagoudar, Satish. Fri . "Towards Real-Time High Performance Computing For Power Grid Analysis". United States. doi:10.1109/SC.Companion.2012.49.
@article{osti_1092034,
title = {Towards Real-Time High Performance Computing For Power Grid Analysis},
author = {Hui, Peter SY and Lee, Barry and Chikkagoudar, Satish},
abstractNote = {Real-time computing has traditionally been considered largely in the context of single-processor and embedded systems, and indeed, the terms real-time computing, embedded systems, and control systems are often mentioned in closely related contexts. However, real-time computing in the context of multinode systems, specifically high-performance, cluster-computing systems, remains relatively unexplored. Imposing real-time constraints on a parallel (cluster) computing environment introduces a variety of challenges with respect to the formal verification of the system's timing properties. In this paper, we give a motivating example to demonstrate the need for such a system--- an application to estimate the electromechanical states of the power grid--- and we introduce a formal method for performing verification of certain temporal properties within a system of parallel processes. We describe our work towards a full real-time implementation of the target application--- namely, our progress towards extracting a key mathematical kernel from the application, the formal process by which we analyze the intricate timing behavior of the processes on the cluster, as well as timing measurements taken on our test cluster to demonstrate use of these concepts.},
doi = {10.1109/SC.Companion.2012.49},
journal = {},
number = ,
volume = ,
place = {United States},
year = {2012},
month = {11}
}

Conference:
Other availability
Please see Document Availability for additional information on obtaining the full-text document. Library patrons may search WorldCat to identify libraries that hold this conference proceeding.

Save / Share: