Cyber-Securing Facility Related Control Systems

DOE OSTI · 1416129

Cyber-Securing Facility Related Control Systems

View original source ↗Read source document ↗Export metadata ↓

Abstract

Fact sheet describes cyber security strategies applicable to federal facilities, which were gleaned from the experiences at several U.S. Department of Energy national laboratories.

Explore related subjects

control system Cyber security facilities

Keep this discovery

Explore connections, maps & timelines

BibTeX RIS

2018-01-02. Cyber-Securing Facility Related Control Systems. https://www.osti.gov/biblio/1416129

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related reports

DOE OSTI2017

Control Systems for a Dynamic Multi-Physics Model of a Nuclear Hybrid Energy System

A Nuclear Hybrid Energy System (NHES) uses a nuclear reactor as the basic power generation unit, and the power generated is used by multiple customers as either thermal power, electrical power, or both. The definition and architecture of a particular NHES can be adapted based on the needs and opportunities of different local markets. For example, locations in need of potable water may be best served by coupling a desalination plant to the NHES. Similarly, a location near oil refineries may have a need for emission-free hydrogen production. Using the flexible, multi-domain capabilities of Modelica, Argonne National Laboratory, Idaho National Laboratory, and Oak Ridge National Laboratory are investigating the dynamics (e.g., thermal hydraulics and electrical generation/consumption) and cost of a hybrid system. This paper examines the NHES work underway, emphasizing the control system developed for individual subsystems and the overall supervisory control system.

control system↗

DOE OSTI2014

A Runtime Verification Framework for Control System Simulation

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.

control system↗