科研之友
微信
新浪微博
Facebook
分享链接
摘要
本发明公开了一种可信飞行控制系统协同开发的任务分配建模方法,属于控制软件的协同开发技术、形式化验证领域。所述方法包括：分析并明确协同开发系统在各阶段的协同分配任务特征及任务关系；根据协同分配任务特征及任务关系对协同开发系统进行构件分解得到对应的各待分配任务；根据各待分配任务间的任务关系建立任务分配模型,并对各待分配任务进行形式化描述；根据形式化描述对任务分配模型进行规范化约束验证,如验证通过,则结束；如验证未通过,则定位并反馈异常,结束。本发明实现了系统协同开发中任务分配的有效建模,保证了系统安全且提高了开发效率。
- 单位
