32、澳大利亚国防军调度工具COAST：原理、实现与应用

澳大利亚国防军调度工具COAST：原理、实现与应用

1. 先进状态空间方法概述

先进状态空间方法的发展为系统验证带来了新的可能。过去，普通状态空间方法在验证某些系统配置时存在局限性。而如今，一系列先进状态空间方法被开发并应用，能够验证更大规模的系统配置，甚至在某些情况下可以验证实际中可能出现的所有配置。此外，同时使用两种先进状态空间方法，能获得比单独使用其中任何一种方法更好的缩减效果。

2. 澳大利亚国防军调度工具COAST

2.1 项目背景与目标

该项目与澳大利亚国防科学技术组织（DSTO）合作开展，旨在开发一个行动方案调度工具（COAST）。通过CPN建模来概念化和形式化该工具所支持的规划领域，并将构建的CPN模型嵌入到COAST服务器中，结合定制的状态空间分析算法，实现从设计到系统实施的有效衔接。

2.2 计划与任务调度

• 关键概念
  • 任务（Tasks） ：计划的基本单位，有前置条件、执行效果、所需资源和可能的持续时间。
  • 条件（Conditions） ：描述任务之间的逻辑依赖关系，如任务T1的效果可作为任务T2的前置条件。
  • 资源（Resources） ：任务执行过程中使用的资源，如飞机、船只和人员，可能在特定时间可用，也可能在任务执行中丢失。
  • 同步（Synchronisations） ：规定一