| 講演名 | 2001/5/18 動的環境におけるソフトウェア安全性/可用性評価のためのマルコフモデル 得能 貢一, 山田 茂, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | 本稿では, 従来のソフトウェア・アベイラビリティモデルを基にしたソフトウェア安全性評価モデルについて議論する. 得に, ソフトウェア信頼性と安全性を区別して収扱い, システムが動作中に不安全状態に陥ることを考慮する. このとき, システムダウン時に実施されるデバッグ作業が, 安全性の向上にも寄与する場合を考える. また, 不完全デバッグの環境もモデルに考慮される. 動作状態と不動作状態を繰り返すシステムの時間的振舞いは, マルコフ過程で記述される. 本モデルより, ソフトウェア安全性および可用性評価のための定量的尺度が導出される. 最後に, 評価尺度の数値例を示す. |
| 抄録(英) | This paper reconstructs a software safety/availability model based on the existing Markovian software availability one. The attention of this paper is directed to the event that the system causes hazardous conditions randomly in operation. In particular, we assume that some of debugging activities contribute to software safety improvement as well. Several quantities for software safety/availability measurement are derived from this model. In particular, we provide a metrics of software safety defined as the probability that the system does not fall into hazardous states at a specified time point. Several numerical illustrations of these measures are also presented. |
| キーワード(和) | ソフトウェア安全性 / ソフトウェア可用性 / マルコフ過程 / 安全性向上 / 不完全デバッグ |
| キーワード(英) | software safety / software availability / Markov process / safety improvement / imperfect debugging |
| 資料番号 | R2001-10 |
| 発行日 |
| 研究会情報 | |
| 研究会 | R |
|---|---|
| 開催期間 | 2001/5/18(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Reliability(R) |
|---|---|
| 本文の言語 | ENG |
| タイトル（和） | 動的環境におけるソフトウェア安全性/可用性評価のためのマルコフモデル |
| サブタイトル（和） | |
| タイトル（英） | Markovian Modeling for Software Safety/Availability Measurement in Dynamic Environment |
| サブタイトル（和） | |
| キーワード(1)（和/英） | ソフトウェア安全性 / software safety |
| キーワード(2)（和/英） | ソフトウェア可用性 / software availability |
| キーワード(3)（和/英） | マルコフ過程 / Markov process |
| キーワード(4)（和/英） | 安全性向上 / safety improvement |
| キーワード(5)（和/英） | 不完全デバッグ / imperfect debugging |
| 第 1 著者 氏名（和/英） | 得能 貢一 / Koichi Tokuno |
| 第 1 著者 所属（和/英） | 鳥取大学工学部社会開発システム工学科 Department of Social Systems Engineering Faculty of Engineering, Tottori University |
| 第 2 著者 氏名（和/英） | 山田 茂 / Shigeru Yamada |
| 第 2 著者 所属（和/英） | 鳥取大学工学部社会開発システム工学科 Department of Social Systems Engineering Faculty of Engineering, Tottori University |
| 発表年月日 | 2001/5/18 |
| 資料番号 | R2001-10 |
| 巻番号（vol） | vol.101 |
| 号番号（no） | 88 |
| ページ範囲 | pp.- |
| ページ数 | 6 |
| 発行日 | |