论文部分内容阅读
基于组件的软件复用技术在非嵌入式系统中已广泛应用，将组件技术应用于嵌入式系统，对嵌入式软件开发具有重要现实意义。本文基于现有组件技术，根据嵌入式系统的特点和要求，设计一种嵌入式软件组件模型——SECOM，对其特点进行分析，并给出了主要的实现思路和方法。 文中首先对嵌入式系统软件的特点进行说明，介绍当前通用的组件模型COM／DCOM、CORBA、JavaBean／EJB，指出通用组件模型不能直接应用于嵌入式软件开发中的原因。其次，通过对当前几种嵌入式组件模型的分析，提出一种适用于嵌入式环境的组件模型——SECOM，并对SECOM组件模型元素、组件复用方式、非功能性约束、实现语言无关性、可维护性、可移植性等进行详细分析。在分析非功能性约束的实时性和可靠性时，采用了一种形式化描述工具——Petri网技术。其中，采用时间Petri网（TPN）∑=（P,T,I,O,K,M0,F）建立了一个TPN计时器timer，利用timer实现模型对实时性的需求；引入资源回路和有向辅助弧的概念，通过对其活性进行控制而提高系统的可靠性。同时，提出SECOM组件仓库模型，以实现对组件的分类、管理、组织、存储和查询。最后，给出SECOM组件模型实现方法，并阐述了与该模型配套的可视化开发工具的设计和实现思路。 本文对嵌入式软件组件技术进行初步研究和探索，在采用形式化方法对组件模型进行实时建模和分析方面提出了新思路，将Petri网建模技术应用于组件模型分析，取得了一定的研究成果。