技术特征：
技术总结
本发明公开了一种可信飞行控制系统协同开发的任务分配建模方法，属于控制软件的协同开发技术、形式化验证领域。所述方法包括：分析并明确协同开发系统在各阶段的协同分配任务特征及任务关系；根据协同分配任务特征及任务关系对协同开发系统进行构件分解得到对应的各待分配任务；根据各待分配任务间的任务关系建立任务分配模型，并对各待分配任务进行形式化描述；根据形式化描述对任务分配模型进行规范化约束验证，如验证通过，则结束；如验证未通过，则定位并反馈异常，结束。本发明实现了系统协同开发中任务分配的有效建模，保证了系统安全且提高了开发效率。
技术研发人员：史建琦;李炬;黄滟鸿;李昂;王振辉
受保护的技术使用者：华东师范大学;上海丰蕾信息科技有限公司
技术研发日：2017.06.09
技术公布日：2017.10.03