2013/11/11

第3回 D-Case講習会（JAXA技術者向け） / 3rd D-Case Short Course（For JAXA Engineers）


開催概要

  • 日時　平成２４年１１月１日
  • 場所　筑波宇宙センター
  • 講師　名古屋大学情報連携統括本部情報戦略室　松野裕

プログラム

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

Date and place

  • Date & Time : 2013/11/11
  • Place : Tsukuba Space Center
  • 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/26

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

開催概要

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

プログラム

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

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

プログラム

セッション１　DEOSについて　13:00 - 13:30　（松野）

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

休憩 14:30~14:45
セッション３　D-Case応用 14:45 - 15:55　（松野）

セッション４　システムアシュアランス教育 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)


開催概要

  • 日時　平成２４年１０月１９日（金）
  • 場所　名古屋大学情報基盤センター４階演習室
  • 講師　名古屋大学情報連携統括本部情報戦略室　松野裕、山本修一郎

プログラム

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

2013/07/31

キャッツD-Case入門セミナー～高信頼なシステム開発に必要な考え方の基本を身につけよう！～(キャッツ主催、D-Case委員会協力) / Seminar(Guide to D-Case) - Master the basics of Reliable System Development(Sponsor:キャッツ,D-Case Committee Cooperation)

開催概要

  • 日時　平成２５年７月３１日
  • 場所　キャッツ新横浜オフィス

プログラム

  • 13:40-14:10 D-Caseの必要性　山本(名古屋大学)
  • 14:10–14:50 DEOSプロジェクト最新動向/SysMLとD-Caseの連携　
    •  屋代(DEOSセンター)、豊田(日本IBM)
  • 15:00–17:20 D-Case超入門　松野(電気通信大学)、穴田(キャッツ)

Date and place

  • Date & Time : 2013/7/31
  • Place　キャッツ Shin-Yokohma Office

Program

  • 13:40 - 14:10 The need for D-Case [Yamamoto(Nagoya Uni)]
  • 14:10 – 14:50 DEOS Project latest trends / SysML and D-Case Collaboration 
    • [Makoto(DEOS Center)、Toyoda(IBM Japan)]
  • 15:00 – 17:20 D-Case Guide [Matsuno(UEC)、Anada(キャッツ)]

2013/04/19

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



開催概要 / Date and place

  • 日時：平成２５年４月１９日
  • 場所：慶応大学日吉キャンパス来往舎２F中会議室
  • Date & Time：2013/4/19
  • Place：Keio University, Hiyoshi Campus来往舎 2nd Floor Conference Room

プログラム


Program