浅谈DO-178C中附加代码验证目标的实现

DO-178C要求基于需求的测试结构覆盖率分析可以在源代码、目标码或者可执行目标码级别开展,如果结构覆盖率分析在源代码级别开展,那么测试覆盖分析并不包含对编译器、链接器产生的附加代码的验证。DO-178C要求A级软件应特别关注这些附加代码,对附加代码进行识别,并按照正常代码的验证要求对附加代码进行验证。在分析DO-178C、DO-248C、CAST-12的基础上,从适航认证角度探讨了基于源代码执行结构覆盖分析时,A级软件如何满足DO-178C表A-7目标9“不能追踪到源代码的附加代码的验证已完成”。     

浅谈大数据在精密惯性仪表中的应用

精密惯性仪表被广泛应用于地面武器、飞机、舰船、航天器中,其作用是敏感、测量载体加速度和姿态等信息,确定载体的运动轨迹参数,实现对载体的精密导航、定向定位,在武器装备中具有非常重要的地位。首先从构成精密惯性仪表的精密微细结构出发,对大数据在制造过程中存在的问题进行了分析。通过对典型惯性产品装配过程的分析,总结了惯性仪表在装配过程中对产品精度和性能产生影响的几类微观效应;其次,通过分析“熵”在我国制造领域中的应用,提出了“熵”理论在惯性仪表装配过程中的应用思路;最后,结合上述分析结果,以三维点云数字化虚拟装配技术在惯性仪表中的应用和“熵”在惯性仪表故障识别与误差建模方向上的应用为例,给出了具体的研究内容、技术流程和研究结果。