文献

J-GLOBAL ID：201702272527371427   整理番号：17A0118042

不確実で故障実行環境における動的実時間保証のあるシステム【Powered by NICT】

Systems with Dynamic Real-Time Guarantees in Uncertain and Faulty Execution Environments

著者 (4件)： Bruggen Georg von der ,  Chen Kuan-Hsun ,  Huang Wen-Hung ,  Chen Jian-Jia
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2016  号： RTSS  ページ： 303-314  発行年： 2016年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 多くの実用的な実時間システムでは,物理的環境とシステムプラットフォームがシステムに不確実な実行挙動を課すことになる。例えば,過渡故障が検出された場合,タスクインスタンスの実行時間は,回収操作により増加させることができる。ハード実時間デッドラインを満たすに関してこのような故障回復ルーチンは,システムが非常に脆弱にしている。理論であり,実用的なシステムで,この問題はより重要なタスクの応答時間を保証するためにそれほど重要ではないタスクの抑制によって扱われることが多い。しかし,多くのシステムのような故障はほとんど発生し,あまり重要でないタスクの結果は有用であるかもしれない,それらはビット後期。これは,これらのあまり重要でないタスクを中止しない関係が,故障が発生した場合でも運転継続を,より重要な課題はまだそれらの硬実時間特性を満たすことを示した。本論文では,この挙動をモデル化し,故障が発生した後にシステムは,オンライン適応のない完全タイミング保証あるいは限定されたタイミング保証を提供することができるかどうかを決定するため動的実時間保証を持つシステムを提案した。システムを再び完全タイミング保証を提供し,システム状態をオンラインで監視できるかを説明するまではスケジュール可能性テストを示し,最適な優先度割当てのためのアルゴリズムを提供し,最大間隔長を決定した。本論文で提示したアプローチは,二重臨界レベルと混合臨界システムに適用することができる。Copyright 2017 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【Powered by NICT】

シソーラス用語： モデリング ,  臨界 ,  時間制限 ,  *故障 ,  優先度 ,  応答時間 ,  アルゴリズム ,  *不確実性
準シソーラス用語： オンライン ,  ルーチン ,  実行時間 ,  過渡故障 ,  実時間システム ,  *実時間 ,  *実行環境 , 【Automatic Indexing@JST】

分類 (1件)： オペレーティングシステム  (JD03020J)

タイトルに関連する用語 (5件)： 不確実 ,  故障 ,  実行環境 ,  実時間 ,  保証