3SF技术在嵌入式软件可靠性定性分析中的应用

针对嵌入式软件可靠性特点和存在的问题,将“3F”技术———故障模式影响及危害性分析FMECA,故障树分析FTA和故障报告、分析与纠正措施系统FRACAS用在软件可靠性定性分析中,提出了“3SF”技术。本文从嵌入式软件可靠性的概念和特点入手,深入研究了3SF技术在软件可靠性定性分析中的具体应用,并给出软件FMECA和软件FTA分析实例。最后对将两者与软件FRACAS的结合作了研究。     

基于UML状态机与B方法的高可信嵌入式软件开发

提出了一套集成UML与B方法开发高可信嵌入式软件的实用方案：以软件的UML状态机模型为起点,将其转换为B抽象模型并在B工具中验证该模型的一致性,然后遵循B模型逐步精化的开发规则,利用B方法的精化正确性验证功能,得到系统的可靠的实现模型,最后借助B工具自动生成C代码。实例分析表明,这套方法可以提高尚可信嵌入式软件的开发验证效率。给出了嵌入式软件设计中常用的UML并发状态图到B抽象模型的转换规则。     

基于TMS320VC33的导航计算机软件开发实用技术

简单介绍了基于TI公司数字信号处理芯片TMS320VC33的导航计算机系统软件开发实用技术,包括软件的结构设计,混合编程,软件模块化原则,软件自动复位技术,实时性的可靠性检测,程序烧写与后期维护的关系等。对基于VC33开发的用户有一定的指导意义,对于其它嵌入式开发也有参考价值。     

基于SCADE的嵌入式软件开发

嵌入式技术是计算机发展的趋势之一,被广泛应用于工业和军事领域。SCADE(高安全性的应用程序开发环境)为嵌入式软件提供了一套基于模型的开发方式。从嵌入式软件的特点入手,对基于模型的嵌入式系统软件开发技术进行了深入剖析,并给出了一个基于SCADE的开发实例。     

Altera宣布为NiosII系统提供C语言至硬件加速工具

Altera公司为NiosII系统开发人员提供新的NiosII C语言至硬件加速（C2H）编译器效能工具，该工具能够有效的提高嵌入式软件的性能。由于越来越多的嵌入式设计使用了FPGA，因此，NiosII C2H编译器的目的是帮助嵌入式系统开发人员提高效率，实现成功的设计。作为NiosII C2H编译器的一部分，Ahera还允许第三方工具供应商使用其系统级基本结构，包括QuartusII SOPC Builder工具，以促进多种电子系统级（ESL）设计工具的开发。     

基于目标机的嵌入式软件单元测试

嵌入式软件测试又称为host-target测试或Cross-Testing。嵌入式软件因具有实时和多任务处理,使得测试上有其自身的特点和难点。根据软件单元测试理论,介绍了一种基于目标机的嵌入式软件测试单元测试方法及步骤。     

一种智能家庭嵌入式系统的设计与实现*

针对电力线载波技术是实现家庭与个人信息化“最后10米”问题最有效手段之一,提出了一种基于电力线载波通信的家庭智能化解决方案;借助电力线的公共性,采用载波通信处理芯片,设计智能家庭嵌入式软件系统,实现对智能家庭管理的灵活性和便捷性。     

OSEK车用嵌入式系统报警器模块的设计与实现

OSEK是欧洲汽车行业提出的用于汽车电子行业的实时操作系统的国际标准,基于该规范的汽车应用软件具有良好的可靠性和可移植性,能满足汽车仪表、汽车控制系统等多种开发的需求;对OSEK标准中的报警器模块实现的难点给出了详细说明,采取提高时间响应特性算法保证了系统的实时性,在此基础上开发出了符合OSEK标准的报警器模块,最后使用基于飞恩卡尔MC9S12DP256B的16位芯片的电控单元开发板的硬件测试平台对开发出的报警器模块进行测试,测试表明设计的报警器模块完全达到了OSEK标准中对报警器模块的设计要求.     

激光雷达SCADA跨平台嵌入式软件设计

为满足激光雷达系统控制与数据采集( SCADA)对跨平台的需求,利用基于组件的框架技术,在ColdFire+ μC/OSII初始平台上采用标准C语言实现了SCADA嵌入式软件.在领域分析基础上明确了SCADA软件架构,对软件架构进行可通用部分和平台依赖部分划分及组件化处理,形成SCADA软件框架,并在框架基础上完成软件设计.实验结果表明,基于框架的SCADA嵌入式软件不仅提高了软件的可靠性和可扩展性,而且实现了软件向其它平台扩展的能力,达到了设计重用和代码重用目的.     

计算机的嵌入式实时软件开发

为了提升计算机软件在应用过程中的时效性与功能性,文章研究了运用嵌入式实时分析的手段来调试相应的软件,并对接好软件的使用与软件构件开发的模式,使嵌入式实施框架的优势得到发挥,最终实现软件开发能力的全面升级。