機器組込み型ソフトウェア開発のための設計・検証システムの構築

1996 Fiscal Year Annual Research Report

• Project/Area Number: 08558034
• Research Category: Grant-in-Aid for Scientific Research (B)
• Section: 試験
• Research Institution: Nagoya University
• Principal Investigator: 阿草 清滋 名古屋大学, 工学部, 教授 (90026360)
• Co-Investigator(Kenkyū-buntansha): 手嶋 茂晴 (株)豊田中央研究所, ソフトウェア研究室, 研究員 ; 濱口 毅 名古屋大学, 工学部, 助手 (90273284) ; 山本 晋一郎 名古屋大学, 工学部, 講師 (40240098)
• Keywords: 組込みシステム / リアルタイムシステム / シミュレーション / 最適化

Research Abstract

平成8年度における目標は,システムの基礎に位置付けられる設計言語とシミュレーション環境の設計・開発にある.
1.設計言語の言語仕様を策定する
設計言語の高い記述力によってターゲットシステムの信頼性をどの程度向上することができるか,システム工学的手法を用いて評価する
2.連続系シミュレータとのインターフェースの作成
被制御系をシミュレートする連続系シミュレータとのインターフェースを作成し,設計言語プログラムで実現する制御系と連続系である被制御系を仮想リアルタイムシミュレーション環境で同時にシミュレートできるようにする.
設計言語に関する予備的研究として,リアルタイム制御ドメインに関する実際の開発現場の種々の要求を明確にするために,「ECUソフトの設計支援データベース」および「ECU組込みソフトウェア開発のための技術文書と設計ツールとの統合」に関する研究を行った.
シミュレーション環境に関する研究として,「ECU組込み機器向けソフトウェア自動合成手法の開発」行った.また,最近新しい組み込み用言語として注目を集めているJava言語を対象とした,CASEツールプラットフォームに関する研究として「Java言語のための細粒度リポジトリ」を行うとともに,我々の研究の全体像を情報処理学会のワークショップにおいて「柔らかなソフトウェア部品と新工法」として示した.これらの成果に関して学会で発表済みである.

Research Products

• [Publications] 荒木円博: "ECUソフトの設計支援データベース" 自動車技術会1996年春季学術講演会予稿集. 961. 191-194 (1996)
• [Publications] 荒木円博: "ECU組込みソフトウェア開発のための技術文書と設計ツールとの統合" 情報処理学会第53回全国大会講演論文集(1). 1-295-1-296 (1996)
• [Publications] 稲森豊: "ECUソフトウェア仕様記述言語とプログラム自動生成" 自動車技術会1996年春季学術講演会予稿集. 961. 183-186 (1996)
• [Publications] 和田錦一: "ECU組込み機器向けソフトウェア自動合成手法の開発" 情報処理学会第53回全国大会講演論文集(1). 1-297-1-298 (1996)
• [Publications] 蜂巣吉成: "Java言語のための細粒度リポジトリ" 情報処理学会コンピュータシステムシンポジウム論文集. 147-154 (1996)
• [Publications] 山本晋一郎: "柔らかなソフトウェア部品と新工法" 情報処理学会ウインターワークショップ・イン・松山論文集. 55-56 (1997)