嵌入式软件安全可靠性探索

嵌入式软件由于其应用场合、硬件平台及操作系统的多样性，使嵌入式软件在各种不同条件下可能出现未知、不可预测的状况，即其潜在风险往往比通用PC机的软件要高，高可靠性和安全性自然成为嵌入式系统的重要指标。嵌入式软件根据经验可以从三个方面来谈谈加强其安全可靠性：硬件安全（主要指承载软件的芯片安全）、平台安全（主要指支撑软件运行的嵌入式操作系统）、应用安全（主要指嵌入式软件自身的算法规范性、数据加密、内容完整性和授权）。     

基于IEC61508的嵌入式软件可靠性设计与验证

作为流程工业领域中典型的现场设备,智能变送器的嵌入式软件可靠性备受关注。利用IEC61508功能安全标准中软件开发V模型的思想,对智能压力变送器进行了软件设计与验证,包括系统安全需求分析、软件结构设计、模块设计与测试,最后采用失效模式影响及诊断分析(FMEDA)和故障注入试验2种方法对系统进行了安全评估。评估结果表明:在生产工艺给安全性带来很大不确定性的条件下,所研究的智能变送器的安全失效分数为88.3%,基本达到了当前先进智能变送器的安全失效分数水平。     

嵌入式软件调试器的设计与实现

嵌入式软件调试环境为嵌入式软件的开发提供了一个友好的软件调试平台．从一种新的角度探讨了一种面向嵌入式软件的调试环境，即基于嵌入式系统目标机机内调试器的嵌入式软件调试环境．介绍了一种面向程序设计语言的符号化调试技术，并重点剖析调试环境内核的设计与实现技术．     

设计中的安全理念探析

随着经济的发展，安全越来越得到社会的重视，安全理念也逐渐渗透的各个行业和专业，本文介绍了设计中需要树立安全的理念，使设计更加完善。     

嵌入式软件设计中的关键技术及其实现

针对“非功能”因素如何进行重新抽象的问题,提出了一个“面向参与者”的抽象模型,较好地解决了嵌入式软件系统中的可靠性问题,并初步对“非功能”因素进行了重新抽象。     

嵌入式软件调试环境的对等协议的设计与实现

基于目标机机内调试器的嵌入式软件调试，是通过采用宿主机一端的嵌入式软件调试环境与目标 机一端的机内调试器之间的通信连接，并遵循共同的协议规则来完成的。主要介绍该种调试用对等协议的 设计原则与主要实现技术，实现对目标机的源级虚拟调试。     

几种典型的嵌入式软件测试方法

根据嵌入式软件的大量应用的实际情况,对不同类型的几种软件测试的测试方法进行简要介绍,针对不同方法的差异性和特点进行了分析,以指导设计人员开展软件的开发、分析与测试。     

构件化嵌入式软件设计的能耗性质分析与验证

从嵌入式软件设计模型层对构件化实时嵌入式软件系统中能耗相关性质进行研究,包括:扩展了实时接口自动机在能耗语义方面的描述能力,通过引入状态能量消耗率,建立了能耗接口自动机形式化模型以及自动机网络,用以建模嵌入式软件设计阶段系统构件及其构件组合的能耗行为特征;对能耗接口自动机网络的状态空间进行了形式化分析,构造了相应的可兼容整型空间的可达图,并在此基础上给出了最小能耗计算和最大能耗验证的算法.     

SINS/GPS组合导航系统的嵌入式软件设计

开发了基于SINS/GPS组合导航系统的嵌入式软件。在研究SINS/GPS组合导航基本原理的基础上,提出了软件的总体设计方案,给出了详细的软件设计过程,编写了系统的启动程序,设计了中断驱动方式的主程序结构,并通过采用汇编语言和C语言的混合编译方式完成程序的设计,通过实际应用,表明基于嵌入式软件设计的SINS/GPS组合导航系统具有较强的容错能力和余度能力。     

嵌入式软件调试环境的对等协议的设计与实现

基于目标机机内调试器的嵌入式软件调试，是通过采用宿主机一端的嵌入式软件调试环境与目标机一端的机内调试器之间的通信连接，并遵循共同的协议规则来完成的。主要介绍该种调试用对等协议的设计原则与主要实现技术，实现对目标机的源级虚拟调试。     

嵌入式软件测试策略研究

嵌入式软件测试不仅需要搭建恰当的测试环境,更需要一套有效的测试策略。本文首先介绍了嵌入式软件的测试环境,接着在分析嵌入式软件测试环境特点和测试难点的基础上,提出了嵌入式软件在不同测试阶段的测试策略。     

基于实时对象建模的嵌入式软件开发

将面向对象的分析、设计和实现模式应用于嵌入式实时软件的开发，能极大地提高目标软件的性能和开发效率．通过UML—RT建模语言及其支持工具应用于汽车气囊安全系统实时软件的开发，阐述了基于对象模式的嵌入式软件开发过程，提出了基于事务映射的多线程模型实现方法．     

加强政策扶持促进河北省嵌入式软件产业的形成和发展

针对我省嵌入式软件产业发展的有关问题和相关政策进行了探讨,提出了我省发展嵌入式软件产业发展的目标和应采取的具体措施.     

基于嵌入式软件架构的可靠性分析方法

提出了一个基于嵌入式软件架构分析方法,在开发初期对系统架构进行可靠性分析,得到可能引起软件失效的主要因素。     

华翔路地道基坑围护设计及安全评估

以上海市华翔路地道基坑围护设计为例,介绍了地道基坑围护的结构选型、支护结构计算分析及环境影响有限元分析,最终得出基坑围护结构的安全性评估结论。     

一种嵌入式软件WCET估计新方法

在实时嵌入式系统设计中,计算在最坏情况下软件执行时间的上界是很必需的,它为软硬件划分和进程调度提供了依据．由于现代微处理器使用了基于Cache存储和指令预取技术,增加了准确确定这一上界的难度,为此提出了一种基于指令Cache和指令预取联合模型的嵌入式软件性能评估新方法．该方法通过使用控制流程图和Cache冲突图,在Cache分析中联合指令预取分析,使得估计最坏情况下嵌入式软件的执行时间上界更精确;并使用了整数线性预测方法,使得求解计算复杂度降低．实验结果表明该方法估计精度可以提高近5％．     

铁路信号产品安全通信设计原则及实例研究

铁路信号产品中各设备或模块之间通信的可靠性和安全性,直接关系到铁路运营安全和人员安全。EN50159标准是专门针对铁路信号系统中安全相关通信而拟定的,该标准提出了安全通信协议应满足的安全要求,以及应对通信风险应采取的措施。在产品设计阶段实现本质安全的设计是解决通信失效带来影响的重要措施。本文将从以下两个方面进行研究:(1)EN50159安全通信标准的要求;(2)当既有铁路信号产品面临兼容性问题而无法修改通信协议时,应如何通过修改硬件结构设计来弥补通信协议的不足。本文将给出实例和分析过程。     

嵌入式软件机器码的智能反汇编方法研究

提出采用静态扫描的方法，研究出了一套完整的扫描算法．通过确定出碰到间接转移类指令时转移地址的范围，从而遍历指令运行所有可能的路径，实现嵌入式软件机器码的智能反汇编。     

关于嵌入式软件测试平台的配置探析

本文系统地总结了构建软件测评中心所必须具备的条件,给出了软件测试的详细过程以及各个阶段的测试工具。经过充分的市场调研,并结合嵌入式软件的特点及工作需求,开发了一个嵌入式软件评测的平台,对嵌入式软件测试平台配置的研究有一定的参考价值。     

浅谈山区公路设计中道路安全理念的应用

随着我国公路建设的不断发展,山区公路不断增多,由于山区地形以及环境都较为复杂,因此影响山区公路安全的因素有很多面,其中最重要的一个影响层面就是山区公路最初的设计不合理,这种因素也是导致山区公路重大交通事故的重要原因之一,往往在最初的山区公路设计时被人所忽略,从而导致严重的后果。因此,在山区公路设计中,应综合考虑到影响交通安全的几点重要因素,时刻有着山区道路安全的理念,只有这样才能够使山区公路在未来的应用中增加交通安全性。该文则结合我国山区公路设计中的问题进行分析,阐述山区道路交通安全的理念应用,以供参考。