IEC-60880
Nuclear power plants — Instrumentation and control systems important to safety — Software aspects for computer-based systems performing category A functions
Software requirements for the highest safety category (A) in nuclear power plants. Specifies rigorous software lifecycle processes, formal methods, defensive programming, and independence requirements for reactor protection systems.
- Document
- IEC 60880:2006+AMD1:2022
- URL
- https://webstore.iec.ch/en/publication/67281
- Label
- Standard
- Keywords
- nuclear safety software safety category A reactor protection formal methods defensive programming
- Derived from
IEC-61513
Domain: Functional Safety · Standard