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

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