飞行临界软件的验证与确认

• 作者: 赵永杰
• 来源期刊: 试飞研究
• 学科: 航空航天
• 关键词: 飞行临界系统 数字技术 软件验证 软件确认
• 年，卷（期）: 1998,（4）
• 页码范围: 18-23
• 页数: 6页
• 分类号: V249.122

摘要

飞行监界系统的复杂性和容错要求正在急速增长。因此，必须开发新的技术和方法而且要与已有的方法相结合，以使飞行临界系统在合理开发费用下，达到严格的验证和确认。本文探讨了这类临界领域系统在系统结构和软件设计中的一些高级要求，提出了一些有价值的、有效支持体系结构设计与分析以及软件开发、验证的技术。