排序方式: 共有68条查询结果,搜索用时 0 毫秒
11.
嵌入式系统前端开发工具的设计与实现 总被引:6,自引:0,他引:6
主要介绍了为更好地对嵌入式系统中硬件环境作形式化描述而开发的EHDL语言,首先介绍了HEDL语言的设计模型和程序结构,然后介绍EHDL语言编译器的主要实现技术。 相似文献
12.
作为流程工业领域中典型的现场设备,智能变送器的嵌入式软件可靠性备受关注。利用IEC61508功能安全标准中软件开发V模型的思想,对智能压力变送器进行了软件设计与验证,包括系统安全需求分析、软件结构设计、模块设计与测试,最后采用失效模式影响及诊断分析(FMEDA)和故障注入试验2种方法对系统进行了安全评估。评估结果表明:在生产工艺给安全性带来很大不确定性的条件下,所研究的智能变送器的安全失效分数为88.3%,基本达到了当前先进智能变送器的安全失效分数水平。 相似文献
13.
段盛 《邵阳学院学报(自然科学版)》2006,3(3):25-27
嵌入式系统是计算机应用的一个重要领域,应用越来越广泛.本文简介了嵌入式系统的概念和结构,描述了嵌入式软件及其开发方法,阐述了嵌入式软件的发展趋势. 相似文献
14.
构件化嵌入式软件设计的能耗性质分析与验证 总被引:1,自引:0,他引:1
从嵌入式软件设计模型层对构件化实时嵌入式软件系统中能耗相关性质进行研究,包括:扩展了实时接口自动机在能耗语义方面的描述能力,通过引入状态能量消耗率,建立了能耗接口自动机形式化模型以及自动机网络,用以建模嵌入式软件设计阶段系统构件及其构件组合的能耗行为特征;对能耗接口自动机网络的状态空间进行了形式化分析,构造了相应的可兼容整型空间的可达图,并在此基础上给出了最小能耗计算和最大能耗验证的算法. 相似文献
15.
16.
主要介绍了基于嵌入式软件开发的新方法——实时嵌入式软件开发的高效解决方案SCADE,进行图形化软件开发、代码自动生成的关键技术。总结了图形化软件开发的一般流程,并且以SCADE在三余度信号表决系统中的应用实现图形化设计与代码自动生成,并将生成的代码与手工开发的代码进行比较之后嵌入到VxWorks中完成功能测试。 相似文献
17.
针对嵌入式系统中软件和硬件密切相关,都会导致软件故障这一问题,提出了一种考虑硬件相关的软件可靠性模型,并利用MATLAB软件对真实的项目数据进行仿真实验,结果表明:新模型随着测试的进行对实际数据的拟合性能比传统模型好.该模型提供了更准确的软件可靠性估计,能够帮助人们在嵌入式软件早期测试阶段制定出更好的的测试策略. 相似文献
18.
随着技术的发展,网络、浏览器等越来越多的功能加入到嵌入式软件中。本文结合笔者的开发经验分析了影响嵌入式软件安全的三种因素和几种有效地安全设计理念。 相似文献
19.
几种典型的嵌入式软件测试方法 总被引:1,自引:0,他引:1
根据嵌入式软件的大量应用的实际情况,对不同类型的几种软件测试的测试方法进行简要介绍,针对不同方法的差异性和特点进行了分析,以指导设计人员开展软件的开发、分析与测试。 相似文献
20.