モデルベース開発におけるブロック線図モデルの保守性向上手法の提案

スポンサーリンク

概要

• 論文の詳細を見る

• 近年,特に車載分野の組込みソフトウェア設計において,ブロック線図に基づくモデルベース設計手法の利用が拡大してきている.しかし,モデル化の仕方によっては,状態遷移の情報がデータフローの表現としてブロック線図に表れることがあり,モデルの保守性を下げる要因となっている.ブロック線図はデータフローの表現には適しているが,状態遷移の表現に適しているとは言い難い.本研究では,ブロック線図から状態遷移とデータフローに関わる情報を抽出することで,モデルの保守性を向上させる手法を提案する.

• 2013-03-04

著者

• 川田 秀司

  株式会社東芝ソフトウェア技術センター

• 川田 秀司

  株式会社東芝研究開発センター

• 弓倉 陽介

  大阪大学大学院基礎工学研究科

• 弓倉 陽介

  (株)東芝ソフトウェア技術センター

• 川田 秀司

  (株)東芝ソフトウェア技術センター

• 川勝 則孝

  (株)東芝ソフトウェア技術センター

関連論文

• 超逐次プログラミング : 高信頼並行プログラムの新しい開発手法の提案
• 並列プログラムの知的プログラミング支援システムMENDELS(3) : 時制論理からの同期部の自動生成
• 4A-4 QEMUによるHW/SW協調シミュレータの構築(設計・検証技術,一般セッション,アーキテクチャ,情報処理学会創立50周年記念)
• 5ZC-6 並行プログラムに関するテスト・デバッグ方式
• 組込み制御用ソフトウェア次世代テスト・デバッグシステム
• 3. 制御用プログラムの試験 (<特集>「並行処理におけるプログラム試験」)
• 離散事象システムの網羅的シミュレーション
• シ-ケンス制御プログラムの検証技術
• Physiome.jpにおける汎用マルチエージェントモデル開発システムの構築
• モデルベース開発におけるブロック線図モデルの保守性向上手法の提案
• 自然言語解析を用いた要求仕様の評価手法
• データフローダイアグラムを利用した要求仕様の品質向上技術

もっと見る 閉じる

スポンサーリンク