Tóm tắt:

Khi thiết kế mới, nâng cấp một hệ thống điều khiển tín hiệu trong ga, đưa nó vào hoạt động điều khiển chạy tàu, việc xác minh tính đúng, tính an toàn của hệ thống liên khóa máy tính, hệ thống thành phần cốt lõi của hệ thống điều khiển tín hiệu trong ga là vấn đề cấp thiết, đặc biệt khi triển khai chúng ở các loại hình đường sắt ở Việt Nam. Phân tích các hoạt động chạy tàu trong ga sẽ đặt ra những quy trình công nghệ với sự tham gia của các yếu tố tạo nên những quy trình an toàn. Phân tích hoạt động của hệ thống điều khiển tín hiệu trong ga sẽ nhóm ra được các yếu tố, thiết bị liên quan tới tính đúng và tính an toàn của các tác nghiệp chạy tàu trong ga. Xây dựng sơ đồ thuật toán thực hiện tác nghiệp điều khiển chạy tàu của ga sẽ là cơ sở cho việc thiết kế, xây dựng hệ thống liên khóa máy tính. Đưa các yếu tố, thiết bị theo các nhóm đã được hình thành khi phân tích vào thuật toán sẽ đảm bảo sự tham gia cần thiết, đủ và hợp lý của chúng cho tác nghiệp chạy tàu hoạt động đúng và an toàn. Việc kiểm tra, xác minh tính đúng, tính an toàn sẽ được thực hiện, thực hiện tự động trên cơ sở các thuật toán này.