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

再利用技術と検証技術に基づくリアルタイムシステム開発法に関する研究

Research Project

Project/Area Number 14780245
Research Category

Grant-in-Aid for Young Scientists (B)

Allocation TypeSingle-year Grants
Research Field 計算機科学
Research InstitutionRitsumeikan University

Principal Investigator

小倉 晴美  立命館大, 理工学部, 助手 (40333190)

Project Period (FY) 2002 – 2003
Project Status Completed (Fiscal Year 2003)
Budget Amount *help
¥3,500,000 (Direct Cost: ¥3,500,000)
Fiscal Year 2003: ¥900,000 (Direct Cost: ¥900,000)
Fiscal Year 2002: ¥2,600,000 (Direct Cost: ¥2,600,000)
Keywords組込み / リアルタイム / 実時間 / ソフトウエアテスト / ペトリネット / オブジェクト指向 / 再利用開発 / スライシング
Research Abstract

本研究は、高品質なリアルタイムシステムを短期開発を可能にするために、テスト・検証の側面と再利用開発の側面に着目している。
従来のテスト・検証に関して、リアルタイムシステム特有の割込み、優先度に関するテストが確立されてない問題、再利用開発に関して、状態図に関する再利用技術が確立されていない問題がある。本研究では、これらの問題を解決するために、形式言語の一つであるカラーペトリネットの拡張、プログラムスラィシング技術のカラーペトリネットへの応用を行う。これらの要素技術の確立により両方の側面の問題解決を目指す。
本年度は、(1)方法の提案、(2)システム開発、(3)評価方法の検討について計画した。
(1)方法の提案:カラーペトリネットのスライシング方法、優先度を考慮したリアルタイムシステム開発方法、リアルタイムシステム特有のスケージュリングを考慮したテスト法について提案を行った。
(2)システム開発:方法を評価するために、プリミティブなシステムを作成した。
(3)評価方法の検討:問題点解決のみを表す簡単な例題を作成し、評価方法の検討を行った。
以上の研究について、情報処理学会ソフトウエア工学研究会で二回発表を行い、情報処理学会論文誌に採録が決定されている。さらに、産学協同の研究の場である組込みワーキンググループ、組み込みソフトウエア試験標準化委員会の活動に積極的に参加し、本研究に対し貴重な情報を得た。

Report

(1 results)
  • 2002 Annual Research Report
  • Research Products

    (2 results)

All Other

All Publications (2 results)

  • [Publications] 渡辺 晴美: "オブジェクト指向ソフトウエアテストのためのカラーペトリネットスライシング技術"情報処理学会論文誌. Vol.44 No.06. (2003)

    • Related Report
      2002 Annual Research Report
  • [Publications] 鷲見 毅, 渡辺 晴美, 大西 淳: "ステレオタイプによるUMLモデル間の整合性検証支援"情報処理学会論文誌. Vol.43 No.06. 1554-1562 (2002)

    • Related Report
      2002 Annual Research Report

URL: 

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

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi