全部
图书
期刊
学位论文
会议论文
报纸
图片
视频
新闻
关键词
- 基于需求的形式化建模与验证方法研究李勇,曹子宁南京航空航天大学计算机科学与技术学院,
- 作者： 李勇 曹子宁 来源： 计算机技术与发展 年份： 2017 文献类型 ： 期刊 关键词： 模型检测 E RSML Nu SMV 形式化方法
- 描述： 软件开发过程中需求阶段的错误比设计或实现阶段所引入的错误对系统的安全性与可靠性有更大的影响。为了能够在早期发现错误,降低开发成本,精确、简明地验证和规范软件系统和性质,在模型的形式化开发方法和模型
- 通用飞机航电系统开发过程中的需求研究
- 作者： 刘文学 冯伟 刘文 李亚杰 来源： 电子测试 年份： 2017 文献类型 ： 期刊 关键词： 功能需求 适航 安全性 航电系统
- 描述： 在通用飞机的航电系统开发过程中,需求定义是非常关键的环节,本文以飞机级需求、相关适航法律法规、技术标准和未来技术发展为参考,对通用飞机航电系统的功能需求、适航需求、安全性需求、人机功效需求、经济性需求和维护保障需求进行了研究分析,并在实际应用中对某型航电系统的开发形成了有效指导。