文献

J-GLOBAL ID：202002259497612500   整理番号：20A0902866

実時間システムにおけるプリエンption-しきい値スケジューリングの解析のためのパラメータ化形式モデル【JST・京大機械翻訳】

A Parameterized Formal Model for the Analysis of Preemption-Threshold Scheduling in Real-Time Systems

著者 (2件)： Ben Hafaiedh Imene (Higher Institute of Informatics (ISI), University of Tunis El Manar (UTM), Tunis, Tunisia) ,  Ben Slimane Maroua (National Engineers School of Tunis (ENIT), University of Tunis EL Manar (UTM), Tunis, Tunisia)
資料名： IEEE Access  (IEEE Access)
巻： 8  ページ： 58180-58193  発行年： 2020年 
JST資料番号： W2422A  ISSN： 2169-3536  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 時間臨界システムは複雑で重要である。したがって,そのようなシステムの完全な検証プロセスは,挙動とタイミングの正確さを含めて実行されなければならない。これらのシステムは,通常,いくつかの相互作用タスクの集合として設計され,1つ以上のプロセッサを共有する。これらの共有資源に対するこれらのタスクのディスパッチを管理するために,いくつかのスケジューリングポリシーが提案されている。この文脈では,タスクの先制を管理することにより,リアルタイムスケジューリング可能性を改善するために,プリエンプション閾値スケジューリングアルゴリズムを提案した。これらのアルゴリズムの利点は,優先度とプリエンプション閾値である一連のスケジューリング属性の適切な割当に大きく依存する。本論文では,先制的,非先制的および閾値ベースのスケジューリングポリシーの記述,解析および比較のための高レベルパラメータ化形式モデルを提案した。このモデルにより,実時間実行に基づく一連の実験結果を提供するだけでなく,特にスケジュール可能性解析において,タイミング制約の集合を形式的に検証することができる。確率論的特徴を定義し,確率的実時間タスク,スケジューリング機構またはエネルギー消費をモデル化することを可能にする確率的バージョンも提案した。Copyright 2020 The Institute of Electrical and Electronics Engineers, Inc. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： アルゴリズム ,  相互作用 ,  *スケジューリング ,  確率論 ,  臨界 ,  エネルギー消費 ,  演算プロセッサ ,  パラメタリゼーション ,  優先度
準シソーラス用語： 実時間 ,  スケジューリングアルゴリズム ,  プリエンプション ,  リアルタイムスケジューリング ,  タイミング制約 ,  実時間システム , 【Automatic Indexing@JST】

分類 (3件)： 数値計算  (JE02000J) ,  図形・画像処理一般  (JE04010I) ,  計算機網  (JC03000K)

タイトルに関連する用語 (6件)： 実時間システム ,  しきい値 ,  スケジューリング ,  解析 ,  パラメータ化 ,  形式モデル