监控软件 DO-178C

设计验证图像处理

图像完整性监测是一种机制，用于独立检查从复杂的可编程图形处理单元（GPU）产生的任何图像，可以认为是正确的，并与预期的图像输出一致。 来自商用PC行业的快速发展的图形显示生成技术为实现能力更强、更复杂的显示系统提供了低成本和异常强大的解决方案。随着GPU变得越来越复杂，在屏幕上渲染图像所需的相关驱动程序和应用程序代码也越来越复杂。 这种不断增长的代码大小和复杂性是有问题的。美国联邦航空局和其他国际认证机构规定，软件的设计和测试必须符合飞行关键机载设备的DO-178C准则，以便获得在飞机系统中使用的认证。 解决螺旋式上升的认证成本的理想方案 DO-178认证要求用于提供飞行关键数据的软件要经过详尽的、仔细记录的测试和验证程序，而这些测试和验证程序的成本是非常高的。 使认证过程更加复杂的是，来自PC行业的低成本、高性能的GPU并没有从制造商那里获得设计历史和验证数据的事实。它既没有足够的支持数据，也没有由制造商进行测试以证明运行可靠性和设计完整性。这使得硬件的DO-254认证无法实现。 为安全关键型应用提供完整和准确的数据渲染