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

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

1. 列车控制概述

列车在运行过程中需要进行多方面的控制和管理，以确保安全和高效运行。具体包括以下两个主要方面：
- 路线监控 ：列车需沿着指定路线行驶，在进入新的铁路区段前，要请求进入许可。接近道岔时，需与中央控制部门确认道岔是否已为列车预定路线设置妥当。当列车最后一节车厢驶出特定铁路区段时，要通知中央控制部门，以便其他列车获得通行授权。
- 速度控制 ：列车速度控制需综合考虑预定站点停靠、铁路区段授权、当地限速以及燃油效率目标等因素。由于列车质量巨大，制动和加速指令需提前数分钟发出。而且，进入特定铁路区段的授权可能有时限，如果列车延迟到达，授权可能会自动撤销，因此遵守轨道时间表约束至关重要。

2. 应用实现描述

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

2.1 任务层次结构

应用的嵌套任务层次结构如下表所示：
|任务名称|所在范围|
| ---- | ---- |
|Train Control Application (Safelet)|IMMORTAL|
|Train Mission|TM|
|Communication Services|TM.A|
|Encryption and Security|TM.A.E|
|Track - Modulated Communications