D-Case活用事例

エンジン制御開発への適用

  • 講演者 石崎 直哉 (トヨタ)   PDF 

D-Case活用事例:ETロボコンへの適用

  • 講演者 伊東 敦  (富士ゼロックス)  PDF 

D-Caseを用いた要件定義プロセス

  • 講演者 ㈱デンソークリエイト   PDF 

ETロボコン(作成中) ETロボコン(ゴール分析)
ツールA TCLの評価 ツールA ツール認定方法
リッチピクチャー

入退出管理システムのディペンダビリティ設計によるD-case研修

  • 講演者 安川情報エンベデッド㈱   PDF 


D-CaseによるLANアプリケーションのディペンダブル設計

  • 講演者 ㈱サイバー創研       PDF 


D-CaseとSysML/UML連携の実証実験

  • 講演者 山本光洋 (チェンジビジョン)  PDF 


D-Caseを使ったロボットのディペンダビリティの保証

  • 講演者 加賀美聡 (産総研)  PDF 


DEOSプロジェクト最新動向/SysMLとD-Caseの連携

  • 講演者 屋代眞 (DEOSセンター) 豊田学 (日本IBM) PDF 


DEOSプロジェクト最新動向とD-Case事例紹介

  • 講演者 屋代眞 (DEOSセンター) PDF 


D-Caseを用いた分散システムのモニタリング

  • 講演者 中澤仁 (慶応大学) PDF 


D-Caseレポジトリとステークホルダ

  • 講演者 志田駿介 (横浜国立大学) PDF 


D-Scriptを用いたD-Caseと実行環境の同期

  • 講演者 岡本悠希 (横浜国立大学) PDF 


System Assurance For Smart House

  • 講演者 Khana Chindamaikul, Uematsu Yusuke, Jun Komeda (奈良先端大) PDF 


車両間アドホックネットワークにおけるシステムアシュアランスの検討

  • 講演者 鷲尾 直大 (奈良先端大) PDF 


LEGO Mindstorms を用いたシーソー走行に関するアシュランスケースの検討

  • 講演者 野村亮太 南秀和 (奈良先端大) PDF 


Mobile Payment System を対象としたD-Case記述演習

  • 講演者 Mehnaz Seraj、 Babatunde Ojetunde、高井利憲 (奈良先端大) PDF