26、安全关键 Java：任务方法在列车控制中的应用

安全关键 Java：任务方法在列车控制中的应用

1. 列车控制概述

列车在行驶过程中需要进行多方面的控制和管理，以确保行驶安全和高效。具体包括：
- 路线监控 ：列车需监控自身在指定路线上的行驶进度。在进入新的铁路区段前，必须请求进入许可；接近道岔时，要与中央调度确认道岔是否已正确设置；列车最后一节车厢驶出特定铁路区段后，需告知中央调度已离开该区域，以便其他列车获得通行授权。
- 速度控制 ：列车速度控制需综合考虑预定站点停靠、铁路区段授权、当地限速规定以及燃油效率目标。由于列车质量巨大，制动和加速指令需提前数分钟发出。同时，特定铁路区段的授权可能有时限，如果列车延误到达，授权可能会自动撤销，因此必须满足轨道时刻表的限制。

2. 应用实现描述

为了管理复杂性并分离独立功能组件之间的关注点，该应用程序被划分为多个独立的任务。这种架构具有良好的软件工程优势，各任务之间关注点分离，便于独立开发和演进，且不会影响其他组件的行为或安全认证证据。

以下是应用的任务层次结构：
| 任务名称 | 所属范围 |
| — | — |
| 列车控制应用（Safelet） | IMMORTAL |
| 列车任务（Train Mission） | TM |
| 通信服务（Communication Services） | TM.A |
| 加密与安全（Encryption and Security） | TM.A.E |
| 轨道调制通信（Track-Modulated Communications） | TM.A.F