Các trò chơi trong Casino Phú QuốcRail-Mil đảm bảo an toàn chức năng của hệ thống đường sắt

chúng tôi đã có thể phát triển thành công phần mềm nhúng cần thiết để điều khiển hệ thống điều khiển tàu tự động cấp CBTC theo EN 50128 SIL 4 và xác minh hoạt động an toàn của hệ thống này để đáp ứng tiêu chuẩn an toàn đường sắt EN 50129

Giám đốc bán hàng phần mềm / Rail-Mil

Giới thiệu

Việc triển khai CBTC này với chức năng nguyên lý khối chuyển động đảm bảo điều khiển tàu tự động tiết kiệm năng lượng

Thử thách

Để hoàn thành dự án này

• Phát triển phần mềm điều khiển nhúng cho hệ thống điều khiển tàu tự động loại CBTC
• Xác thực độ an toàn của hệ thống trong mọi điều kiện hoạt động

Cách duy nhất để đạt được điều này đúng thời hạn và phù hợp với ngân sách là sử dụng các kỹ thuật kỹ thuật dựa trên mô hình để phân tích mức độ an toàn của hệ thống

Tiêu chuẩn an toàn phần mềm đường sắt EN 50128 khuyến nghị sử dụng các công cụ xác minh và phát triển phần mềm dựa trên mô hình cho nhu cầu phát triển hệ thống liên quan đến an toàn

Giải pháp kỹ thuật

Rail-Mil đã qua sử dụngBộ Top 10 sòng bạc online SCADE 주요 임베디드trên các bộ phận cố định (bên đường) để tạo ra 60% mã nhúng cho máy tính ATO (Vận hành tàu tự động) và 80% mã nhúng cho MAC (kết nối giao diện với hệ thống khóa liên động SIL 4 hiện có)

họ đã sử dụng SCADE để tạo 90% mã nhúng cho các chức năng ATO và ATP (Bảo vệ tàu tự động)

• Máy tính quan trọng rmVC hoàn chỉnh cho ATO+
• Hệ thống phụ đo đường thông minh dựa trên phương pháp tổng hợp cảm biến có hỗ trợ Đơn vị đo quán tính
• Đo hình dựa trên WiFi
• Mô-đun truyền tải Balise
• Giao diện tín hiệu điều khiển tàu I/O

Rail-Mil đã qua sử dụngPhân tích y tế của Chơi casinoBảo mật cho hệ thống điệnđể cung cấp tài liệu và phân tích Trường hợp An toàn theo tiêu chuẩn an toàn đường sắt EN 50129

Lợi ích

• Mô hình SCADE dễ đọc giúp các kỹ sư đường sắt không cần kỹ năng khoa học máy tính hiểu rõ hơn
• Tạo mã tự động dựa trên mô hình hệ thống
• Tạo mã chứng nhận/đạt tiêu chuẩn EN 50128 SIL 4
• Tiết kiệm thời gian cho việc xác minh và đặc tả hệ thống
• Phân tích nhanh nguyên nhân/tác động của các lỗi có thể xảy ra
• Di ​​chuyển các chức năng hiện có sang Các trò chơi trong Casino Phú Quốc SCADE sau chưa đầy nửa năm sử dụng
• Dễ dàng trao đổi thông tin giữa các nhóm dự án
• Đính kèm tài liệu kiểm tra do SCADE tạo vào Hộp an toàn hệ thống
• Các trò chơi trong Casino Phú Quốc hỗ trợ trong suốt quá trình chứng nhận hệ thống