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

Title: A Runtime Verification Framework for Control System Simulation

Abstract

n a standard workflow for the validation of a control system, the control system is implemented as an extension to a simulator. Such simulators are complex software systems, and engineers may unknowingly violate constraints a simulator places on extensions. As such, errors may be introduced in the implementation of either the control system or the simulator leading to invalid simulation results. This paper presents a novel runtime verification approach for verifying control system implementations within simulators. The major contribution of the approach is the two-tier specification process. In the first tier, engineers model constraints using a domain-specific language tailored to modeling a controller’s response to changes in its input. The language is high-level and effectively hides the implementation details of the simulator, allowing engineers to specify design-level constraints independent of low-level simulator interfaces. In the second tier, simulator developers provide mapping rules for mapping design-level constraints to the implementation of the simulator. Using the rules, an automated tool transforms the design-level specifications into simulator-specific runtime verification specifications and generates monitoring code which is injected into the implementation of the simulator. During simulation, these monitors observe the input and output variables of the control system and report changes to the verifier.more » The verifier checks whether these changes follow the constraints of the control system. We describe application of this approach to the verification of the constraints of an HVAC control system implemented with the power grid simulator GridLAB-D.« less

Authors:
; ; ; ;
Publication Date:
Research Org.:
Pacific Northwest National Lab. (PNNL), Richland, WA (United States)
Sponsoring Org.:
USDOE
OSTI Identifier:
1158494
Report Number(s):
PNNL-SA-101256
DOE Contract Number:  
AC05-76RL01830
Resource Type:
Conference
Resource Relation:
Conference: IEEE 38th Annual Computer Software and Applications Conference (COMPSAC 2014), July 21-25, 2014, Vasteras, Sweden, 78-84
Country of Publication:
United States
Language:
English
Subject:
simulation; control system; runtime verification; timed automata

Citation Formats

Ciraci, Selim, Fuller, Jason C., Daily, Jeffrey A., Makhmalbaf, Atefe, and Callahan, Charles D. A Runtime Verification Framework for Control System Simulation. United States: N. p., 2014. Web.
Ciraci, Selim, Fuller, Jason C., Daily, Jeffrey A., Makhmalbaf, Atefe, & Callahan, Charles D. A Runtime Verification Framework for Control System Simulation. United States.
Ciraci, Selim, Fuller, Jason C., Daily, Jeffrey A., Makhmalbaf, Atefe, and Callahan, Charles D. Sat . "A Runtime Verification Framework for Control System Simulation". United States. doi:.
@article{osti_1158494,
title = {A Runtime Verification Framework for Control System Simulation},
author = {Ciraci, Selim and Fuller, Jason C. and Daily, Jeffrey A. and Makhmalbaf, Atefe and Callahan, Charles D.},
abstractNote = {n a standard workflow for the validation of a control system, the control system is implemented as an extension to a simulator. Such simulators are complex software systems, and engineers may unknowingly violate constraints a simulator places on extensions. As such, errors may be introduced in the implementation of either the control system or the simulator leading to invalid simulation results. This paper presents a novel runtime verification approach for verifying control system implementations within simulators. The major contribution of the approach is the two-tier specification process. In the first tier, engineers model constraints using a domain-specific language tailored to modeling a controller’s response to changes in its input. The language is high-level and effectively hides the implementation details of the simulator, allowing engineers to specify design-level constraints independent of low-level simulator interfaces. In the second tier, simulator developers provide mapping rules for mapping design-level constraints to the implementation of the simulator. Using the rules, an automated tool transforms the design-level specifications into simulator-specific runtime verification specifications and generates monitoring code which is injected into the implementation of the simulator. During simulation, these monitors observe the input and output variables of the control system and report changes to the verifier. The verifier checks whether these changes follow the constraints of the control system. We describe application of this approach to the verification of the constraints of an HVAC control system implemented with the power grid simulator GridLAB-D.},
doi = {},
journal = {},
number = ,
volume = ,
place = {United States},
year = {Sat Aug 02 00:00:00 EDT 2014},
month = {Sat Aug 02 00:00:00 EDT 2014}
}

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: