PHỤ LỤ CR
R.3.2.1. Yêu cầu về an toàn của phần mềm
Các yêu cầu kỹ thuật của yêu cầu về an tồn phần mềm phải gồm:
- mơ tả từng chức năng liên quan đến an toàn cần thực hiện, kể cả (các) thời gian đáp ứng:
● các chức năng liên quan đến ứng dụng kể cả các sự cố phần mềm liên quan của chúng địi hỏi phải kiểm sốt;
● các chức năng liên quan đến việc phát hiện, thông báo và quản lý các sự cố phần mềm hoặc phần cứng;
- mô tả giao diện giữa phần mềm và phần cứng;
- mô tả giao diện giữa các chức năng liên quan đến an tồn và khơng an tồn;
- mô tả tất cả các trình biên dịch được sử dụng để tạo ra mã đối tượng từ mã nguồn, kể cả các chi tiết hóa cho tất cả cài đặt của chế độ đặt khóa chuyển đổi được sử dụng, ví dụ như các tùy chọn chức năng thư viện, mơ hình bộ nhớ, tối ưu hóa, chi tiết bộ nhớ truy cập ngẫu nhiên tĩnh (SRAM), tốc độ xung nhịp và chi tiết về chíp;
- mơ tả về bộ liên kết bất kỳ được sử dụng để liên kết mã đối tượng với các thủ tục thư viện có thể thi hành được.
Kiểm tra sự phù hợp bằng cách kiểm tra tài liệu dẫn chứng và như qui định trong R.3.2.2.2.
CHÚ THÍCH: Ví dụ về một số phương pháp kỹ thuật/biện pháp để đáp ứng yêu cầu này có thể xem trong Bảng R.3.
Kỹ thuật/biện pháp Tài liệu tham khảo
Phương pháp nửa chính thức Sơ đồ khối logic/chức năng Sơ đồ trình tự
Sơ đồ máy trạng thái hữu hạn/chuyển tiếp trạng thái IEC 61508-7, B.2.3.2
Bảng quyết định/sự thật IEC 61508-7, C.6.1