一种基于构件的嵌入式实时软件测试方法

基于构件的嵌入式实时软件测试方法是比较新的研究热点,它面临着接口描述未标准化、实时性要求高等问题。通过提出一种基于构件的嵌入式实时软件时间自动机模型——CBESTA,能够有效地测试基于构件的嵌入式软件的实时性,提高嵌入式软件的质量。     

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

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

分布式集群处理环境平台软件技术研究

针对嵌入式设备资源受限、 软件集成困难、通信环境复杂等问题, 结合目前车辆综合电子系统、航空综合电子系统等分布式集群处理机环境下信息处理的特点, 提出了嵌入式软件构件形态及嵌入式构件化软件集成方法, 改进了在分布式集群处理机环境下设备之间通信数据的处理方式, 并在嵌入式实时操作系统中实施验证。实验结果表明, 嵌入式构件化软件平台能实现软件快速集成, 有效监控和管理系统资源。     

嵌入式系统及其实时软件的开发

阐述了嵌入式系统的概念、特点及应用 ,并对其软硬件系统、实时软件开发技术进行了详细叙述 ,对嵌入式CPU各种类型及代表产片的进行了比较说明 ;提出了嵌入式系统的模型、嵌入式实时软件的开发过程和方法 ;针对目前嵌入式系统的发展现状 ,论述了嵌入式系统的发展动向。     

嵌入式数据分析类仪器软件应用框架的开发

基于嵌入式数字化仪器的领域分析,提出了数据分析类仪器嵌入式软件的体系结构和框架描述,并采用构件化技术进行框架设计,开发了一系列针对该类仪器软件的可配置、可扩展的通用构件库和专用构件库.同时,在构件库设计和框架设计中使用了多种设计模式,使框架设计更合理、更易于使用.应用该框架,用户可以按照应用需求选择构件库进行分析类仪器软件系统的构建,以提高开发效率和软件质量,同时获得极短的开发周期.     

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

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

基于构件的嵌入式软件测试

叙述了构件的概念、组成部分和基本特点.及构件测试的模型、特点、存在的问题和测试方法,分析了嵌入式软件构件的测试策略.提出了一种可测试构件的体系结构.     

基于构件的柔性无线传感器网关设计

针对嵌入式系统中应用环境和用户需求易于变化的问题,将柔性软件思想与嵌入式软件的设计结合,提出了一个具有动态重配置能力的基于构件的柔性网关设计模型.结合无线传感器网关的设计,首先探讨了网关的软硬件设计方法,并给出了基于构件实现该网关的软件设计模型;其次,建立基于组件的柔性Web用户管理界面,动态配置系统运行参数;最后,将柔性软件设计思想模型实际运用于远程抄表系统,验证该设计模型的有效性和可用性.     

构件化嵌入式操作系统设计

在讨论构件机制的基础上,利用分层的设计模式对嵌入式操作系统进行功能结构的划分,并使用构件机制完成各层中功能模块的设计。对于分层的设计模式与构件机制的使用可能带来的一些异构构件的组装问题加以解决．并使用形式化方法对构件进行描述,在一定程度上有利于提高嵌入式系统的可靠性、可重用性、可维护性,使得构件技术在嵌入式系统中充分发挥其优势。     

对嵌入式软件开发的认识

嵌入式系统由嵌入式硬件和软件组成,两者紧密集成在一起。硬件以嵌入式微处理器为核心,集成存储器和系统专用的输入/输出设备;软件是实时多任务操作系统和各种专用软件,一般固化在ROM或闪存中。嵌入式软件可分为系统软件、支撑软件和应用软件三大类。嵌入式软件开发工具是嵌入式支撑软件的核心,它的集成度和可用性将直接关系到嵌入式系统的开发效率。     

基于GMM嵌入式智能构件的相变水冷温控方法研究

为克服基于GMM嵌入式智能构件温升引起的热误差,文中提出了一种相变与水冷相结合的组合温控新方法。介绍了基于GMM嵌入式智能构件的相变水冷组合温控机理,并对温控结构装置进行了具体设计。采用有限元方法,建立了基于GMM嵌入式智能构件的温度场模型。对基于GMM嵌入式智能构件在有无温控装置两种状态下分别进行了稳态热分析,并进行了动态加载实验。结果表明:相变水冷组合温控方法能有效抑制温升,适合基于GMM的嵌入式智能构件进行大电流、微精密加工场合。     

面向多目标机的交叉调试器的研究与设计

为了缩短嵌入式软件开发的时间和提高嵌入式软件的质量,需要研究和开发新的交叉调试器技术。该文研究了交叉调试器的原理和主要技术难点,针对嵌入式软件开发环境与运行环境不同,以及嵌入式芯片多样性的特点,采用构件组装的技术,提出了一种全新结构的交叉调试器的设计方案。此设计方案可以支持多种嵌入式目标机,并且具有良好的目标机重定向性、功能可扩充性和平台可移植性。     

分布式实时系统软件辅助工具的实现

基于构件的软件开发技术日趋成熟,旨在改进一种已定义的实时构件模型,并在此模型的基础上开发出为分布式实时控制系统的总体架构进行设计的图形化辅助工具,以简化用户应用程序的设计开发工作,使其开发的实时应用软件具有可重用性、开放性、易维护性.     

实时嵌入式软件时间抽象状态机的扩展

针对时间抽象状态机(TASM)存在的不足, 对TASM进行扩展, 增加数组数据类型、while循环处理规则以及“%”, “&”, “|”, “^”, “>>”和“<<”等运算符, 定义扩展后TASM的语法和语义。采用扩展后的TASM为实际的实时嵌入式软件需求建模, 通过实验, 验证了采用扩展后的TASM为实时嵌入式软件需求建模的有效性。     

基于嵌入式WEB服务器的田间网络监视器的设计与实现

在对WEB技术、网络多媒体技术和嵌入式技术的研究基础上,设计了一个基于嵌入式WEB服务器的田间网络监视器,实现了实时农田多媒体信息在WEB上的获取和传输.详细介绍了田间网络监视器的结构和通信协议的设计,并且利用在嵌入式WEB服务器上编写的Java Applet程序,实现了授权用户可以通过浏览器对田间网络监视器进行远程的控制和获取实时的农田多媒体信息.     

嵌入式系统初探

本文介绍了嵌入式系统的定义、构件化技术和嵌入式系统组件方法。在此基础上指出嵌入式系统和构件化技术的不同点,并得出嵌入式系统的发展需要一个可大范围采用的组件技术标准。     

嵌入式系统初探

本文介绍了嵌入式系统的定义、构件化技术和嵌入式系统组件方法.在此基础上指出嵌入式系统和构件化技术的不同点,并得出嵌入式系统的发展需要一个可大范围采用的组件技术标准.     

嵌入式实时数据库设计关键技术研究

嵌入式实时数据库系统是指可在嵌入式设备上独立运行的一种实时数据库系统,既具有嵌入式系统的特点,又具有实时数据库系统的特点。文章分析了嵌入式实时数据库系统的功能,研究了嵌入式实时数据库系统的内涵及其体系结构,探讨了在嵌入式环境下进行实时数据库设计时需要解决的关键技术问题。     

基于单片机的嵌入式系统研究与开发

本文首先阐述了嵌入式系统设计方法的基本思路,然后分析了基于单片机嵌入式实时操作系统设计,最后提出了基于单片机的嵌入式软件编码的实现过程及其设计思路。     

钢筋混凝土中钢筋腐蚀的检测方法

<正>项目简介一种钢筋混凝土构件中钢筋腐蚀的检测方法,直接对腐蚀发生的载体——钢筋进行实时测量,传感器由若干根长度不等的钢筋棒、与钢筋棒相同数量和长度的不锈钢棒、基座和导线组成,钢筋棒及不锈钢棒成阶梯形并排固定在传感器基座的固定槽内,