嵌入式系统前端开发工具的设计与实现

主要介绍了为更好地对嵌入式系统中硬件环境作形式化描述而开发的ＥＨＤＬ语言,首先介绍了ＨＥＤＬ语言的设计模型和程序结构,然后介绍ＥＨＤＬ语言编译器的主要实现技术。     

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

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

基于嵌入式系统的软件开发

嵌入式系统是计算机应用的一个重要领域，应用越来越广泛．本文简介了嵌入式系统的概念和结构，描述了嵌入式软件及其开发方法，阐述了嵌入式软件的发展趋势．     

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

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

汕头软件园产业发展调查研究报告

前言 软件产业是当今最具广阔前景的新兴产业之一。从世界范围看,美国、以色列、德国、爱尔兰和印度等国家的软件产业正在迅速崛起,已经形成相当规模,并形成适合各自的发展模式。美国面向全球市场,发展全程的产业链;日本面向本国硬件产业,大力发展嵌入式软件;印度积极拓展海外市场,逐渐成为软件出口大国;爱尔兰专注分销环节,成为美国产品进人欧洲的分销基地;德国重视应用,兼顾国内与国外市场。     

三余度信号表决系统在SCADE下的设计与实现

主要介绍了基于嵌入式软件开发的新方法——实时嵌入式软件开发的高效解决方案SCADE,进行图形化软件开发、代码自动生成的关键技术。总结了图形化软件开发的一般流程,并且以SCADE在三余度信号表决系统中的应用实现图形化设计与代码自动生成,并将生成的代码与手工开发的代码进行比较之后嵌入到VxWorks中完成功能测试。     

嵌入式系统软件可靠性模型的研究

针对嵌入式系统中软件和硬件密切相关,都会导致软件故障这一问题,提出了一种考虑硬件相关的软件可靠性模型,并利用MATLAB软件对真实的项目数据进行仿真实验,结果表明:新模型随着测试的进行对实际数据的拟合性能比传统模型好.该模型提供了更准确的软件可靠性估计,能够帮助人们在嵌入式软件早期测试阶段制定出更好的的测试策略.     

嵌入式软件的安全设计理念

随着技术的发展,网络、浏览器等越来越多的功能加入到嵌入式软件中。本文结合笔者的开发经验分析了影响嵌入式软件安全的三种因素和几种有效地安全设计理念。     

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

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

嵌入式软件的构件化开发研究

随着嵌入式系统的快速增长和嵌入式软件复杂度的增长,如何提高嵌入式开发质量和效率以及缩短产品进入市场时间是亟待解决的问题。本文首先对传统的设计方法学进行了简单的介绍,分析了其不足之处;然后就构件、嵌入软构件的基本概念进行了详细阐述;最后以实时CORBA规范为基础,提出了一个实时ORB实现框架,重点对基于构件的嵌入式软件开发技术进行了详细地探讨。