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

基于面向方面体系结构的嵌入式系统软件开发环境

• 批准号: 18500030
• 负责人: NORO Masami
• 金额: $ 2.63万
• 依托单位: Nanzan University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (C)
• 财政年份: 2006
• 资助国家: 日本
• 起止时间: 2006 至 2007
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-18500030/
• 关键词: Aspect-Oriented; Embedded Systems; Software Architecture; Architecture Style; 組込ソフトウェア; CSP

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.

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

项目成果

ストリーム指向によるXQuery問い合わせ処理の効率化

面向流的XQuery查询处理效率

• 发表时间: 2007
• 期刊: ソフトウェアエンジニアリング最前線2007 情報処理学会SEシンポジウム
• 作者: 蜂巣 吉成;野呂 昌満;宮田 裕則;牛田 匠
• 通讯作者: 牛田 匠

Detection of the Aspect Interaction using Data Flow Analysis

使用数据流分析检测方面交互

• 发表时间: 2006
• 期刊: Proc.FOSE 2006(in Japanese)
• 作者: Han-Myung Chang;Masami Noro;Yoshinari Hachisu;Harunobu Yagi
• 通讯作者: Harunobu Yagi

組込みソフトウェアにおける構成制御とその記述法の提案

嵌入式软件中配置控制及其描述方法的提出

• 发表时间: 2006
• 期刊: ソフトウェアエンジニアリング最前線2006 情報処理学会 SEシンポジウム
• 作者: 張 漢明;野呂 昌満;蜂巣 吉成
• 通讯作者: 蜂巣 吉成

ソフトウェアアーキテクチャスタイルE-AOSAS++に基づく開発支援環境

基于软件架构风格E-AOSAS++的开发支撑环境

• 发表时间: 2007
• 期刊: ソフトウェア工学の基礎XIV 日本ソフトウェア科学会FOSE 2007, レクチャーノート/ソフトウェア学 33
• 作者: 沢田 篤史;野呂 昌満;蜂巣 吉成
• 通讯作者: 蜂巣 吉成

データフロー解析を用いたアスペクトの干渉の検出

使用数据流分析进行方面干扰检测

• 发表时间: 2006
• 期刊: ソフトウェア工学の基礎 Vol. XIII
• 作者: Ueda;K.;Kato;N.;Hara;K. and Mizuno;K.;Takuo Suganuma;中西 恒夫 他;上田 和紀;Glenn Mansfield Keeni;張 漢明 他
• 通讯作者: 張 漢明 他