• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

Computer Aided Software Design and Verification for Embedded System

Research Project

Project/Area Number 08558034
Research Category

Grant-in-Aid for Scientific Research (B)

Allocation TypeSingle-year Grants
Section展開研究
Research Field 情報システム学(含情報図書館学)
Research InstitutionNagoya University

Principal Investigator

AGUSA Kiyoshi  Center for Information Media Studies, Professor, 情報メディア教育センター, 教授 (90026360)

Co-Investigator(Kenkyū-buntansha) TESHIMA Shigeharu  Toyota Central R&D Labs., Inc., Researcher, ソフトウェア研究室, 研究員
HAMAGUCHI Takeshi  Center for Information Media Studies, Research Associate, 情報メディア教育センター, 助手 (90273284)
YAMAMOTO Shinichirou  Aichi Prefectural University, Faculty of Information Science and Technology, Ass, 情報科学部, 助教授 (40240098)
YUEN Shoji  Center for Information Media Studies, Nagoya University, Associate Professor, 情報メディア教育センター, 助教授 (70230612)
手嶋 重晴  (株)豊田中央研究所, ソフトウェア研究室, 研究員
Project Period (FY) 1996 – 1998
Project Status Completed (Fiscal Year 1998)
Budget Amount *help
¥3,500,000 (Direct Cost: ¥3,500,000)
Fiscal Year 1998: ¥900,000 (Direct Cost: ¥900,000)
Fiscal Year 1997: ¥2,600,000 (Direct Cost: ¥2,600,000)
Keywordsembedded system / realtime system / simulation / optimize / software document
Research Abstract

An embedded system especially whose performance is no enough but, which manages to response within timing requirement is popular in electronic devices around us. We developed design environment, for such an embedded system we call "lean real-time system" and a prototvping design system tinder the enviroment. The design system has functionalities to describe cyclic execution, event-driven execution and to express data-type of real-time data. Data-type of real-time is our original proposal and contributes to easy handling of real-time feature. We applied to describe ABS (anti-lock brake system) one of vehicle control systems by the protoryping language then show the design system has ability to express lean real-time system in prototyping phase.
Furthermore, software design is a process generating various kind of documentation. where documentations and their components are closely related with each other. We propose database architecture of documentation database for software design and implemented "Liaison System" which handles the relations among documentation and their components so that designers refer documentation via the relations. The system is implemented the database management system on WWW framework then appllied it to design process of software design of embedded systems. According to practical run, we found that our approach provides appropriate document management method for software design.

Report

(4 results)
  • 1998 Annual Research Report   Final Research Report Summary
  • 1997 Annual Research Report
  • 1996 Annual Research Report
  • Research Products

    (30 results)

All Other

All Publications (30 results)

  • [Publications] 手嶋茂晴.荒木円博.阿草清滋: "設計工程に合わせたビュー生成を可能にするソフトウェア文書管理手法の提案" 電子情報通信学会論文誌. 印刷中

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1998 Final Research Report Summary
  • [Publications] 木川泰夫、結縁祥治、坂部俊樹: "通信プロセスに対する文脈変換手法を用いたモデル検査" 電子情報通信学会技術報告. COMP98-82. 1-9 (1999)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1998 Final Research Report Summary
  • [Publications] S.Teshima,Y.Inamori,K.Wada and K.Agusa: "Data and Event Integrated Design Language and its CAE system for Software Design of Real-time Automotive Control System" Proc of 31st ISATA on Simulation,Virtual Reality andSupercom-puting. 83-90 (1998)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1998 Final Research Report Summary
  • [Publications] 福安直樹,山本晋一郎,阿草清滋: "細粒度リポジトリに基づいたCASEツール・プラットフォームSapid" 情報処理学会論文誌. Vol.39 No.6. 1990-1998 (1998)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1998 Final Research Report Summary
  • [Publications] 小西智久,山本晋一郎,濱口毅,阿草清滋: "入力ドメイン解析に基づく自動テストデータ生成とそれを用いたテストツールの開発" ソフトウェア工学の基礎IV 日本ソフトウェア科学会 FOSE'97. 107-110 (1997)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1998 Final Research Report Summary
  • [Publications] 手嶋茂晴,稲森豊,阿草清滋: "組込み型制御システムのためのプログラムモデルとそれに基づくプロトタイプ設計支援システムの開発" 電子情報通信学会論文誌. Vol.J80-D-I, No.8. 691-702 (1997)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1998 Final Research Report Summary
  • [Publications] Teshima, S., Araki, M.and Agusa, K.: "Structued Software Documentation with Multi-View Schema Adaptng to Design Process" Trans.of IEICE. (printing).

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1998 Final Research Report Summary
  • [Publications] Kikawa Y., Yuen, S.and Sakabe, T.: "Model checking for communicating processes by the context transformation method" IEICE Technical Report COMP98-82. 1-9 (1999)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1998 Final Research Report Summary
  • [Publications] Teshima, S., Inamori, Y., Wada, K.and Agusa, K.: "Data and Event Integrated Design Language and its CAE system for Software Design of Real-time Automotive Control System" Proc.of 31st ISATA on Simulation, Virtual Reality and Supercomputing. 83-90 (1998)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1998 Final Research Report Summary
  • [Publications] Fukuyasu, N., Yamamoto, S.and Agusa, K.: "CASE Tool Platform Sapid based on a Fine Grained Repository" Trans.of IPSJ. Vol.39 No.6. 1990-1998 (1998)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1998 Final Research Report Summary
  • [Publications] Konishi T., Yamamoto S., Hamaguchi, T.and Agusa, K.: "Automatic Test Data Generator Based on Input Domain Analysis" Japan Software Science So-ciety FOSE'97. 107-110 (1997)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1998 Final Research Report Summary
  • [Publications] Teshima, S., Inamori, Y.and Agusa, K.: "EFS Program Model for Embedded Real-Time System and EFS-Based CAE Tool Schetch" Trans.of IEICE. Vol.J80-D-I,No.8. 691-702 (1997)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1998 Final Research Report Summary
  • [Publications] 手嶋茂晴.荒木円博.阿草清滋: "設計工程に合わせたビュー生成を可能にするソフトウェア文書管理手法の提案" 電子情報通信学会論文誌. (印刷中).

    • Related Report
      1998 Annual Research Report
  • [Publications] 木川泰夫、結縁祥治、坂部俊樹: "通信プロセスに対する文脈変換手法を用いたモデル検査" 電子情報通信学会技術報告. COMP98-82. 1-9 (1999)

    • Related Report
      1998 Annual Research Report
  • [Publications] S.Teshima.Y.Inamori.K.Wada and K.Agusa: "Data and Event Integrated Design Language and its CAE system for Software Design of Real-time Automotive Control System" Proc of 31st ISTA on Simulation.Virtual Reality and Supercom-puting. 83-90 (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] 福安直樹.山本晋一郎.阿草清滋: "細粒度リポジトリに基づいたCASEツール・プラットフォームSapid" 情報処理学会論文誌. Vol.30 No.6. 1990-1998 (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] 小西智久.山本晋一郎.濱口毅.阿草清滋: "入力ドメイン解析に基づく自動テストデータ生成とそれを用いたテストツールの開発" ソフトウェア工学の基礎IV日本ソフトウェア科学会FOSE'97. 107-110 (1997)

    • Related Report
      1998 Annual Research Report
  • [Publications] 手嶋茂晴.稲森豊.阿草清滋: "組込み型制御システムのためのプログラムモデルとそれに基づくプロトタイプ設計支援システムの開発" 電子情報通信学会論文誌. Vol.J80-D-I.No.8. 691-702 (1997)

    • Related Report
      1998 Annual Research Report
  • [Publications] 手嶋茂晴,稲森豊,阿草清滋: "実時間時系処理機能をもつ組み込み型制御システムプロトタイプ用設計言語の提案" 電子情報通信学会誌D-I. Vol.J80-D-I,No.8. 691-702 (1997)

    • Related Report
      1997 Annual Research Report
  • [Publications] 荒木円博,手嶋茂晴: "リンク自動付与機能を持つ技術文書サーバの開発手法" 情報処理学会第55回全国大会講演論文集. (3). 438-439 (1997)

    • Related Report
      1997 Annual Research Report
  • [Publications] 福安直樹,山本晋一郎,阿草清滋: "細粒度ソフトウェア・リポジトリに基づいたソースプログラムの安全な変更" 日本ソフトウェア科学会第14回大会論文集. 601-604 (1997)

    • Related Report
      1997 Annual Research Report
  • [Publications] 岩本奈美,山本晋一郎,阿草清滋: "関数スライサによるプログラム部品抽出手法とその応用" 情報処理学会研究報告. 97-SE-115. 25-32 (1997)

    • Related Report
      1997 Annual Research Report
  • [Publications] 小西智久,山本晋一郎,濱口毅,阿草清滋: "入力ドメイン解析に基づく自動テストデータ生成とそれを用いたテストツールの開発" ソフトウェア工学の基礎IV日本ソフトウェア科学会FOSE‘97. 107-110 (1997)

    • Related Report
      1997 Annual Research Report
  • [Publications] 蜂巣吉成,山本晋一郎,阿草清滋: "コンポーネントウェア時代の最適化" ウィンターワークショップ・イン・恵那論文集. 23-24 (1997)

    • Related Report
      1997 Annual Research Report
  • [Publications] 荒木円博: "ECUソフトの設計支援データベース" 自動車技術会1996年春季学術講演会予稿集. 961. 191-194 (1996)

    • Related Report
      1996 Annual Research Report
  • [Publications] 荒木円博: "ECU組込みソフトウェア開発のための技術文書と設計ツールとの統合" 情報処理学会第53回全国大会講演論文集(1). 1-295-1-296 (1996)

    • Related Report
      1996 Annual Research Report
  • [Publications] 稲森豊: "ECUソフトウェア仕様記述言語とプログラム自動生成" 自動車技術会1996年春季学術講演会予稿集. 961. 183-186 (1996)

    • Related Report
      1996 Annual Research Report
  • [Publications] 和田錦一: "ECU組込み機器向けソフトウェア自動合成手法の開発" 情報処理学会第53回全国大会講演論文集(1). 1-297-1-298 (1996)

    • Related Report
      1996 Annual Research Report
  • [Publications] 蜂巣吉成: "Java言語のための細粒度リポジトリ" 情報処理学会コンピュータシステムシンポジウム論文集. 147-154 (1996)

    • Related Report
      1996 Annual Research Report
  • [Publications] 山本晋一郎: "柔らかなソフトウェア部品と新工法" 情報処理学会ウインターワークショップ・イン・松山論文集. 55-56 (1997)

    • Related Report
      1996 Annual Research Report

URL: 

Published: 1997-04-01   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi