Security Hardened Cyber Components for Nuclear Power Plants: Phase I SBIR Final Technical Report
SpiralGen, Inc. built a proof-of-concept toolkit for enhancing the cyber security of nuclear power plants and other critical infrastructure with high-assurance instrumentation and control code. The toolkit is based on technology from the DARPA High-Assurance Cyber Military Systems (HACMS) program, which has focused on applying the science of formal methods to the formidable set of problems involved in securing cyber physical systems. The primary challenges beyond HACMS in developing this toolkit were to make the new technology usable by control system engineers and compatible with the regulatory and commercial constraints of the nuclear power industry. The toolkit, packaged as a Simulink add-on, allows a system designer to assemble a high-assurance component from formally specified and proven blocks and generate provably correct control and monitor code for that subsystem.
- Research Organization:
- SpiralGen, Inc., Pittsburgh, PA (United States)
- Sponsoring Organization:
- USDOE Office of Science (SC)
- Contributing Organization:
- Nuclear Energy Consultants, Inc., Rockville, MD (United States)
- DOE Contract Number:
- SC0013808
- OSTI ID:
- 1242462
- Report Number(s):
- DOE-SG-13808
- Country of Publication:
- United States
- Language:
- English
Similar Records
INS–Support for Formal Cyber Security Education in Brazil–After Action Report
Nuclear power plant instrumentation and control cyber security common vector access leading to relational common cause failures - 340