システムアシュアランス演習2020

概要 / overview

  • 1単位（PBL1)
  • 実施時期 / period
    •  2020年6月〜2021年1月の間で不定期に実施（2週間に2コマほど講義・応個別相談）

ねらい / Aim

  • システムアシュアランスの背景と目的について理解する
    To understand the backgroupd and the purpose of system assurance
  • システムやソフトウェアのリスクについて、証拠に基づき納得できる形で論証するシステムアシュアランス活動を体験する
    To have experience system assurance activities, including to convince stakeholders about system and software risk-related properties based on evidence 
  • 論証に必要な記述技術、分析技法、論証を構造的に記述するための議論学の技術を修得する
    To learn abilities of description and analysis techniques about risks and arugumentation theory in which arguments are structurely dscribed

実施形態 

  1. Intensive lectures on system assurance 集中講義
  2. Select a topic and propose a plan 演習課題の選択と提案
  3. PBL: Analyze, argue and account risks in the target system / PBL: 演習課題における対象システムのリスクの分析・議論・説明
    • 企業訪問、企業とのワークショップ、インターンシップを含む可能性あり
  4. Present the result 外部研究会での成果発表

スケジュール / Schedule

希望者はtakai@is.naist.jpまでメールしてください。相談はいつでも受け付けます。

  • 第一回目実施分
    • 申し込み締め切り：6月25日（木）18:00
      • ​高井(takai@is.naist.jp)までメールまたは直接知らせてください
        • 6月13日（木）6月18日（木）は高井はNAIST A302にいますので直接相談したい場合は部屋まで来てください。
    • 初回：
      7月2日（木）15:00～16:40（ただし、13:30-15:00にシステム要求工学の講義がありますので、これにも出席してください）
    • 演習実施期間：2020年7月～2021年1月
    • スケジュール全体
      • (7月2日（木）13:30-15:00 システム要求工学講義：要求工学の必要性) 教室 P1
      •  7月2日（木）15:10-16:40 キックオフ 教室 P1
      • (7月09日（木）13:30-15:00 システム要求工学講義：要求の記述) 教室 P1
      •  7月09日（木）15:10-16:40 演習：要求の記述 教室 P1
      • (7月30日（木）13:30-15:00 システム要求工学講義：要求のリスク分析) 教室 P1
      •  7月30日（木）15:10-16:40 演習：要求のリスク分析 教室 P1
      • (8月06日（木）13:30-15:00 システム要求工学講義：要求に関する議論) 
      •  8月06日（木）15:10-16:40 演習：要求に関する議論
      • 9月3日（木）13:30-16:40 テーマ決めの議論 教室 P1
      • 9月15日（火）13:30-15:00 個別テーマ打ち合わせ 教室 A302
      • 10月29日（木）13:30-16:40 個別テーマ打ち合わせ 教室 A302
      • 11月12日（水）13:30-16:40 個別テーマ打ち合わせ 教室 A302
      • 11月26日（木）13:30-16:40 個別テーマ打ち合わせ 教室 A302
      • 1月12日（火）15:10-16:40 個別テーマ打ち合わせ オンライン
      • 1月15日（金）15:30-17:00 個別テーマ打ち合わせ オンライン
      • 1月26日（火）13:30-15:00 個別テーマ打ち合わせ オンライン
      • 2月18日（木）15:00-16:40  個別テーマ打ち合わせ オンライン
      • 2月19日（金）15:00-16:40 個別テーマ打ち合わせ オンライン
      • 2月22日（月）15:10-16:40  個別テーマ打ち合わせ オンライン
      • 3月9日（火） 13:30-15:00 個別テーマ打ち合わせ オンライン
      • 3月11日（木）13:30-15:00 個別テーマ打ち合わせ オンライン
      • (8月〜11月、隔週程度で個別打ち合わせ及び外部の方にレビューを頂く機会を得る）
      • 2020年3月23日（火）13:30-15:00 最終報告会

説明スライド / The slides

担当教員

高井(takai@is.naist.jp)