Bài viết kỹ thuật

Phát triển hiệu quả Casino Phú Quốc ứ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 Phú Quốc dành cho hệ thống liên lạc, tín hiệu và xử lý) và EN 50657:2017 (Casino Phú Quốc 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 Phú Quốc 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 Phú Quốc 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 này 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 Casino Phú Quốc 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.