Tuyển tập Năng lượng hạt nhân của IAEA NP-T-3.27
Ấn phẩm này xác định khuôn khổ về phương pháp đánh giá phần mềm hệ điều khiển được sử dụng tại các nhà máy điện hạt nhân. Nó mô tả cách tiếp cận để phát triển và truyền đạt các đánh giá dựa trên yêu cầu, lập luận và bằng chứng. Việc đánh giá độ tin cậy của phần mềm, bao gồm các thuộc tính như an toàn, độ tin cậy, tính sẵn có, khả năng bảo trì và bảo mật, là một khía cạnh thiết yếu và đầy thách thức trong đánh giá đảm bảo an toàn. Nguyên tắc hướng dẫn cho đánh giá độ tin cậy được thiết lập để cung cấp cơ sở cho việc xác định chiến lược đánh giá và thực hiện quy trình đánh giá. Ấn phẩm cũng đưa ra những bằng chứng cho việc đánh giá và các bài học rút ra từ quá trình thực hiện hệ điều khiển kỹ thuật số trong các lĩnh vực như phát triển phần mềm, hoạt động vận hành, đánh giá pháp quy và chứng nhận trên nền tảng.
Nguồn tài liệu: https://www.iaea.org/publications/12232/dependability-assessment-of-software-for-safety-instrumentation-and-control-systems-at-nuclear-power-plants