Bài viết kỹ thuật

Phát triển hiệu quả Casino chơi như thế nào ứng dụng đường sắt an toàn với EN 50128/EN 50657

Sổ tay phương pháp này cung cấp giải thích chi tiết về cách đáp ứng đầy đủ các yêu cầu của EN 50128:2011 (Casino chơi như thế nào dành cho hệ thống liên lạc, tín hiệu và xử lý) và EN 50657:2017 (Casino chơi như thế nào dành cho ứng dụng đầu máy toa xe) với phương pháp phát triển dựa trên mô hình SCADE để đạt được Casino chơi như thế nào an toàn và đáng tin cậy, đồng thời thúc đẩy chiến lược xác minh và phát triển dựa trên mô hình hiệu quả.

Sổ tay giới thiệu các tiêu chuẩn EN 50126, EN 50128, EN 50657 và EN 50129 trước khi trình bày cách tối ưu hóa quy trình xác minh và phát triển Casino chơi như thế nào có thể đạt được bằng chuỗi công cụ và phương pháp SCADE. Các công cụ SCADE hỗ trợ sản xuất và xác minh tự động phần lớn các thành phần của vòng đời phát triển.

Sổ tay không có ý định áp đặt các điều kiện sử dụng chính thức. Bạn có thể tìm thấy hướng dẫn chính thức trong Trường hợp an toàn SCADE Suite KCG và trong Báo cáo đường sắt T V S D về SCADE Suite KCG, Kiểm tra SCADE và chứng chỉ SCADE LifeCycle.