2013/11/11

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


開催概要

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

プログラム

  • 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/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)

開催概要

  • 日時 平成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)

2013/07/31

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

開催概要

  • 日時 平成25年7月31日
  • 場所 キャッツ新横浜オフィス

プログラム

  • 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

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

プログラム


Program