针对数字信号处理器设计中因相关引发的故障,提出一种基于指令的验证方法。结合处理器的体系结构特点给出处理器表示矩阵,并利用该矩阵,根据所使用的功能单元对指令进行划分。在同一个划分内,指令使用相同的功能单元,对这些指令进行两两组合,生成验证指令序列。考虑测试的可观测性给出观测方法,从理论上证明该方法可以完备覆盖到所有数据相关故障。设计验证指令生成系统自动生成验证指令序列,针对DSPC01处理器进行实验,并与流片后的测试结果比较分析,结果验证了该方法的有效性。
为解决嵌入式系统设备的安全性问题,在操作系统内核一级建立信息安全体系,提出一种安全可信操作系统的实现方法。在Linux基础上实现非对称加密认证、地址隐藏、安全存储、进程可信认证等关键技术,从而构造出可信计算架构,使得操作系统内核可从行为安全方面对系统驱动、应用程序等进程提供可信认证,阻止认证失败的进程在系统上运行。实验结果证明了可信计算架构的正确性,并能实现对嵌入式系统设备的安全保护。
广播加密在现实中有广泛应用,但对于接收者隐私的保护方案仍然较少,且现存的能够保护隐私的方案多数不能抵御合法接收者的替换攻击。针对以上问题,结合密钥交换和秘密共享,提出一种新的基于身份的广播加密方案。接收者在解密时需要密文的哈希值作为解密密钥的一部分,使得密文不可修改,不仅能够保护接收者的隐私,而且能够成功抵御合法接收者集合内部的攻击,即任一合法接收者不能知道另外的接收者身份。分析结果表明,与同类方案相比,该方案在安全性上具有明显优势,且能保证效率性能。
在可视化跟踪过程中目标窗经常会由于遮挡、光照、姿势等变化而发生跟踪漂移,影响目标跟踪的准确性和稳定性。为解决该问题,提出一种基于图层的离散域均值漂移算法,在离散域提取基于核的直方图作为目标模型,并对离散分区中的目标函数进行平滑以避免寻优搜索陷入局部极小值,从而提高目标跟踪性能。实验结果表明,与多示例学习算法相比,该算法的跟踪精度提高了16%,具有更好的实时性和鲁棒性。