講演名 2013-05-31
ヒューマンエラーに対する手順書の耐性検査(一般・学生)
永藤 直行, 渡部 卓雄,
PDFダウンロードページ PDFダウンロードページへ
抄録(和) 作業手順がヒューマンエラーに対して耐性があるかどうか検査するためにモデル検証の手法を利用する.作業手順には,ヒューマンエラーによる誤り検出や復旧のためのタスクが埋め込まれているであろう.作業手順の信頼性を保持するためにそれらのタスクの有用性を検査する必要がある.本稿では,いくつかのヒューマンエラーの意味を定義し,それを作業手順のモデルに埋め込む方法を提案する.有用であることを示すために,ヒューマンエラーが埋め込まれたモデルに対して作業手順の目的としてのゴールに至るかどうかをモデル検証の手法をもちいて検査する.
抄録(英) We adapt a formal approach for an investigation into robustness analysis on human-made faults in procedural manuals. Detection or recovery tasks for human-made faults are probably embedded into procedural manuals. The investigation of usefulness of the tasks is important to preserve the trust of workflows in safety critical domains. We define fault semantics of several human-made faults, and then inject the faults into the model of procedural manuals. After that, using model checking technique, we verify that the injected model satisfies a property as a goal.
キーワード(和) ヒューマンエラー / 作業手順 / 耐性 / 誤り復旧 / 線形時相論理 / プロセス代数
キーワード(英) human-made fault / procedural manual / robustness / recovery / linear temporal logic / process algebra
資料番号 KBSE2013-11
発行日

研究会情報
研究会 KBSE
開催期間 2013/5/23(から1日開催)
開催地(和)
開催地(英)
テーマ(和)
テーマ(英)
委員長氏名(和)
委員長氏名(英)
副委員長氏名(和)
副委員長氏名(英)
幹事氏名(和)
幹事氏名(英)
幹事補佐氏名(和)
幹事補佐氏名(英)

講演論文情報詳細
申込み研究会 Knowledge-Based Software Engineering (KBSE)
本文の言語 JPN
タイトル(和) ヒューマンエラーに対する手順書の耐性検査(一般・学生)
サブタイトル(和)
タイトル(英) Robustness Analysis on Human-made Fault in Procedural Manuals
サブタイトル(和)
キーワード(1)(和/英) ヒューマンエラー / human-made fault
キーワード(2)(和/英) 作業手順 / procedural manual
キーワード(3)(和/英) 耐性 / robustness
キーワード(4)(和/英) 誤り復旧 / recovery
キーワード(5)(和/英) 線形時相論理 / linear temporal logic
キーワード(6)(和/英) プロセス代数 / process algebra
第 1 著者 氏名(和/英) 永藤 直行 / Naoyuki NAGATOU
第 1 著者 所属(和/英) 有限会社プレシステム
PRESYSTEMS Inc.
第 2 著者 氏名(和/英) 渡部 卓雄 / Takuo WATANABE
第 2 著者 所属(和/英) 東京工業大学大学院情報理工学研究科計算工学専攻
Department of Computer Science, Graduate School of Information Science and Engineering, Tokyo Institute of Technology
発表年月日 2013-05-31
資料番号 KBSE2013-11
巻番号(vol) vol.113
号番号(no) 71
ページ範囲 pp.-
ページ数 6
発行日