文献

J-GLOBAL ID：201702252349416041   整理番号：17A0180113

seL4マイクロカーネルにおけるフォールトトレラントな実時間スケジューリングに向けて【Powered by NICT】

Towards Fault-Tolerant Real-Time Scheduling in the seL4 Microkernel

著者 (7件)： Xu Libin ,  Bai Yuebin ,  Cheng Kun ,  Ge Lingyu ,  Nie Danning ,  Zhang Lijun ,  Liu Wenjia
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2016  号： HPCC/SmartCity/DSS  ページ： 711-718  発行年： 2016年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： システム信頼性とリアルタイム要求は,最新の計算機システムでは広く注目を集めている。フォールトトレラント実時間スケジューリングは,実時間システムのためのタイミング要求と故障耐性を組み合わせた手法を提供する。seL4マイクロカーネルのためのフォールトトレラントリアルタイム機構を構築する予備的研究を提示した。世界初の形式的に検証されたオペレーティングシステムカーネルとして,seL4はセキュリティシステムのための理想的なプラットフォームである。しかし,リアルタイムでフォールトトレラントな政策の欠如は,その信頼性とユーザ体験を減少させた。seL4における基本的なリアルタイムとチェックポイント機構を実装し,チェックポイントに基づくフォールトトレラントRM(CP FTRM)スケジューリング方式を提案した。実験は,それらの実現可能性と効率を示した。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】

分類 (2件)： 信頼性  (KB04040H) ,  オペレーティングシステム  (JD03020J)

タイトルに関連する用語 (3件)： カーネル ,  フォールトトレラント ,  実時間スケジューリング