Software Development Environment for Embedded Systems based on Aspect-Oriented Architecture

本课题的研究目的就是为嵌入式系统提供一个跨平台的软件开发环境。我们将嵌入式系统建模为由一组并发状态转移机器构建的体系结构。我们的开发环境由描述平台无关模型的前处理器和生成平台代码的后处理器组成。本文的研究成果如下：1.研究成果。定义软件开发过程我们的软件开发由四个过程组成：定义需求规范模型、描述软件体系结构、执行前检查和生成代码。软件体系结构描述软件体系结构在我们的开发中起着至关重要的作用。我们从面向方面和软件产品线的角度提出了一种描述软件体系结构的方法。执行前检查已设计软件的行为在执行前由模型检查工具根据并发程序进行检查。这就是所谓的行前检查。我们阐明了如何将UML图(即软件设计)转换为模型检测工具的代码，以及如何在UML图中显示结果。代码生成器执行前检查后，平台程序代码由代码生成器自动生成。利用模型驱动架构的思想，设计并实现了C、C++和Java的生成器。需求规格说明与体系结构之间的关系我们一直在考虑需求规格说明模型、描述软件功能的位置和软件架构之间的关系。当我们定义一个产品的需求规格说明时，我们可以很容易地构造出它的软件体系结构。XQuery处理器我们还提出了一个轻量级、高性能的面向流的XQuery处理器，用于搜索以XML格式编写的软件文档。

The purpose of our research has been to propose a multi-platform software development environment for embedded systems. We modeled embedded systems as an architecture constructed by a set of concurrent state transition machines. Our development environment consists of preprocessors for describing platform independent models and post-processors which generate platform codes. Our research results are followings.1. Defining Software Development ProcessesOur software development is composed of four processes ; defining requirements specification model, describing software architecture, pre-execution check, and generating codes.2. Software Architecture DescriptionSoftware architecture plays a crucial role in our development We propose a method for describing soft-ware architecture from the view points of aspect-oriented and software product lines.3. Pre-execution CheckBehaviors of designed software is examined by model checking tools in terms of concurrent programs before implementation. It is called pre-execution check. We clarify how to translate UML diagrams, i.e. software design, to codes for model checking tools and how to show the results in UML diagrams.4. Code GeneratorAfter pre-execution check, platform program codes are generated automatically by a code generator. We designed and implemented generators for C, C++, and Java, using ideas of model driven architecture.5. Relationships between Requirements Specification and ArchitectureWe have been consider the relationships between requirements specification model, where features of software are described, and software architecture. When we define requirements specification of a product, we can easily construct its software architecture.6. XQuery ProcessorWe also propose a light-weight and high-performance stream-oriented XQuery processor to search software documents written in XML formats.