@article{oai:niigata-u.repo.nii.ac.jp:00003430,
 author = {今井, 博英 and 角山, 正博 and 石井, 郁夫 and 牧野, 秀夫 and 内藤, 祥雄},
 issue = {8},
 journal = {電子情報通信学会論文誌. D-I, 情報・システム, I-コンピュータ, 電子情報通信学会論文誌. D-I, 情報・システム, I-コンピュータ},
 month = {Aug},
 note = {本論文では,リスポンシブシステム中のプロセッサが故障した場合の過渡状態の解析方法を示す.ここでは,容量が有限である待ち行列をもち,異なる優先度をもつタスクを処理するリスポンシブシステムについて解析を行う.故障が発生したときのタスクの処理の過程を,連続時間型マルコフ連鎖でモデル化したタグ付きタスクモデルを導入し,過渡状態におけるタスクの応答時間を数値計算で解くことにより,タスクが捨てられる確率および,応答時間分布が得られることを示す.更に,得られた応答時間分布とタスクに課せられた制限時間より,タスクが制限時間を満たせない確率を求める方法を示す.また,本方式により得られた結果と,シミュレーションにより得られた結果を比較し,本方法が過渡状態の解析に有効であることを示す.},
 pages = {716--723},
 title = {リスポンシブシステムにおけるプロセッサ故障時の解析方法について},
 volume = {J78-D-1},
 year = {1995}
}