局域增强系统(L oca l A rea A ugm en ta tion System,LAA S)是美国联邦航空局(F ed era l A v ia tion A d-m in istra tion,FAA)开发的G PS地基增强系统,支持G PS差分精密进近和着陆.多基准一致性检测是LAA S地面完好性监测的核心算...局域增强系统(L oca l A rea A ugm en ta tion System,LAA S)是美国联邦航空局(F ed era l A v ia tion A d-m in istra tion,FAA)开发的G PS地基增强系统,支持G PS差分精密进近和着陆.多基准一致性检测是LAA S地面完好性监测的核心算法.多基准一致性检测通过对伪距校正误差的测试和评估,保证了LAA S地面系统发布的伪距校正量误差不超出一个给定的范围.本文详细讨论了LAA S完好性监测模型中多基准一致性检测算法的B值的含义,并通过实验分析了B值的范围和阈值的选取.结果表明:在正常无故障情况下,B值的大小稳定在一个较小的范围内变化.一旦发生故障,通过阈值的限制就能检测出B值异常的情况.展开更多
OSEK/VDX(open systems and the corresponding interfaces for automobile electronic/vehicle distributed execu-tive)OS规范描述了一个嵌入式实时操作系统,对系统服务调用的上下文做了严格的限制。违反系统服务调用规范是一种很隐...OSEK/VDX(open systems and the corresponding interfaces for automobile electronic/vehicle distributed execu-tive)OS规范描述了一个嵌入式实时操作系统,对系统服务调用的上下文做了严格的限制。违反系统服务调用规范是一种很隐蔽的错误,不会被编译器发现。提出一种OSEK/VDX OS系统服务调用规范一致性的检测方法,利用森林图描述用户自定义代码中的函数及其调用关系,采用矩阵描述OSEK/VDX OS系统服务调用的规则,遍历该森林图的函数调用路径,对于每条路径,结合该规则矩阵判断其规范一致性。实验和分析表明该方法能有效地检测用户自定义代码中隐藏的违反OSEK/VDX OS系统服务调用规范的错误。展开更多
文摘局域增强系统(L oca l A rea A ugm en ta tion System,LAA S)是美国联邦航空局(F ed era l A v ia tion A d-m in istra tion,FAA)开发的G PS地基增强系统,支持G PS差分精密进近和着陆.多基准一致性检测是LAA S地面完好性监测的核心算法.多基准一致性检测通过对伪距校正误差的测试和评估,保证了LAA S地面系统发布的伪距校正量误差不超出一个给定的范围.本文详细讨论了LAA S完好性监测模型中多基准一致性检测算法的B值的含义,并通过实验分析了B值的范围和阈值的选取.结果表明:在正常无故障情况下,B值的大小稳定在一个较小的范围内变化.一旦发生故障,通过阈值的限制就能检测出B值异常的情况.
文摘OSEK/VDX(open systems and the corresponding interfaces for automobile electronic/vehicle distributed execu-tive)OS规范描述了一个嵌入式实时操作系统,对系统服务调用的上下文做了严格的限制。违反系统服务调用规范是一种很隐蔽的错误,不会被编译器发现。提出一种OSEK/VDX OS系统服务调用规范一致性的检测方法,利用森林图描述用户自定义代码中的函数及其调用关系,采用矩阵描述OSEK/VDX OS系统服务调用的规则,遍历该森林图的函数调用路径,对于每条路径,结合该规则矩阵判断其规范一致性。实验和分析表明该方法能有效地检测用户自定义代码中隐藏的违反OSEK/VDX OS系统服务调用规范的错误。
