测试图形法在Protos自动测试台中的应用

本文简要介绍Protos高速卷烟机自动测试台的工作原理及其图形测试输入法的基本应用。为检验某项功能,先给定输入测试图案,当被测系统的输出响应图案与输出预期响应图案一致时,说明此项功能检验正确。反之,有故障。     

可信系统信任链研究综述

信任链是实施可信系统的关键技术之一,本文从信任链理论和应用系统出发,介绍了研究信任链理论的典型模型及近年来的研究进展,包括基于无干扰理论的信任链传递模型和基于组合安全理论的信任链模型,详细阐述了这两种信任链理论模型的优势和不足.介绍了基于静态信任根和动态信任根的信任链应用系统的研究状况,介绍了信任链远程证明技术,介绍了云计算环境下的信任链应用系统,对信任链应用系统存在的安全缺陷以及一致性和安全性测评方法进行了分析论述,并展望了该领域未来的发展趋势.     

PC—NFS在OPIAC网络适配器的应用

本文介绍了OPIAC(雅派克容错计算机)网络适配器,讨论了网络接口的软件实现方法以及PC—NFS的应用。     

OMT方法在信息系统分析中的应用研究

本文简单介绍了OMT方法学的建模方法,并应用这种技术解决了某企业人力资源管理信息系统中的工资资金管理子系统建模与设计问题,通过所建立的模型在实际项目中成功地实现,充分体现了OMT方法的实用性、灵活性和完整性。     

嵌入式实时操作系统可信计算技术研究

可信计算能有效提高嵌入式实时操作系统的安全性,但现有的可信计算技术较难满足该系统实时性和低功耗的要求。为此,提出一种基于VxWorks内核的可信计算解决方案。设计嵌入式实时可信平台模块和可信软件栈,实现基于完整性度量证书的信任链传递结构和轻量级访问控制框架。实验结果证明,可信平台模块相比SW-TPM模块平均命令执行时间节省了65.81%,轻量级访问控制框架对系统内核的性能影响也较小,可满足嵌入式实时操作系统的应用要求。