ソフトウェア信頼性モデルに基づくシステムのリアルタイム性評価に関する研究

基于软件可靠性模型的系统实时评估研究

• 批准号: 16710114
• 负责人: 得能 貢一
• 金额: $ 1.6万
• 依托单位: Tottori University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Young Scientists (B)
• 财政年份: 2004
• 资助国家: 日本
• 起止时间: 2004 至 2005
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-16710114/
• 关键词: ソフトウェア信頼度成長; リアルタイム性評価; マルコフ過程; 不完全デバッグ; 無限サーバ待ち行列モデル; ディペンダビリティ

本年度は,マルコフ型ソフトウェア信頼性モデルおよびソフトウェア可用性評価モデルを用いて,ソフトウェアの信頼度成長過程およびフォールト修正困難度の上昇傾向を考慮したシステムの処理性評価モデルを構築した.コンピュータシステムの形態として,OLTP(オンライントランザクション処理)システムなどの,同時に複数の処理を行うマルチタスクソフトウェアシステムを想定した.このとき,各タスクに処理時間制約が設定されている場合を考慮して,リアルタイム性を評価できるようにモデルを構築した.そして,ある時刻tまでに到着した仕事のうち,処理時間制約内に処理できる仕事数の確率分布を,無限サーバ待ち行列理論を用いて解析し,非同次ポアソン過程で与えられることが分かった.構築したモデルに基づき,時間区間(0,t]における累積仕事処理完了率や,時刻tにおける1トランザクション当りの損失率という,信頼性と処理性を同時に考慮したソフトウェアシステムの新たな性能評価尺度を算出することができた.これらの評価尺度は,テスト工程で実施されるデバッグ回数およびその後の運用時間の関数として表されるので,ソフトウェア開発管理者がテスト工程の進捗管理を行う上で,本モデルは有用である.ソフトウェア信頼性モデルの代表的な応用例として,ソフトウェアの最適リリース問題がある.本研究で構築するモデルをこの問題に適用するための準備として,本研究の基礎となるマルコフ型ソフトウェア信頼性モデルおよび可用性モデルを,この最適リリース問題に適用し,各モデルに対して最適リリース方策をまとめた.

Type this year は マ ル コ フ ソ フ ト ウ ェ ア letter 頼 sex モ デ ル お よ び ソ フ ト ウ ェ ア usability evaluation 価 モ デ ル を with い て, ソ フ ト ウ ェ ア の letter 頼 degrees growing process お よ び フ ォ ー ル ト fixed difficulty の rising tendency を consider し た シ ス テ ム の 処 rational evaluation 価 モ デ ル を build し た. コ ン ピ ュ ー タ シ ス テ ム の form と し て, OLT P (オ ン ラ イ ン ト ラ ン ザ ク シ ョ ン 処 Richard) シ ス テ ム な ど の, at the same time に plural の 処 bedding line を う マ ル チ タ ス ク ソ フ ト ウ ェ ア シ ス テ ム を scenarios し た. こ の と き, each タ ス ク に 処 manage time constraints set が さ れ て い る occasions を consider し て, リ ア ル タ イ ム sex を review 価 で き る よ う に モ デ ル を build し た. そ し て, あ ま る moment t で に to the し た shi matter の う ち, 処 manage time constraints within に 処 Richard で き る shi matter number の を of probability distribution, and infinite サ ー を バ stay ち category theory with い て し analytically, the same time ポ ア ソ で ン process with え ら れ る こ と が points か っ た. Build し た モ デ ル に base づ き, time interval (0, t] に お け る cumulative や 処 principle through rate, time t に お け る 1 ト ラ ン ザ ク シ ョ ン when り の loss と い う, letter 頼 sex と 処 rational を に consider し た ソ フ ト ウ ェ ア シ ス テ ム の new た な performance evaluation を 価 scale calculate す る こ と が で き た. こ れ ら の review は 価 scale, テ ス ト engineering で be applied さ れ る デ バ ッ グ back several お よ び そ の の の use time after masato number と し て table さ れ る の で, ソ フ ト ウ ェ ア open 発 managers が テ ス ト の into 捗 management line を で う, this モ デ ル は useful で あ る. ソ フ ト ウ ェ ア letter 頼 sex モ デ ル の represent な 応 cases と し て, ソ フ ト ウ ェ ア の optimum リ リ ー ス problem が あ Youdaoplaceholder0. This study で build す る モ デ ル を こ の problem に applicable す る た め の prepare と し て, this study based と の な る マ ル コ フ type ソ フ ト ウ ェ ア letter 頼 sex モ デ ル お よ び availability モ デ ル を, こ の optimum リ リ ー に applicable し ス problem, each モ デ ル に し seaborne て optimum リ リ ー ス order を ま と め た.

项目成果

Performance evaluation for multi-task processing system with software availability model

基于软件可用性模型的多任务处理系统性能评估

• 发表时间: 2004
• 期刊: Proc. 2004 Asian International Workshop on Advanced Reliability Modeling(AIWARM2004)
• 作者: Y.Tamura;S.Iriguchi;S.Inoue;H.Morita;T.Fukushima;T.Fujiwara;S.Inoue;Y.Tamura;Y.Tamura;T.Fujiwara;H.S.Kim;Y.Tamura;井上真二;田村慶信;得能貢一;山田茂;田村慶信;K.Tokuno;K.Nasuse;T.Fujiwara;Y.Tamura;S.Inoue;T.Yamamoto;Y.Nodohara;T.Fujiyoshi;S.Inoue;Y.Tamura;K.Tokuno
• 通讯作者: K.Tokuno