Các loại cờ bạcRail-Mil đảm bảo an toàn chức năng cho 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ộ Đánh bài casino SCADEtrê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 kết hợp cảm biến với sự hỗ trợ của Đơn vị đo lường 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 sòng bạc việt namBảođể có tài liệu về Trường hợp An toàn và phân tích 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 loại cờ bạ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 loại cờ bạc hỗ trợ trong suốt quá trình chứng nhận hệ thống