基于ESAM的嵌入式应用软件版权保护解决方案

ESAM－嵌入式安全控制模块作为一种完全灵巧的硬件平台，在嵌入式软件的版权保护领域，以发挥重要的作用，作为一种软件保护的硬件解决方法，可以使软件的销售有一量化的标准，将复杂的软件销售变成简单的硬件销售。     

一种基于VxWorks的高实时性软件架构设计

重点描述基于VxWorks操作系统的高实时性嵌入式应用的架构设计,以及用于TDMA领域的移动通信机软件的开发.使用这种设计手段可实现在多任务条件下嵌入式软件的高实时性与稳定性等性能,对实时性要求高的软件设计师会有一定的参考价值.     

构件化嵌入式软件设计模型验证工具的研究

基于模型设计与分析技术能够明显提高现代复杂嵌入式软件系统的可靠性,本文基于接口自动机模型设计实现了一个构件化嵌入式软件验证工具并进行了形式化验证。该工具的系统规约采用UML顺序图模型实现,能够对系统设计模型与场景式规约之间多种行为的一致性进行检验,并对实时接口自动机网络与具有时间约束顺序图模型的一致性行为进行检验。     

一种基于V模型的嵌入式软件测试方案

针对嵌入式软件的特点,结合V模型,提出了一种嵌入式软件测试方案,主要讨论了测试的流程管理和各阶段测试方法应用。最后,介绍了该方案在实际工程项目中的应用情况。     

基于模块化的嵌入式软件设计研究

嵌入式软件多采用C语言编写。文章提出了一种C语言模块化编程的实现方法,并详细描述该技术实现的细节。使用这种模块化编程的方法,可以用C语言编写出带有C++语言部分面向对象特征的软件模块。采用这种方法编写的代码具有很高的重复利用率,而且更利于修改和维护。     

基于模型的电控嵌入式软件开发方法

本文阐述了电控系统基于模型设计的基本概念,并将其与传统嵌入式软件开发方法做了对比分析。同时就基于模型设计的方法如何导入传统电控系统开发过程,以及过程中需要解决的一些关键问题做了探讨研究。     

基于嵌入式Linux系统的多通道密码资源分发系统软件设计

为了满足不同接口类型的密码设备的密码资源快速加注需求,提出一种多通道密码资源分发系统的软件设计方法。基于嵌入式Linux系统,采用多线程管理技术和多接口多协议集成处理技术,实现8通道密码设备的自动识别和密码资源批量并行分发与加注。测试结果表明,该软件设计满足要求,能有效提高加注效率,适用于大量密码设备批量加注。     

提高嵌入式软件质量的途径

本文针对当前嵌入式软件开发中新的问题、新的需求,提出了提高嵌入式软件质量的一些思路和具体方法,同时还对并行版本系统(CVS)做了简单的介绍.     

一种基于模型驱动的系统架构设计方法

使用模型驱动的分析方法对系统架构设计进行了探究,并借助UML建模工具对某机载任务系统进行了架构建模。另外,对比分析了该设计方法与其他设计方法的不同,以及该设计方法在实际系统研发应用中可能面临的问题及解决方法。     

基于钻石模型的嵌入式软件产业竞争力分析-以扬州市为例

嵌入式软件产业已经成为中国重要发展的产业,是智能技术密集型新兴产业。用波特钻石模型来综合分析扬州市嵌入式软件产业竞争力的各因素,探索其产业化发展的新途径,并从扬州市情出发,在生产要素、需求条件、相关及支持性产业、同业竞争、政府和机会六要素上提出了对策建议,为扬州市嵌入式软件产业的战略发展提供参考。     

基于模型设计的电牵引采煤机嵌入式故障诊断系统的研究

采煤机机构上齿轮箱是现代机械系统重要的组成部分,但是也是出现故障的多发部位,由于激振力的作用会产生一定方向和频率的冲击振动而造成传动机构的裂纹和松动,影响到整个机构的运行状态。基于DSP处理器为核心组建一套完善的故障诊断系统是一项非常有效经济的方法,但是存在传统的开发周期长、调试效率低等缺点。本文基于模型设计,以齿轮箱为研究对象,剖析齿轮箱振动信号,提取频率范围内参数指标,搭建一套数据采集,数据预处理,结合神经网络的诊断系统,根据不同特征值的变化可以明确故障形式,最终实现对采煤机的有效智能故障识别。     

嵌入式处理器与嵌入式软件研究

阐述了嵌入式系统的发展现状和先进性;讨论了嵌入式系统的微处理器和嵌入式软件设计技术;研究了嵌入式系统的可靠性设计。     

基于模型检查的嵌入式软件构件化分析与验证

对嵌入式软件构件化进行准确分析与验证,能够为嵌入式系统安全、稳定的运行提供保障。提出一种基于模型检查的嵌入式软件构件化分析与验证方法。设计一种用于检查软件构件的模型,为嵌入式软件构件化分析与验证提供理论基础;将嵌入式软件系统模型用SMV语言的形式表达,利用SMV模型检查工具实现对嵌入式软件运行状态的分析与检验。实验结果表明,该模型能够对嵌入式软件构件化的非功能性方面的设计要求进行准确分析与验证,为嵌入式系统安全稳定的运行提供了保障。     

基于工厂方法模式嵌入式通信中间件设备管理框架设计与实现

通信中间件屏蔽了底层网络通信设备,为上层应用程序提供统一消息处理接口,在嵌入式软件中得到了广泛的应用。由于嵌入式软件需求多样、资源受限,通信中间件需要根据项目需求管理特定的网络通信设备。对网络通信设备的管理能力,决定了通信中间件软件的扩展能力和灵活性。基于上述背景,本文基于工厂方法模式设计了嵌入式通信中间件设备管理框架,对具体网络通信设备的管理和使用进行了抽象,实现了通信中间件业务逻辑与具体设备的解耦,提高了嵌入式通信中间件的扩展能力。     

使用基于模型的设计测试程序开发智能设备

越来越多的智能设备正在进入我们生活的角角落落，包括您的电脑、智能电话、最新的苹果iPad等。而设备中的嵌入式软件还在不停地促使您的汽车、洗衣机和电网向着智能化的方向发展。事实上，在我们的生活中，已经越来越难找到不包含嵌入式软件的大型电子设备了。     

基于Java的嵌入式软构件模型的研究

首先介绍并分析了当前通用构件模型和嵌入式专用模型,然后提出了适用于嵌入式环境的构件模型-JECM,并阐述了JECM构件模型的设计思想。     

嵌入式软件的可配置构件模型

基于构件的软件开发是一种"构件开发+基于构件的组装"的开发模式。在分析嵌入式系统特征和基于构件的软件开发后,提出了一个嵌入式软件的可配置构件模型,并分析了该模型的组成要素。该模型具有较好的通用性。     

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

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