基于μC/OS的嵌入式系统任务设计方法

在基于实时操作系统的嵌入式系统中,任务设计是整个嵌入式系统软件设计的基础,其他软件设计都是围绕任务设计来展开的。为提高嵌入式系统软件设计的效率,本文以著名的、源码公开的实时操作系统C/OS为背景,详细阐述了嵌入式系统中的任务设计方法。     

状态图在嵌入式软件中的可靠应用

如何使嵌入式系统软件代码更加可靠,减少程序中的Bug,一直以来都是嵌入式程序员追求的目标。本文论述了状态图建模的相关概念及其在嵌入式软件中的应用———按键扫描与烤箱温度控制系统的状态机建模及C语言实现。状态图建模通过减少代码中的分支语句,实现了提高系统软件性能的目标,尤其是可靠性得以改善。     

状态机在嵌入式系统设计中的应用

为了使嵌入式系统软件更易于编写,并且提高可维护性,本文将有限状态机引入到嵌入式系统设计中.以工程实例为背景,首先利用程序流程图对算法进行描述,然后提出了状态机建模的基本步骤和使用方法,最后通过对比得出了状态机在描述算法上的优势.     

基于UML的人机接口设计

简述了利用UML建模语言实现面向对象的嵌入式人机接口设计,并提出了一种新的嵌入式软件设计方法,用面向对象的思想和工具进行软件的分析与建模,再用面向对象的C语言进行软件编码。新的方法实现了嵌入式系统软件开发的可移植性、可理解性和稳定性,并提高软件开发的效率,在多款智能仪表的软件开发上得到了良好应用。     

嵌入式实时控制系统软件可靠性建模与应用

嵌入式实时控制系统(ERCS)广泛应用于各种控制系统中,其软件不同于普通软件,除满足实时性要求外,可靠性也是相当重要的。首先对嵌入式实时控制系统软件进行形式化抽象定义,然后对不可再分的软件模块进行可靠性建模,并应用Copula函数对软件系统进行建模,最后应用建立的模型,对具体的系统进行了软件可靠性计算。通过实例计算可知,用Copula函数建立的嵌入式实时控制系统软件可靠性模型,考虑了软件各个模块的相依性,进而得到嵌入式实时控制系统软件模块相依的可靠度较各模块独立时有所提高。     

基于ARM-Linux的嵌入式系统GUI开发研究

目前嵌入式系统中的GUI的开发已经成为研究的热点．本文以Intel公司Xscale PXA255为内核的XSBase255嵌入式平台，以ARM-Linux为操作系统，接着介绍对GUI嵌入式系统软件开发，描述了Linttx操作系统的配置和移植，设计了利用Glade发嵌入式Tiny-X图形应用系统，实践表明设计的系统效果良好。     

嵌入式应用系统软件设计技术研究

该文主要介绍基于嵌入式操作系统,开发实时多任务应用系统软件的方法和关键技术。详细阐述了在嵌入式实时多任务应用系统软件设计过程中,怎样将一个应用划分为多个任务,如何在硬件环境中合理地组织它们等必须考虑的若干问题。对嵌入式系统软件设计有很大的借鉴意义。     

嵌入式自控系统软件抗干扰分析模型

针对嵌入式自控系统软件抗干扰经验方法进行总结、分析,引入概率统计方法,信道编码理论提出一个理论分析模型.这一模型可以提高嵌入式自控系统软件抗干扰设计的有效性,从而合理高效地进行软件抗干扰设计,有效提高系统可靠性指标.     

嵌入式系统综述及Java应用程序设计

主要介绍了嵌入式系统,嵌入式系统软件开发的一般知识以及Java在嵌入式系统的程序设计的介绍.     

嵌入式GUI系统设计初探

目前流行的嵌入式GUI系统和各种自行开发的嵌入式GUI系统在用于嵌入式系统软件时,或多或少地存在一些问题。在对嵌入式GUI系统存在问题的共性进行初步探讨的基础上,提出了嵌入式GUI系统的两个实用思想——以控件为中心和消息驱动程序设计。这两个实用思想能很好地解决嵌入式GUI系统的两个共性问题,也可以用于其他GUI系统。     

基于虚拟微处理器的嵌入式软件开发与系统验证环境

嵌入式系统设计过程中软件与硬件集成验证的滞后，已成为制约整个系统开发进程的重要因素．虚拟微处理器是指在嵌入式系统硬件原型形成之前构造的可仿真原型，通过对微处理器的仿真支持软件嵌入式软件开发．介绍了基于虚拟微处理器技术的嵌入式软件开发环境的设计和实现，利用该环境，设计者可在设计早期进行系统集成验证，减少设计错误并缩短设计周期．该环境已经在嵌入式系统开发过程中得到成功应用．     

基于移动嵌入式系统硬/软件协同设计的EHSC算法

嵌入式系统设计的一个重要任务就是寻找硬/软件最佳搭配方案.随着系统复杂性的不断提高,采用嵌入式系统硬/软件协同设计是提高设计质量的有效手段.本文在讨论嵌入式系统设计一般方法的基础上,阐述了系统的硬/软件协同设计技术和硬件/软件划分方法,提出了以系统硬/软件划分策略为基础,系统组件的权重值为参考,组成元素划分为依据的设计理念,构造了基于移动环境的系统的硬/软件协同设计的EHSC（Embedded Hardware/Softwarre Codesign）模型.并依照此模型,实现了一种移动嵌入式系统“电子书包”阅读器的设计和开发.     

嵌入式系统虚拟开发环境的设计与实现

在嵌入式系统虚拟开发环境中为软件与硬件分别设计了ＥＳＤＬ语言和ＥＨＤＬ语言．ＥＳＤＬ是ＡＮＳＩＣ的超集,它为嵌入式编程增加了一些数据类型．ＥＨＤＬ是一种硬件描述语言．开发人员可以利用由嵌入式软件调度器和嵌入式硬件模拟器组成的协同验证环境调试嵌入式系统．利用这个虚拟的集成环境,软件开发人员可以在设计初期发现与硬件相关的错误,硬件开发人员可以获得系统功能的真实描述．硬件、软件的设计错误可以在系统制造之     

MCU平台的嵌入式系统软件设计研究

嵌入式系统的运行需要可靠性和实时性的保证,因此良好的可靠性和实时性是嵌入式系统软件设计的重要标准。同时为了使软件系统的鲁棒性更强,嵌入式系统的设计需要一个非常好的软件架构。这里介绍了一种基于MCU平台的嵌入式系统软件架构方法。在这个方法中,事件驱动机制的引入满足了对软件架构的要求,主程序中不仅采用了优先调度机制,同时也加入了软件抗干扰措施,这些都使系统的实时性和可靠性得到了明显的提高。设计实验比较由该方法得到的软件架构与原始软件架构的实时性,得出由该方法优化后的软件架构确实具有更好的性能。     

嵌入式软件自动化测试及管理系统研究

随着嵌入式软件技术的发展,嵌入式软件规模日益扩大、复杂程度越来越高,给软件测试提出了挑战。针对复杂嵌入式软件,设计一种软件自动化测试及管理系统,融入软件工程化管理过程,将自动化测试与测试管理过程相结合,打造一个无缝连接的系统。自动化测试及管理系统包括：接口设计、测试策划、测试设计、测试执行、测试结果显示与记录、缺陷管理和回归测试,以及数据分析和知识库等。在此基础上,设计并实现了自动化测试及管理系统,并在某测试项目中进行了应用。实践证明,使用自动化测试及管理系统开展嵌入式软件测试可以有效提高测试效率和质量。     

嵌入式系统软件开发环境中调试器的设计

调试在软件开发流程中是一个比较重要的环节,调试器是衡量一个软件开发环境优劣的重要因素.本文对嵌入式系统软件开发环境、软件调试、调试器设计所遵循的基本原理以及嵌入式系统中软件调试的特点作了一个概述.     

嵌入式系统软件模拟器设计

利用软/硬件协同设计的方法，将嵌入式系统设计采用软件模拟系统环境来开发，通过对CPU行为、内存、中断控制器和操作系统等模块的设计，把硬件系统设计和软件系统仿真相结合。是目前嵌入式系统设计的全新的方法。通过实例对软件模拟器进行验证，表明了这种方法的可行性和可靠性，为嵌入式系统的开发提供软件系统仿真的经验。     

基于遗传算法的嵌入式软件WCSD检测方法

在资源受限的嵌入式系统中,为了降低嵌入式软件最大堆栈深度（Worst-Case-Stack Depth,WCSD）的检测误差,从而确定系统内存容量,通过详细分析堆栈使用原因和中断类型,建立中断调度模型,提出基于遗传算法的WCSD动态检测方法以更加准确地指导嵌入式硬件设计和软件开发。基于嵌入式软件全数字仿真平台完成实验,对该模型和方法加以验证。实验结果表明该方法可测得较准确的软件堆栈深度上限,有助于降低内存开销和提高系统的可信度。     

一种基于场景的嵌入式软件设计方法

UML顺序图是一种常用的在软件开发早期阶段用来描述系统基于场景的需求规约的一种可视化建模语言。通过在UML顺序图中加入带时间区间标志的时间约束,得到时间顺序图模板TSDT（Timed Sequence Diagram Template）,用来建立嵌入式软件基于场景的需求规约模型。对消息传递自动机进行实时扩展,得到时间消息传递自动机TMPA（Timed Message Passing Automata）,TMPA以自动机的形式刻画了所建立的需求规约模型,为在需求阶段验证所建立的模型是否满足用户需求奠定了基础。     

A tool for analyzing and fine tuning the real-time properties of an embedded system

This paper describes a computer-aided software engineering (CASE) tool that helps designers analyze and fine-tune the timing properties of their embedded real-time software. Existing CASE tools focus on the software specification and design of embedded systems. However, they provide little, if any, support after the software has been implemented. Even if the developer used a CASE tool to design the system, their system most likely does not meet the specifications on the first try. This paper includes guidelines for implementing analyzable code, profiling a real-time system, filtering and extracting measured data, analyzing the data, and interactively predicting the effect of changes to the real-time system. The tool is a necessary first step towards automating the debugging and fine tuning of an embedded system's temporal properties.