従属マルコフ連鎖モデルに基づいたソフトウェア安全性の評価(安全性論文小特集)
スポンサーリンク
概要
- 論文の詳細を見る
ソフトウェア安全性は,ソフトウェアがあらかじめ定められた機能を実行することができるか否かにかかわらず,規定の環境のもとで意図する期間中にハザード(危険状態)を誘発する状態を引き起こさない性質や度合として定義される.本論文では,ソフトウェアフォールトの重要度に関する相関を考慮することにより,従属マルコフ連鎖に基づいた新しいソフトウェア安全性評価モデルを提案する.実際のテスト工程において観測されたソフトウェアフォールト発見データに対する適合性を検証し,ソフトウェア安全性評価における提案モデルの有効性を示す.
- 社団法人電子情報通信学会の論文
- 2002-12-01
著者
関連論文
- ソフトウェア信頼性評価におけるソフトウェアメトリクスの活用(最近の信頼性・安全性の理論と応用)
- セキュリティパッチによる保守を伴うソフトウェアシステムに対するセキュリティ評価 (信頼性)
- 核推定法に基づいたソフトウェア故障データの解析 (信頼性)
- TIPSHアルゴリズムに基づいたウェーブレット縮小推定によるソフトウェア信頼性評価 (不確実・不確定性下での意思決定過程)
- マルコフ到着過程によるコンピュータウィルス増殖過程の推定(信頼性国際規格,保全性,信頼性一般)
- ベイズ推定に基づいたソフトウェアリリース時間の信頼区間(ソフトウェアの信頼性,信頼性理論,信頼性一般)
- HMMの学習アルゴリズムの並列化に関する一考察 (不確実・不確定性下での意思決定過程)
- IMS-based VoIP ネットワークシステムの定量的セキュリティ分析(ソフトウェアの信頼性,信頼性理論,信頼性一般)
- ランダムポートホッピングの性能評価(ソフトウェアの信頼性,信頼性理論,信頼性一般)
- マルコフ変調ソフトウェア信頼性モデル(セッション2 : ソフトウェアの信頼性,信頼性理論)
- 対数正規過程に基づいたソフトウェア信頼性評価に関する考察(信頼性(3))
- 連続状態ソフトウェア信頼性モデル(信頼性(2))
- 2-F-3 Web情報検索におけるマルコフ決定過程に基づいたランキングアプローチ(情報・通信)
- マルコフ決定過程によるWebページランキングアルゴリズム(Web マイニング・Web情報検索,データ工学論文)
- 動的なテスト環境要因を考慮したソフトウェア信頼性評価の一考察 (信頼性)
- 1-C-8 テスト環境要因を考慮したソフトウェア信頼性モデルの効率的推定手法(信頼性(2))
- 1-C-7 ソフトウェアメトリクスを考慮したソフトウェア信頼性評価(信頼性(2))
- マルコフ型到着過程を用いたソフトウェア信頼性モデルの統一化
- ソフトウェア信頼性のノンパラメトリック推定に関する考察(システムの信頼性,信頼性一般)
- The International Conference on Dependable Systems and Networks(DSN 2005)
- 表計算ソフトウェアによる路線価評価システムの開発(都市・交通(1))
- 表計算ソフトウェアによるソフトウェア信頼性評価ツール(SRATS)の開発(ソフトウェア開発環境・開発支援システム, システム開発論文)
- MRSPNによるセキュリティシステムの性能評価
- 超アーランソフトウェア信頼性モデル
- 2-E-11 ノンパラメトリック予測推論に基づいたソフトウェアの最適若化方策 : 3ステップ適応的スケジューリング(信頼性(3))
- 確率的SISモデルによるコンピュータウィルス増殖過程の推定(信頼性(2))
- 確率モデルによるコンピュータウィルスの特徴分析(ネットワークセキュリティ)
- 国際会議報告 : ISAS 2006に出席して
- システム障害の発生を考慮した分散プロセスのデッドロック検出スケジューリング
- 1-D-8 多変量位相分布のパラメータ推定手法(マルコフ過程)
- 動的なテスト環境要因を考慮したソフトウェア信頼性評価の一考察(ソフトウェアの信頼性,信頼性理論,信頼性一般)
- セキュリティパッチによる保守を伴うソフトウェアシステムに対するセキュリティ評価(ソフトウェアの信頼性,信頼性理論,信頼性一般)
- 制約付最適逐次チェックポイント配置 : 厳密解と近似解について(ソフトウェアの信頼性,信頼性理論,信頼性一般)
- 1-D-9 チェックポイント配置問題におけるパフォーマビリティ解析(信頼性(3)・システム設計)
- 逐次チェックポイント配置のための厳密解法
- 不完備情報下でのMin-Maxチェックポイント配置(信頼性(2))
- 対数ポアソン実行時間ソフトウェア信頼性モデルに関する一考察 : 余震発生モデルとの関連性を通して(信頼性(2))
- Q学習に基づいた自動スリープシステムの最適制御
- 強化学習によるDynamic Power Management Systemの実装(信頼性(2))
- 土地価格形成要因の定量データに基づいた固定資産税路線価式評価法(都市・地域(1))
- 比例ハザードモデルに基づいた固定資産税路線価式評価法(金融(2))
- コスト有効性に基づいた離散時間ソフトウェア若化スケジュールの推定
- 単体テストデータを用いたソフトウェア信頼性評価に関する一考察 (信頼性)
- マルコフ連鎖の極限推移確率とWebリンク解析(初学者のためのOR事例)
- とびらの言葉
- 2-A-7 変分近似によるマルコフ連鎖の最適シミュレーション分布の推定(シミュレーション)
- 1-A-8 ソフトウェア加速寿命試験モデルの適用ガイドライン(信頼性(2))
- 準モンテカルロ法を用いた非定常マルコフ連鎖のシミュレーションに関する考察(ソフトウェアの信頼性,信頼性理論,信頼性一般)
- 位相型近似による Markov Regenerative Stochastic Petri Net の解析 (不確実性と意思決定の数理)
- 1-F-2 最適セキュリティパッチマネジメントに関する考察(信頼性(1))
- 脆弱性ライフサイクルとユーザプロファイルを考慮したソフトウェアシステムのセキュリティ評価(ソフトウェアの信頼性,信頼性理論,信頼性一般)
- An EM Algorithm for a Superposition of Markovian Arrival Processes (Theory and Application of Decision Analysis in Uncertain Situation)
- 強化学習によるUNIXワークステーションのメモリエージングに対する保全アルゴリズム(数理モデル応用)
- 強化学習によるUNIXワークステーションのメモリエージングに対する保全アルゴリズム
- 強化学習による最適チェックポイントの動的生成(信頼性(4))
- 非同次ポアソン過程によるコンピュータウイルス増殖の統計モデル(評価モデル,ディペンダブルコンピューティング論文)
- 変分ベイズによるパラメータ相関を考慮した事後分布の近似計算
- 位相型確率分布の標準化とパラメータ推定の実際(信頼性-温故知新-)
- 位相型確率分布の標準化とパラメータ推定の実際(信頼性-温故知新-)
- マルコフ連鎖モンテカルロ法を用いた稀少事象の評価に関する一考察 (不確実性下における意思決定問題)
- 従属マルコフ連鎖モデルに基づいたソフトウェア安全性の評価(安全性論文小特集)
- 一般化ガンマソフトウェア信頼性モデル(VLSIシステム)
- 一般化ガンマソフトウェア信頼性モデル
- 一般ガンマ分布を適用したソフトウェア信頼性モデルのパラメータ推定(信頼性(5))
- モジュール構造をもつソフトウェアの信頼度成長モデル
- EMアルゴリズムに基づいたソフトウェア信頼性モデルの推定
- EMアルゴリズムに基づいたソフトウェア信頼性モデルの推定
- 動的計画法による最適チェックポイント間隔に関する考察(モデリングと最適化の理論)
- コスト有効性に基づいた離散時間ソフトウェア若化スケジュールの推定
- マルコフ変調複合ポアソン過程に基づいたパケットプロファイルによる統計的侵入検知(ソフトウェアの信頼性,信頼性理論,信頼性一般)
- 1-B-7 マルコフ変調複合ポアソン過程に対する推定アルゴリズム(情報・通信)
- 変分ベイズによるパラメータ相関を考慮した事後分布の近似計算(応用)
- 単体テストデータを用いたソフトウェア信頼性評価に関する一考察(信頼性国際規格,安全性,信頼性一般)
- 2-C-3 Determinimg System Restart Interval
- 1-D-11 変分ベイズによる混合アーラン分布の推定(信頼性(3))
- 位相型ソフトウェア信頼性モデル(信頼性(4))
- 2変量ソフトウェアフォールト検出モデル
- 動的捕獲再捕獲法によるソフトウェア信頼度の推定(電子デバイスの信頼性と半導体界面・表面制御,信頼性一般)
- 動的捕獲再捕獲法によるソフトウェア信頼度の推定(電子デバイスの信頼性と半導体界面・表面制御,信頼性一般)
- ソフトウェアリリース問題に対する統計的アプローチ
- 不完全デバッグモデルのパラメータ推定は可能か?(ソフトウェアの信頼性,信頼性理論,信頼性一般)
- The Availability Importance Analysis of Components in Virtualized System (信頼性)
- 消費電力制約を伴う実時間システムの信頼性設計に関する考察 (信頼性)
- マルコフ連鎖モンテカルロ法による位相型分布のベイズ推定 (信頼性)
- ソフトウェアメトリクスを考慮したソフトウェア信頼性評価の一般化 (信頼性)
- Development of Software Reliability Models with Kernel Methods (信頼性)
- アーキテクチャに基づいたソフトウェア信頼性モデルの動向(情報システムの信頼性・保全性)
- ソフトウェアメトリクスを考慮したソフトウェア信頼性評価の一般化(信頼性国際規格,保全性,信頼性一般)
- 累積ベルヌーイ過程による離散型ソフトウェア信頼性モデルの統一化とパラメータ推定手法に関する考察(信頼性(2))
- モジュールサイズの分布に基づいたソフトウェア欠陥密度の評価に関する考察
- モジュールサイズの分布に基づいたソフトウェア欠陥密度の評価(信頼性(4))
- 1-B-3 MRSPNの位相型近似に関する考察(マルコフ過程)
- ソフトウェアメトリクスを考慮したソフトウェア信頼性評価の一般化
- マルコフ連鎖モンテカルロ法による位相型分布のベイズ推定(ソフトウェアの信頼性,信頼性一般)
- 消費電力制約を伴う実時間システムの信頼性設計に関する考察(ソフトウェアの信頼性,信頼性一般)
- 仮想化システムにおけるコンポーネントのアベイラビリティ重要度解析(ソフトウェアの信頼性,信頼性一般)
- 消費電力制約を伴う実時間組込みシステムの信頼性設計(信頼性モデリングと最適化)
- カーネル法を用いたソフトウェア信頼性評価モデルの構築(信頼性理論,通信ネットワークの信頼性,信頼性一般)
- 1-F-2 連続時間マルコフ連鎖過渡解析の並列化に関する一考察(確率モデル(1))
- テスト位置情報を考慮したソフトウェア信頼性評価手法に関する一考察(信頼性国際規格,保全性,信頼性一般)