| 講演名 | 2012-11-23 システム運用障害を防止するための運用手順書へのSPINの適用 宮崎 勉, 大木 敦雄, 中谷 多哉子, |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | システム障害を防止するためには,システム開発と同様にシステム運用の品質を向上させることが重要となる.本稿ではシステム運用作業時の運用手順書の不具合を発見するために,モデル検査法であるSPINを適用することで,運用手順書の品質を向上させることができることを検証する. |
| 抄録(英) | In order to prevent system fault, it is important to improve the quality of system operations in the same way as that of system development. We focus on the operation manuals and apply the SPIN model checker to improve the quality of the operation manuals. This paper shows the results of the application is verified by applying it to the system operation process. |
| キーワード(和) | システム障害 / システム運用作業 / モデル検査法 / SPIN |
| キーワード(英) | System Fault / System Operation / Model Checking / SPIN |
| 資料番号 | KBSE2012-54 |
| 発行日 |
| 研究会情報 | |
| 研究会 | KBSE |
|---|---|
| 開催期間 | 2012/11/15(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Knowledge-Based Software Engineering (KBSE) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | システム運用障害を防止するための運用手順書へのSPINの適用 |
| サブタイトル（和） | |
| タイトル（英） | Applying SPIN to operation manuals to prevent system fault |
| サブタイトル（和） | |
| キーワード(1)（和/英） | システム障害 / System Fault |
| キーワード(2)（和/英） | システム運用作業 / System Operation |
| キーワード(3)（和/英） | モデル検査法 / Model Checking |
| キーワード(4)（和/英） | SPIN / SPIN |
| 第 1 著者 氏名（和/英） | 宮崎 勉 / Tsutomu MIYAZAKI |
| 第 1 著者 所属（和/英） | 筑波大学大学院ビジネス科学研究科 Graduate School of Business Sciences, The University of Tsukuba |
| 第 2 著者 氏名（和/英） | 大木 敦雄 / Atsuo OHKI |
| 第 2 著者 所属（和/英） | 筑波大学大学院ビジネス科学研究科 Graduate School of Business Sciences, The University of Tsukuba |
| 第 3 著者 氏名（和/英） | 中谷 多哉子 / Takako NAKATANI |
| 第 3 著者 所属（和/英） | 筑波大学大学院ビジネス科学研究科 Graduate School of Business Sciences, The University of Tsukuba |
| 発表年月日 | 2012-11-23 |
| 資料番号 | KBSE2012-54 |
| 巻番号（vol） | vol.112 |
| 号番号（no） | 314 |
| ページ範囲 | pp.- |
| ページ数 | 6 |
| 発行日 | |