基于DO-178B的软件开发过程模型的研究

摘要：

DO-178B标准要求软件开发过程有四个过程,各个过程都有其输入输出和目标要求,过程之间也存在着追踪和依赖关系.本文根据WfMC工作流技术基于活动网络的模型,给出了一个元模型,并基于元模型以活动为中心对这四个过程进行建模,将这四个过程目标要求对应到可实施的活动,并定义了活动的状态及其转移规则.该模型解决了过程目标与活动实施的对应,为基于DO-178B标准的软件开发过程提供了指导和参考.

关键词： 航空计算技术 软件开发 过程模型 工作流

作者: 周江辉 尉斌 程文倩

作者单位: 北京航天航天大学计算机学院,北京,100191 天津理工大学计算机与通信工程学院,天津,300384

会议类型: 国内会议

会议名称: 第八届中国通信学会学术年会

会议地点: 武汉

会议语种:中文

页码: 372-377

在线出版日期: 2011-11-02（万方平台首次上网日期，不代表论文的发表时间）