基于组件的嵌入式软件开发中的几个关键问题

针对嵌入式系统的实际特性,着重从系统的角度提出构造一个嵌入式应用程序的开发架构,也可以称为开发框架.该开发架构是以基于组件的方法来开发嵌入式应用程序的,其主要研究系统结构规约、系统行为规约、组件配置和执行、程序产生和系统配置等几个关键问题.研究的结果将指导一个分布嵌入式应用程序开发框架的构造.     

基于模型的嵌入式软件设计

分析了嵌入式软件区别于通用软件的特点,介绍了基于模型的嵌入式软件设计开发方法,从可重用角度分析了设计要点,侧重介绍了基于模型的可重用组件和面向行动者的设计方法。     

运用CORBA的组件开发方法

该文结合CORBA的特点,从软件体系结构的角度,提出了运用CORBA开发组件的方法和过程,能够有效地进行组件的开发.     

基于覆盖的软件测试技术在实时嵌入式软件中的应用研究

基于覆盖软件测试技术在实时嵌入式软件中的应用进行的研究，针对实时嵌入式软件测试的特点，文中提出了一个适用于实时嵌入式系统覆盖测试的软件测试模型。并对该模型实现中的核心技术进行了阐明。最后介绍了以上软件测试技术在实际工程项目的应用情况。     

基于组件程序的模型及动态唤醒

软件重用致力于根据已存组件的构造软件,在应用重用技术进行设计时,所需考虑的一个重要问题是如何唤醒底层子组件的服务,本文首先给出了基于组件设计的模型,然后给出了一种动态唤醍的策略,这种唤醒方式通过动态说明匹配和考察组件的运行时特性来确定目标线件,并较之静肪唤醒提供了更多的的灵活性和扩展性。     

基于组件的软件可靠性模型

首先对不同的软件体系结构描述语言（ADL）进行分析，找出体系结构的共性，用抽象代数和一代阶逻辑理论对组件，连接器和软件体系结构的属性和动态行为进行讨论和描述，探讨不同连接形式下的软件体系结构，给出基于组件的软件可靠性模型，在此模型基础上，对基于组件的软件系统的可靠性计算模型进行研究，提出一种半Markov模型，并在理论上证明该模型的可用性，最后通过CORBA应用系统说明该可靠性模型在系统设计和可靠性计算方面的应用。     

基于Simulink的OSEK嵌入式软件开发方法

近年来,V型开发模式在汽车电子开发领域得以广泛应用,同时Matlab/Simulink及OSEK实时操作系统规范已成为标准的开发平台,文章通过引入新的理念和方法将两者相结合。首先从分析软件的架构入手,介绍了Simulink模型中的任务识别、定时机制、基于μC/OS-Ⅱ的OSEK顺应性开发,以及在Matlab环境下如何创建自定义的驱动库等,最后通过应用实例验证了该开发方法的可行性。     

PBO技术及实时嵌入式软件开发

介绍PBO技术及其特点，这种技术支持软件重用和动态可重配置；分析其应用于航空航天器等实时嵌入式软件开发过程中的优势与困难。     

基于模型的嵌入式软件测试

针对嵌入式软件开发中的问题,在嵌入式软件测试中应用基于模型的软件测试策略,可以极大的降低开发成本,保证软件质量.阐述了该测试策略,着重讨论和分析了基于UML模型的嵌入式软件测试技术,并介绍了UML模型指导嵌入式软件测试在实际开发环境中的应用.     

基于框架表示的组件库模型

分析比较了现有的组件表示和检索方法，认为刻面分类法具有较高的实用价值，但它缺乏领域知识深化表达的能力，对同义属性的解决方案也不尽完善，在此基础上，结合了专家系统中知识表示的方法，提出了基于框架表示的组件库模型。     

基于构件的嵌入式实时软件组合时间分析研究

在嵌入式实时软件的开发早期,将构件技术应用于对其进行时间需求的形式化分析中,不但有助于保证软件的正确性和可靠性,还能缩短需求分析周期、提高软件生产率。给出了一种基于构件技术、UML和时间ER网技术的组合时间分析方法,对嵌入式实时软件的时间需求进行分析和检测,实践表明该方法可以检测出需求模型中的时间冲突,有助于保证嵌入式实时软件时间约束的正确性,而且其分析结果具有可复用、可扩展的优点。     

Communications-oriented development of component-based vehicular distributed real-time embedded systems

We propose a novel model- and component-based technique to support communications-oriented development of software for vehicular distributed real-time embedded systems. The proposed technique supports modeling of legacy nodes and communication protocols by encapsulating and abstracting the internal implementation details and protocols. It also allows modeling and performing timing analysis of the applications that contain network traffic originating from outside of the system such as vehicle-to-vehicle, vehicle-to-infrastructure, and cloud-based applications. Furthermore, we present a method to extract end-to-end timing models to support end-to-end timing analysis. We also discuss and solve the issues involved during the extraction of these models. As a proof of concept, we implement our technique in the Rubus Component Model which is used for the development of software for vehicular embedded systems by several international companies. We also conduct an application-case study to validate our approach.     

构件化软件演化信息建模和获取方法研究

为了清晰、全面地获取构件化软件的演化历史信息, 通常需要提供演化信息表示和建模的有效手段。分析了构件化软件演化信息获取所需解决的若干问题, 提出了在软件构件模型基础上, 增加建模元素以表示软件演化信息的方法; 通过结合软件配置管理系统, 实现对构件化软件变化过程的追踪和管理。基于该方法和相应的系统支持, 可以为实施软件重构和后期开发提供指导。     

嵌入式通信软件开发中的设计模式

设计模式描述了在软件开发过程中经常出现的问题及其解决方案,是软件复用的有效途径.在嵌入式系统软件开发中,设计模式的应用可以提高软件的质量.归纳了一个基于客户机/服务器结构的嵌入式通信软件设计模式,并进行了描述,然后给出了该设计模式的一个实现框架.最后通过一个实例表明该框架可以使嵌入式软件开发人员快速的构建许多不同的嵌入式通信软件.     

基于MVC模式的嵌入式软件测试开发环境设计

嵌入式软件仿真测试开发环境(ESTDE,Embedded Software Testing Development Environment)是嵌入式软件仿真测试平台(ESSTP,Embedded Software Simulation Testing Platform)的重要组成部分,是有效实现嵌入式软件实时、闭环测试的基础。MVC(Model-View-Controller)是一种开发交互式软件系统的典型体系结构模式,在分析和研究ESTDE功能、组成和工作原理的基础上,将MVC应用于ESTDE的设计当中,不仅保证了ESSTP的成功开发,而且提高了系统的可复用性和可适应性。     

Research on component-based ERP system

Conventional ERP （Enterprise Resource Planning） system is based on a software developing mode in which software reuse can be only achieved at class level. Such a developing mode results in inefficient development, low-quality software and poor variability of ERP system. By applying component technology, these problems are solved and the system becomes more reliable, reusable, extensible, and transplantable. In this paper, we firstly introduce the concept of component and two popular component models, based on which our own ERP component model is developed. Then we propose a layered, flexible and extensible architecture for component-based ERP system. Components performing different functions at different layers can be extracted and encapsulated conveniently according to the architecture. Finally, we focus on the application of the proposed architecture, illuminating how to extract, encapsulate and assemble components to a completed ERP system with examples.     

面向集控嵌入式实时软件的单元测试方法研究

针对集控嵌入式实时软件的组成和特点,搭建了适合该软件的仿真单元测试平台,并详细介绍了基于Testbed对该软件进行单元测试的过程。依据静态分析输出的质量度量模型值定量地评价了软件内在源码的质量,并基于圈复杂度度量值提出了一种优先级的动态分析测试策略,用监控到的控制流信息来分析程序的覆盖率,从而确保单元测试的充分性和有效性,提高测试效率,保证软件的质量。     

通用嵌入式系统软件测试平台的设计

仿真测试是嵌入式软件系统测试阶段的一种有效测试方法,探讨了通过在PC机上仿真模拟ARM嵌入式系统,对嵌入式系统软件进行仿真测试的通用测试平台的设计。该平台可以在不做大幅度修改的情况下对不同的嵌入式系统软件进行各种测试。重点介绍了仿真模拟器、测试管理器和测试平台专用工具链的设计,提出了一种测试管理器的实现模型,并进行了详细的描述。     

嵌入式软件测试工程化研究与实践

随着嵌入式系统在各行各业应用的迅速发展,其核心控制软件也变得日益庞大和复杂,实行有效的嵌入式软件测试显得越来越重要.首先分析了嵌入式软件的特点及嵌入式软件测试的重要性,接着阐述了一种有效的嵌入式软件测试工程化方法,并结合一个实际测试项目验证了该方法的有效性.