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

概要 / overview

  • 1単位予定(PBL1/2)
  • 三菱電機エンジニアリングからの支援のもと実施 / collaborative work with industry, etc.
  • 実施時期 / period
    •  2019年6月〜2020年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月13日(木)18:00
      • 高井(takai@is.naist.jp)までメールまたは直接知らせてください
        • 6月13日(木)は高井はNAIST A302にいますので直接相談したい場合は部屋まで来てください。
    • 初回:
      6月20日(木)15:00~16:40(ただし、13:30-15:00にシステム要求工学の講義がありますので、これにも出席してください)
    • 演習実施期間:2018年6月~2019年1月
    • スケジュール全体
      • (6月20日(木)13:30-15:00 システム要求工学講義:要求工学の必要性) 教室 P1
      •  6月20日(木)15:10-16:40 キックオフ 教室 P1
      • (7月04日(木)13:30-15:00 システム要求工学講義:要求の記述) 教室 P1
      •  7月04日(木)15:10-16:4演習:要求の記述 教室 P1
      • (7月18日(木)13:30-15:00 システム要求工学講義:要求のリスク分析) 教室 P1
      •  7月18日(木)15:10-16:4演習:要求のリスク分析 教室 P1
      • 7月30日(火)15:10-16:40 特別講義
      • (8月06日(火)13:30-15:00 システム要求工学講義:要求に関する議論) 
      •  8月06日(火)15:10-16:40 演習:要求に関する議論
      • 9月12日(木)13:30-16:40 テーマ決めの議論 教室 P1
      • (8月〜11月、隔週程度で個別打ち合わせ及び外部の方にレビューを頂く機会を得る)
      • 2019年12月〜2020年1月に最終報告会

説明スライド / The slides

参考URL / related URL

担当教員

高井(takai@is.naist.jp)