摘要：为了提高安全编码处理器的可维护性,基于安全冗余编码算法,设计了2种冗余代码检错工具。研究表明:在线检错工具较离线检错工具能够更准确地定位错误的初发位置,并且对程序的运行效率影响很小。

摘要：目前应用在嵌入式系统的各种内存检测方案,很难均衡地满足内存检测性能要求:比较高的检测覆盖率、比较低的硬件开销、比较高的检测速度。根据轨旁安全计算机的系统特性和安全性要求,提出了一种软硬件相结合的内存内建测试架构方案,利用硬件BIST方案来检测高层次内存故障和软件BIST方案来覆盖低层次内存故障。实际项目应用结果显示,该混合内存检测方案可以有效地减少硬件开销和降低检测时间,并提高内存故障检测覆盖率至99%,使系统能够满足高实时性、高安全性的要求。

摘要：以应用于城市轨道交通行业中的车载控制器研发实例为背景,研究嵌入式关键安全软件的在线自检与切片恢复方法,实现了城轨运控系统车载控制器设计开发。实际应用结果显示,该方法可以避免车载控制器嵌入式软件代码段发生故障而导致控制器系统性失效,保证安全性和可靠性,同时利用切片恢复方法,降低系统维护难度和减少系统更新时间,提高系统的可用性和稳定性。