スケジュール可能性解析へのプロセス代数的アプローチと階層的実時間システムの作業負荷抽象化【Powered by NICT】

Park Junkil; Lee Insup; Sokolsky Oleg; Hwang Dae Yon; Ahn Sojin; Choi Jin-Young; Kang Inhye

文献

J-GLOBAL ID：201702286714454166 整理番号：17A1495105

スケジュール可能性解析へのプロセス代数的アプローチと階層的実時間システムの作業負荷抽象化【Powered by NICT】

A process algebraic approach to the schedulability analysis and workload abstraction of hierarchical real-time systems

出版者サイト複写サービスで全文入手 {{ this.onShowCLink("http://jdream3.com/copy/?sid=JGLOBAL&noSystem=1&documentNoArray=17A1495105&COPY=1") }}
高度な検索・分析はJDreamⅢで {{ this.onShowJLink("http://jdream3.com/lp/jglobal/index.html?docNo=17A1495105&from=J-GLOBAL&jstjournalNo=W1593A") }}

著者 (7件)： , , , , , ,
資料名：
巻： 92 ページ： 1-18 発行年： 2017年
JST資料番号： W1593A ISSN： 2352-2208 資料種別：逐次刊行物 (A)
記事区分：原著論文発行国：オランダ (NLD) 言語：英語 (EN)

実時間組込みシステムは複雑性が増加している。マイクロプロセッサがより強力なとして,リアルタイム組込みシステムのソフトウェアの複雑さは着実に増加している。機能性増加および適応性に対する要求は,リアルタイム組込みソフトウェアの開発は複雑で誤り易いものにしている。コンポーネントベース設計は広く複雑なシステムの設計を容易にする組成アプローチとして受け入れられている。は複雑なシステムを分解する簡単なサブモデルにサブシステムを構成する階層的方法のための手段を提供する。階層を用いた実時間サブシステムから成るシステムは階層的リアルタイムシステムと呼ばれている。本論文では,階層的実時間システムのスケジュール可能性解析へのプロセス代数的アプローチについて述べた。モデリングを促進し,階層的実時間システムを解析するために,著者らは保存的実時間システムのスケジュール可能性のためのACSR VP(値渡しを持つ共有リソース通信代数)に基づく既存のプロセス代数理論を拡張した。サブシステムのための分割されたと思われるACSR VPにおける資源モデルをモデル化する方法を説明した。階層実時間システムのスケジュール可能性を定義するためにスケジュール可能性関係を導入し,関係の満足度チェックはACSR VPにおけるデッドロック検査に還元し,逆のツールサポート(ACSRの検証,実行と書換えシステム)によって自動的に行うことができることを示した。スケジュール可能性関係を用いて,実時間システム負荷を抽象化するアルゴリズムを提案した。Copyright 2017 Elsevier B.V., Amsterdam. All rights reserved. Translated from English into Japanese by JST.【Powered by NICT】

, , , , , , , , , , ,
, , , 【Automatic Indexing@JST】

著者キーワード (4件)： , , ,

計算機システム開発 , 計算理論

, , , , , , ,

前のページに戻る