2010年1月20日 航空航天和国防

一切都是为了证据

比尔格雷厄姆

Graham_lg

这是一个重要的区别
关键系统与上述系统的认证是不同的
在“认证”和“认证证据”之间。当认证
安全关键系统达到非常严格的标准,如DO-178B, the
系统作为一个整体被认证,而不是单个组件,如
操作系统或中间件。

安全性的验证和确认
关键系统非常昂贵和耗时。然而,要
大大减轻了测试和测试报告的负担,使用方便
需要商用现货(COTS)硬件和软件。

继续阅读> >

以前的你设计飞行软件吗?
下一个巨大而微小的系统