2013/10/26

第2回 D-Case講習会(名古屋大学院生向け) / 2nd D-Case Short Course(For Nagoya Uni Graduate Students)

開催概要

  • 日時 平成24年10月26日
  • 場所 名古屋大学情報基盤センター4階演習室
  • 講師 名古屋大学情報連携統括本部情報戦略室 松野裕

プログラム

  • 13:30 – 13:40 はじめに(松野)
  • 13:30 – 14:00 アシュアランスケースについて(松野)
  • 14:00 – 14:40 D-Case作成法1(松野)
  • 14:40 – 14:50 休憩
  • 14:50 – 16:00 D-Case演習1–文法、文章、分解パターン (松野)
  • 16:00 – 16:40 D-Case作成法2 (松野)
  • 16:40 – 16:50 休憩
  • 16:50 – 18:00 D-Case演習2–D-Case作成 (松野)

Date and place

  • Date & Time : 2013/10/26
  • Place : Nagoya University Information Technology Center 4th Floor Seminar Room
  • Lecturer : Nagoya Uni, Information Coorporation Headquarters, Strategic Inforamtion Department, Matsuno Yutaka

Program

  • 13:30 – 13:40 Opening Remarks (Matsuno)
  • 13:30 – 14:00 About Assurance Cases (Matsuno)
  • 14:00 – 14:40 D-Case How to 1 (Matsuno)
  • 14:40 – 14:50 Interval
  • 14:50 – 16:00 D-Case Seminar 1 - Syntax, Composition, Disintegration Patterns (Matsuno)
  • 16:00 – 16:40 D-Case How to 2 (Matsuno)
  • 16:40 – 16:50 Interval
  • 16:50 – 18:00 D-Case Seminar 2 - D-Case Creation (Matsuno)

2013/10/22

第4回 D-Case実証評価研究会のご案内 / 4th D-Case Study Information

開催概要 / Date and place

  • 日時:平成25年10月22日
  • 場所:京都アックスセミナールーム
  • Date & Time : 2013/10/22
  • Place : Kyotoアックス Seminar Room

プログラム

セッション1 DEOSについて 13:00 - 13:30 (松野)

セッション2 規格認証 13:30 - 14:30 (田口)
  • 田口研治(産総研/CAV)中野昇(ベリサーブ) 30分 
    • ISO 26262 の認証とセーフティケース 
  • 相馬大輔 (産総研)  30分 RAMS の認証とセーフティケース 

休憩 14:30~14:45
セッション3 D-Case応用 14:45 - 15:55 (松野)

セッション4 システムアシュアランス教育 15:55 - 16:55 (高井)

おわりに 16:55 - 17:00 

Program

Session 1 About DEOS 13:00 - 13:30(Matsuno)
  • 1.Makoto Yashiro(DEOS Center)30min About DEOS Project 
Sesison 2 Authentication of Standards 13:30 - 14:30(Taguchi) 
  • 1.Taguchi Kenji(AIST/CAV) 30min ISO 26262 Authentication and Safety Cases
  • 2.Soma Daisuke(AIST)30min RAMS Authentication and Safety Cases

Interval 14:30 - 14:45 
Session 3 D-Case Applications 14:45 - 15:55(Matsuno)
  • 1.Nakazawa Jin (Keio Uni)30min Monitoring of Distributed Systems using D-Case
  • 2.Shida Shunsuke(Yokoku Uni)20min D-Case Repository Stake Holders 
  • 3.Ishi Masaki(Yokoku Uni)20min Synchronization of Execution Environment and D-Case using D-Script
Session 4 System Assurance Education 15:55 - 16:55(Takai) 
  • 1.NAIST Student 1 20min
  • 2.NAIST Student 2 20min
  • 3.NAIST Student 3 20min
Closing Remarks 16:55 - 17:00  


2013/10/19

第1回 D-Case講習会(一般企業の方を対象) / 1st D-Case Short Course (For General Comapny Personnel)


開催概要

  • 日時 平成24年10月19日(金)
  • 場所 名古屋大学情報基盤センター4階演習室
  • 講師 名古屋大学情報連携統括本部情報戦略室 松野裕、山本修一郎

プログラム

  • 13:30 – 13:40 はじめに(山本)
  • 13:30 – 14:00 アシュアランスケースについて(松野)
  • 14:00 – 14:40 D-Case作成法1(山本)
  • 14:40 – 14:50 休憩
  • 14:50 – 16:00 D-Case演習1–文法、文章、分解パターン (山本)
  • 16:00 – 16:40 D-Case作成法2 (松野)
  • 16:40 – 16:50 休憩
  • 16:50 – 18:00 D-Case演習2–D-Case作成 (松野、山本)

Date and place

  • Date & Time : 2013/10/19(Fri)
  • Place : Nagoya University Information Technology Center 4th Floor Seminar Room
  • Lecturer : Nagoya Uni, Information Coorporation Headquarters, Strategic Inforamtion Department, Matsuno Yutaka, Yamamoto Shuichiro

Program

  • 13:30 – 13:40 Opening remarks (Yamamoto)
  • 13:30 – 14:00 About Assurance Cases (Matsuno)
  • 14:00 – 14:40 D-Case : How to 1 (Yamamoto)
  • 14:40 – 14:50 Interval
  • 14:50 – 16:00 D-Case Seminar 1 - Syntax, Composition, Disintegrating Patterns (Yamamoto)
  • 16:00 – 16:40 D-Case : How to 2 (Matsuno)
  • 16:40 – 16:50 Interval
  • 16:50 – 18:00 D-Case Seminar 2 - D-Case Creation (Matsuno, Yamamoto)