ディペンダブルシステム －高信頼システム実現のための耐故障・検証・テスト技術－ (共立出版, 2005)

正誤表

• 10ページ, 式(1.5)の右端

  t・dR(t)/t・dt → t・dR(t)/dt・dt

• 39ページ, 56ページ

  ドラフト率(draft rate) → ドリフト率(drift rate)
  (恥ずかしい...)

• 50ページ，アルゴリズムOM(m, P, g, x), m>0, ステップ3

  これらのなかに過半数を → yiとこれらのなかに過半数を

• 60ページ, 上から4行目，および11行目 (AIST/CVS 岡本さんより)

  保障 → 保証

• 63ページ, 3.3.4の最後の段落

  一方，障害判定器P, Q, S, Wは， → 一方，障害検出器P, Q, S, Wは，

リンク

• 米田先生のサポートページ

戻る