分散リアルタイムシステムの端点間処理における応答時間の確率的解析

• Item type: SIG Technical Reports(1)
• 公開日: 2010-08-02
• タイトル: 分散リアルタイムシステムの端点間処理における応答時間の確率的解析
• タイトル / 言語: en
• タイトル: Stochastic Analysis of End-to-End Latency for Distributed Real-Time Systems
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: リアルタイムシステム＋検証支援
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 名古屋大学大学院情報科学研究科
• 著者所属: 名古屋大学大学院情報科学研究科附属組込みシステム研究センター
• 著者所属: 名古屋大学大学院情報科学研究科／名古屋大学大学院情報科学研究科附属組込みシステム研究センター
• 著者所属(英): en
• 著者所属(英): Graduate School of Information Science, Nagoya University
• 著者所属(英): en
• 著者所属(英): Center for Embedded Computing Systems, Nagoya University
• 著者所属(英): en
• 著者所属(英): Graduate School of Information Science, Nagoya University / Center for Embedded Computing Systems, Nagoya University
• 著者名: 石川, 拓也; 松原, 豊; 高田, 広章
• 著者名(英): Takuya, Ishikawa; Yutaka, Matsubara; Hiroaki, Takada
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 分散リアルタイムシステムにおいて，システムに入力が与えられてから，最終的な処理結果を出力するまでの一連の処理を端点間処理と呼ぶ．分散リアルタイムシステムの開発では，端点間処理の応答時間が，与えられた時間制約を満たすかどうかを検証することが必要であり，端点間処理の応答時間解析は重要なプロセスである．近年，タスクの実行時間を確率変数として扱い，リアルタイムシステムの応答時間解析を確率的に行う手法が提案されている．一般的に，確率変数を用いて解析を行う場合，解析手法が複雑になり，解析時間が長くなってしまうことが問題とされる．本論文では，タスクの実行時間と初期位相を確率変数として扱い，タスクの応答時間分布，および，端点間処理の応答時間分布を解析する手法を提案する．提案する手法では，応答時間分布の終端部分に着目して解析することによって，解析時間を大幅に削減する．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: In distributed real-time systems, an end-to-end computation is a sequence of computations from getting inputs to outputting results. In developing distributed real-time systems, it is necessary to verify that latency of end-to-end computations meets timing constraints. Therefore, it is important to analyze latency of end-to-end computations. These days, a stochastic analysis method for response times of real-time systems is proposed using random execution times of tasks. In general, it becomes a problem that a stochastic analysis takes long time because of complexity. In this paper, we propose a stochastic analysis method for both of response times of tasks and end-to-end latency, using random execution times and random initial phases of tasks. By using the method, analysis time is drastically reduced by focusing only on analyzing the end of the response time distribution.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AA12149313
• 書誌情報: 研究報告組込みシステム（EMB）; 巻 2010-EMB-18, 号 3, p. 1-8, 発行日 2010-08-02
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会