Provide to the NRC expert technical services in order to develop a better understanding of how Model-Based Systems Engineering (MBSE) methods and tools can support regulatory reviews of adequate design and design assurance.
Identify any barriers or gaps associated with MBSE in a regulatory review of Digital Instrumentation and Control Systems for existing Nuclear Power Plants.
Galois will demonstrate to the Nuclear Regulatory Commission (NRC) cutting-edge capabilities in the model-based design, validation, and verification of safety-critical, mission-critical, high-assurance systems.
Our demonstrator includes high-assurance software and hardware, includes open source RISC-V Central Processing Units.
Our demonstrator lays the groundwork for a high-assurance reusable product for safety critical Digital Instrumentation and Control Systems systems in Nuclear Power Plants.
Requirements must be shown to be consistent.
The system must be shown to fulfill all requirements.
Requirements must be shown to be formally complete.
Independence among the four divisions of instrumentation (inability for the behavior of one division to interfere or adversely affect the performance of another).
Independence among the two instrumentation channels within a division (inability for the behavior of one channel to interfere or adversely affect the performance of another).
Independence among the two trains of actuation logic (inability for the behavior of one train to interfere or adversely affect the performance of another).
Completion of actuation whenever coincidence logic is satisfied or manual actuation is initiated.
Independence between periodic self-test functions and trip functions (inability for the behavior of the self-testing to interfere or adversely affect the trip functions).