Proj
J-GLOBAL ID:202104009608991818
Research Project code:12102344
作業手順の人的誤りに対する頑健性の検査: モデル検証のプロセスへの応用
作業手順の人的誤りに対する頑健性の検査: モデル検証のプロセスへの応用
Study period:2012 - 2013
Organization (1):
Research responsibility:
(
, 附属病院経営企画部, 特任准教授 )
Research overview:
モデル検証を用いて、手順の頑健性に寄与するタスクの有効性を検証することを目的としている。モデル検証では手順を表す振る舞いモデルと手順の目的を表す時相論式を与える。人的誤りに対する頑健性を検証するときには人的誤りの形式化と振る舞いモデルへの埋め込みが必要である。ここでは人的誤りを omission fault、 selection fault、 sequence fault に分類して、その意味をプロセス代数上でそれぞれ形式化した。この形式化を用いて振る舞いモデルに人的誤りを埋め込む。実験的に、システムの操作手順や一般的な採血手順について適用した。その結果、実際に報告されているシステム障害や事故に至る過程をモデル検証により再現することができた。 Timing fault、 qualitative fault の形式化は今後の課題である。
Terms in the title (7):
Terms in the title
Keywords automatically extracted from the title.
,
,
,
,
,
,
Research program:
>
>
>
Organization with control over the research:
Japan Science and Technology Agency
Return to Previous Page