ML23242A118
ML23242A118 | |
Person / Time | |
---|---|
Issue date: | 09/07/2023 |
From: | Sushil Birla NRC/RES/DE |
To: | |
Sushil Birla 301-415-2311 | |
References | |
Download: ML23242A118 (4) | |
Text
Research Challenges and Opportunities in the Safety Assurance of Nuclear Reactors Sushil Birla Senior Technical Advisor U.S. Nuclear Regulatory Commission Vanderbilt University Institute for Software Integrated Systems: Research Landscapes Nashville September 7, 2023 The views expressed herein are those of the author and do not represent an official position of the U.S. NRC.
Reactor protection concept Source: IAEA # NP-T-1.5
Challenges in performance-based assurance
- Identifying what can go wrong (designed-in hazards)
- The specific causes
- Formulating commensurate requirements
- Their validation
- Verification: Correctness-by-Construction
- Ability to evaluate the effect of gaps on the system function
Research opportunities Designed-in Assurance
- Avoidance/prevention of hazardous defects
- Integration of systematized identification of hazards
- Correctness-by-Construction concepts, e.g.:
- Refinement: Requirements Architecture Detailed Design Implementation
- Composability
- Domain modeling Domain Engineering
- NRC research result: Open-source research platform
- https://github.com/GaloisInc/HARDENS Sushil.Birla@nrc.gov