一种可信飞行控制系统协同开发的任务分配建模装置

摘要

本发明公开了一种可信飞行控制系统协同开发的任务分配建模装置，属于控制软件的协同开发技术、形式化验证领域。所述装置包括：系统协同模块，用于明确协同开发系统在各阶段的协同分配任务特征及任务关系；任务分解模块，用于根据协同分配任务特征及任务关系对系统进行构件分解得到对应的各待分配任务；任务分配建模模块，用于根据各待分配任务间的任务关系建立任务分配模型；形式化模块，用于对各待分配任务进行形式化描述；模型检测模块，用于根据形式化描述对任务分配模型进行规范化约束验证；反馈模块，用于在模型检测模块验证未通过时，定位并反馈异常。本发明实现了系统协同开发中任务分配的有效建模，保证了系统安全且提高了开发效率。