開催概要 / Date and place
- 日時：平成２４年１２月２０日（木）
- １５：００～１８：００ （受付１４：３０～）
- 場所：名古屋市中区栄３－１－１ 広小路第一生命ビル
- デンソークリエイト １０階会議室
- 専門委員長：
- 名古屋大学情報連携統括本部 情報戦略室 教授 山本 修一郎
- 実証委員長：
- 名古屋大学情報連携統括本部 情報戦略室 講師 松野 裕
- Date & Time :
- 2012/12/20(Thu) 15:00 - 18:00（Reception 14:30）
- Place : Denso Create, 10th Floor Conference Room
- Nagoya-Shi, Naka-Ku, Sakae 3-1-1 Main St, Dai-ichi Seimei Building
- Committee Chairman：
- Nagoya University, Information Coorporation Headquarters, Strategic Inforamtion Department, Professor Yamamoto Shuichiro
- Proof Committee Chairman：
- Nagoya University, Information Coorporation Headquarters, Strategic Inforamtion Department, Lecturer Matsuno Yutaka
プログラム
(1) 15:00-15:10 はじめに(2) 15:10 - 15:50 実証実験報告１
講演者 デンソークリエイトさま
D-Caseを用いた要件定義プロセス（PDF約0.4MB）
ETロボコン（作成中） ETロボコン（ゴール分析）ツールA TCLの評価 ツールA ツール認定方法リッチピクチャー
(3) 15:50 - 16:20 実証実験報告２
講演者 安川情報エンベデッドさま
入退出管理システムのディペンダビリティ設計によるD-case研修（PDF約3.0MB）
(4) 16:40- 17:10 D-CaseによるLANアプリケーションのディペンダブル設計
講演者 サイバー創研さま
D-CaseによるLANアプリケーションのディペンダビリティ設計（PDF約0.4MB）
(5) 17:10 - 17:40 D-Case実践本、最近の活動の報告
講演者 松野裕、山本修一郎（名古屋大学）
(6) 17:40-18:00 終わりに
Program
(1) 15:00 - 15:10 Opening Remarks
(2) 15:10 - 15:50 Operation Test Report 1
Speaker : Denso Create
Requisite Definition Process using D-Case（PDF 0.4MB）
ET Robocon（pending） ET Robocon（goal analysis）
Evaluation : Tool A TCL Tool A Tool Authentication
Rich Picture
(3) 15:50 - 16:20 Operation Test Report 2
Speaker : Yaskawa Jyouhou Embedded
(4) 16:40- 17:10 LAN Application Dependability Design with D-Case
Speaker : Cyber Souken
(5) 17:10 - 17:40 D-Case Origins、Recent Activities
Speaker : Matsuno Yutaka, Yamamoto Shuichiro（Nagoya Univ.）
(6) 17:40-18:00 Closing Remarks