3-2 ハードウェアRAMフォールトに対するソフトウェアによる監視方法(試験、解析、一般,セッション3)

スポンサーリンク

概要

• 論文の詳細を見る
• 日本信頼性学会の論文
• 2006-06-02

著者

• 土屋 達弘

  大阪大学大学院情報科学研究科

• 菊野 亨

  大阪大学

• 菊野 亨

  大阪大学 基礎工学部

• 土屋 達弘

  大阪大学

• 榊原 孝夫

  パナソニックエレクトロニックデバイス株式会社

関連論文

• 新年のご挨拶 : 2010年:新しい変化の年そして挑戦の年
• ラウンドモデルからの変換による非同期コンセンサスアルゴリズムの導出(ネットワーク環境でのディペンダビリティ)
• 大学院情報系学生に対する技術者倫理教育(技術者倫理・情報倫理教育の現状と課題,及び一般)
• 3状態相互排他アルゴリズムの安定時間の下限について
• 非構造化オーバーレイネットワーク構築におけるメトロポリス法を用いたアルゴリズムの評価(ディペンダブルコンピュータシステムとセキュリティ技術及び一般)
• ペアワイズテスト : ソフトウェアテストの効率化を求めて
• 5 組込みシステムにおけるソフトウェアプロダクトラインの導入(ソフトウェア再利用の新しい波-広がりを見せるプロダクトライン型ソフトウェア開発-)
• 年頭の挨拶 : 30年を振り返って,一歩一歩前進
• 揺りかごのような存在 : 屋久島の倒木の役割
• 情報処理・ソフトウェアの信頼性保証技術 : 10年の歩みを踏まえて
• 情報家電に期待すること : 安定した生活の立場から
• Analyzerの簡単化 (情報科学の数学的理論)
• モデル検査入門
• モデル検査を用いたコンセンサスアルゴリズムの合意性検証(ネットワーク環境でのディペンダビリティ)
• Interpolantを利用したモデル検査による機能競合の検証(ネットワーク環境でのディペンダビリティ)
• 耐故障分散アルゴリズムに対するPROMELAモデルの生成(ディペンダブルコンピューティングシステム及び一般)
• モデル検査器NuSMVを利用したテストケース自動生成(テスト・高信頼,組込技術とネットワークに関するワークショップETNET2008)
• ホームネットワークシステムにおける連携サービスのモデル検査による検証
• モデル検査による分散システムにおける合意アルゴリズムの安全性の検証(ディペンダブルソフトウェアとネットワーク及び一般)
• 整数上の論理式の充足可能性判定に基づく限定モデル検査手法の提案(安全性及び一般)
• 整数上の論理式の充足可能性判定に基づく限定モデル検査手法の提案
• ペトリネットに対する充足可能性判定を利用した検証手法の提案(コンカレント工学一般)
• ペトリネットに対するSATを利用したモデル検査の効率化
• 充足可能性判定を用いたモデル検査ツールの実装
• ホームネットワークシステムにおけるサービス競合の分類と解消について
• ソフトウェアメトリクスのデータマイニングによる障害発生要因特定
• 非構造化オーバーレイネットワーク構築におけるメトロポリス法を用いたアルゴリズムの評価(ディペンダブルコンピュータシステムとセキュリティ技術及び一般)
• 製品リリース履歴における論理的結合集合に基づいた横断フィーチャ分析法
• ウインターワークショップ2010・イン・倉敷開催報告
• プログラム設計過程の定量的評価の試み-初期設計書の品質から見た評価-
• ウインターワークショップ2010・イン・倉敷開催報告
• GPUを用いた状態可到達性解析の高速化(ネットワーク環境でのディペンダビリティ,及び一般)
• Webアプリケーションの脆弱性検出を目的とした自動テストツールの性能評価(ネットワーク環境でのディペンダビリティ,及び一般)
• ピアの近接性を考慮したスキップグラフの構築
• ピアの近接性を考慮したスキップグラフの構築
• ピアの近接性を考慮したスキップグラフの構築
• ウインターワークショップ2010・イン・倉敷開催報告
• ゴシップ型ブロードキャストの高信頼化のための適応的再送手法の提案(ネットワーク,SWoPP2006)
• スケールフリーネットワークに対するゴシップアルゴリズムの高信頼化手法の提案(データ工学, ディペンダビリティ, 一般)
• スケールフリーネットワークに対するゴシップアルゴリズムの高信頼化手法の提案(データ工学, ディペンダビリティ, 一般)
• AT-3-3 モデル検査のためのコンカレントシステムの仕様記述(AT-3.コンカレントシステム理論の新しい流れ,チュートリアルセッション,ソサイエティ企画)
• ピアの近接性を考慮したスキップグラフの構築
• ピアの近接性を考慮したスキップグラフの構築
• 記号モデル検査を用いた自己安定アルゴリズムの検証法の提案
• 記号モデル検査を用いた自己安定アルゴリズムの検証法の提案
• チームによるプログラム開発におけるデバッグ能力の実験的評価
• 物理ネットワークの構造を反映したオーバーレイネットワークの構築と信頼性評価(データ工学, ディペンダビリティ, 一般)
• 物理ネットワークの構造を反映したオーバーレイネットワークの構築と信頼性評価(データ工学, ディペンダビリティ, 一般)
• C-010 アドホックネットワークに対するゴシップ型ブロードキャストプロトコルの信頼性の分析(C.アーキテクチャ・ハードウェア)
• システム特性を考慮したペアワイズテストの改良
• サーベイ論文「ペアワイズテスト-ソフトウェアテストの効率化を求めて-」に関する訂正と補足
• 情報家電システムの安全検証(「信頼性・保全性・安全性の事例:情報処理・ソフトウェア編」〜信頼性ハンドブック出版から10年を経て〜)
• 単一多数決器を用いたカスケード式TMRの最適構成の導出(ディペンダブルコンピューティングシステム及び一般)
• 単一多数決器を用いたカスケード式TMRの最適構成の導出(ディペンダブルコンピューティングシステム及び一般)
• 耐故障分散アルゴリズムに対するPROMELAモデルの生成(ディペンダブルコンピューティングシステム及び一般)
• コントロールフローグラフにおける辺のペアを考慮したコードカバレッジの提案と評価 (ソフトウェアサイエンス)
• テスト実行コストを考慮したペアワイズテストセット生成法の提案(DC-2テスト,インターネット環境でのデータ工学とディペンダビリティ,及び一般)
• テスト実行コストを考慮したペアワイズテストセット生成法の提案(DC-2テスト,インターネット環境でのデータ工学とディペンダビリティ,及び一般)
• モデル検査器NuSMVを利用したテストケース自動生成(テスト・高信頼,組込技術とネットワークに関するワークショップETNET2008)
• モデル検査器NuSMVを利用したテストケース自動生成(テスト・高信頼,組込技術とネットワークに関するワークショップETNET2008)
• モデル検査器NuSMVを利用したテストケース自動生成(テスト・高信頼,組込技術とネットワークに関するワークショップETNET2008)
• オーバーレイネットワークにおける遠距離通信のホップ数削減の試み(インターネット環境でのデータ工学とディペンダビリティ)
• オーバーレイネットワークにおける遠距離通信のホップ数削減の試み(インターネット環境でのデータ工学とディペンダビリティ)
• マルチプロセッサスケジューリングのGA解法に対する精度向上
• C-009 ゴシップ型マルチキャストにおけるメンバーシップビューの構造化が信頼性に及ぼす影響に関する研究(C.アーキテクチャ・ハードウェア)
• ウィンターワークショップ2011・イン・修善寺開催報告
• リンク故障を考慮したkコテリーの信頼性評価手法
• アドホックネットワークにおける可変送信出力を用いた省電力ブロードキャスト手法の提案(解析・省電力,SWoPP2006)
• 無線モバイルマイクロセンサーネットワークにおける自己組織的センサー配置手法の提案
• Erasure符号によるゴシップ型ブロードキャストの高信頼化手法の提案(DC-1ネットワーク,インターネット環境でのデータ工学とディペンダビリティ,及び一般)
• Erasure符号によるゴシップ型ブロードキャストの高信頼化手法の提案(DC-1ネットワーク,インターネット環境でのデータ工学とディペンダビリティ,及び一般)
• Erasure符号によるゴシップ型ブロードキャストの信頼性向上について(高信頼・高可用システム,ディペンダブルコンピュータシステムとセキュリティ技術及び一般)
• Erasure符号によるゴシップ型ブロードキャストの信頼性向上について(高信頼・高可用システム,ディペンダブルコンピュータシステムとセキュリティ技術及び一般)
• 並列論理シミュレーションにおけるロールバックについて
• コントロールフローグラフにおける辺のペアを考慮したコードカバレッジの提案と評価
• IRISソフトリアルタイムタスクの複数サーバ上への効果的なスケジューリング法の提案
• [3-2] ハードウェアRAMフォールトに対するソフトウェアによる監視方法(セッション3 試験,解析,一般,日本信頼性学会 第14回春季信頼性シンポジウム 報告)
• 3-2 ハードウェアRAMフォールトに対するソフトウェアによる監視方法(試験、解析、一般,セッション3)
• A-042 p-median問題に対するアントアルゴリズムの適用(A.モデル・アルゴリズム・プログラミング)
• 記号モデル検査を用いたステートチャートの検証
• マルチプロセッサシステムのためのプログラム構造を考慮したフォールトトレラントスケジューリング
• あるマルチプロセッサ上でのフォールトトレラントスケジューリングアルゴリズムの提案
• 充足可能性判定を用いたモデル検査ツールの実装
• ソフトウェアの信頼性・安全性について(2011年度第1回フォーラムより〜信頼性・安全性に関する特別セミナー〜)
• メタヒューリスティックを用いた組合せテスト用テストセットの生成法(安全性及び一般)
• 上界のない整数型変数を有する並行システムに対するk帰納法を用いたモデル検査(ネットワーク環境でのディペンダビリティ,及び一般)
• ネットワークコーディングに基づくゴシップの提案(ネットワーク環境でのディペンダビリティ,及び一般)
• 分散システムにおける信頼性最大の資源配置について
• ペトリネットに対する充足可能性判定を用いた検証法の提案
• ワークステーションクラスタを用いた耐故障並列分枝限定法の実装
• ネットワークコーディングに基づくゴシップの提案
• 充足可能性判定を利用したモデル検査
• ランダムテストを利用した制約のあるインタラクションテストの効率的なテストケース生成
• 制御システム分野におけるモデル検査の応用
• パラメータ値に関する制約を考慮したランダムテストのためのテストケース生成手法(ネットワーク環境でのディペンダビリティー)
• 鉄道車両制御の分散処理のための車上アプリケーション再構築とワークフロー管理方式の提案(ソフトウェアシステム,システム開発論文)
• パラメータ値に関する制約を考慮したランダムテストの不具合検出率について(テスト)
• 多数決投票を用いた分散システムの可用性の最大化
• パラメータ値に対する重み付けを考慮したテストケース集合の拡張(ディペンダブルコンピューティングシステム及び一般)
• パラメータ値に対する重み付けを考慮したテストケース集合の拡張(ディペンダブルコンピューティングシステム及び一般)

もっと見る 閉じる

スポンサーリンク