论文部分内容阅读
嵌入式系统可信软件栈是可信嵌入式系统的重要组成部分,对嵌入式系统可信软件栈的一致性测试是确保上层应用可靠、有效运行的基础条件。论文讨论了对嵌入式系统可信软件栈的一致性测试框架和方法,实验结果表明现有的开源可信软件栈存在着不符合标准规范的问题。
嵌入式系统可信软件栈自动化测试研究
【摘 要】
：
嵌入式系统可信软件栈是可信嵌入式系统的重要组成部分,对嵌入式系统可信软件栈的一致性测试是确保上层应用可靠、有效运行的基础条件。论文讨论了对嵌入式系统可信软件栈的
【机 构】
：
91404部队92分队
【出 处】
：
计算机与数字工程
【发表日期】
：
2013年2期
其他文献
《长江干线水上交通安全管理特别规定》已于2017年10月31日经第19次部务会议通过，现予公布，自2018年1月1日起施行。部长李小鹏2017年11月4日
目的观察针拨联合5氟尿嘧啶(5FU)注射对青光眼小梁切除术后早中期功能不良滤过泡的处理效果和影响因素。方法对34例(40只眼)青光眼患者术后2～8周内滤过功能不良滤过泡行针拨联
提出了相关多输入多输出信道下的一种空时分组码、空分复用与波束成型相结合的新方案．该方案利用了发射分集和空分复用所带来的分集和复用增益，并基于接收机反馈的信道相关矩阵
针对目前混沌加密算法重于理论研究的现实,结合P2P网络传输结构的安全隐患,以Windows Peer-to-Peer Networking平台的Graph模块为基础,设计了一种运用混沌加密算法进行通信数
随着储备国粮仓库的不断建立,自动化技术开始在诸多国粮仓库调运粮食的系统中出现[1]。文章通过控制源为PLC的机械化浅圆仓控制系统的软件及其结构设计,对机械化浅圆仓的系统
对连续数据知识挖掘可采用模糊C均值聚类将其离散化，再应用粗糙集进行约简．文中针对该过程中样本数据离散化后出现多个聚类中心隶属度值较接近的情况．提出了隶属度重叠度的方法
双孢蘑菇俗称丁子菇。依靠自然温度进行室内床架栽培，采收期集中在10～12月和翌年4～5月，春秋鲜菇上市过于集中，货多价低，效益不佳。为此，笔者进行了日光温室浅地沟栽培的实践与探索，取
无人水面航行器（USV）,简称无人船,作为人类开发和利用海洋的重要工具之一,凭借其模块化、无人化、小型化、智能化等优点,受到越来越多的重视。该系统基于32位内嵌ARM CortexTM-
第一章总则第一条为了规范证券登记结算行为，保护投资者的合法权益，维护证券登记结算秩序，防范证券登记结算风险，保障证券市场安全高效运行，根据《证券法》、《公司法》等法律、行
一个合理的P2Poverlay可以为P2P应用提供更好的支持。非结构化P2Poverlay的构建比较简单随意，适合于信息发布、即时通讯等节点随时加入退出的情况。构建具有可扩展性和稳健性