The overall shape of the Reactor Trip System (RTS) is an archetypal sense-compute-actuate architecture. Sensors are in the Sensors subsystem. They are read by the Instrumentation subsystem, which contains four separate and independent Instrumentation components. The "Compute" part of the architecture is spread across the Actuation Logic subsystem—which contains the two Voting components which perform the actuation logic itself—and the Root subsystem which contains the core computation and I/O components, and the two separate and independent devices that drive actuators.
This RTS architecture specification includes all of the core concepts inherent to NPP Instrumentation and Control systems. A system architecture specification often includes a software, hardware, network, and data architecture specifications.
The physical hardware components that are a part of the HARDENS RTS demonstrator.
A summary of the tools, technologies, specifications, and implementations relevant to this high-assurance demonstrator's development and assurance.
All requirements that the RTS system must fulfill, as driven by the IEEE 603-2018 standards and the NRC RFP.
All correctness and security properties of the RTS system are specified in this subsystem.
The IEEE 603-2018 requirements (known as "characteristics" in the standard) which the RTS demonstrator system must fulfill.
- contains Architecture
- contains Hardware
- contains Properties
- contains Characteristics