<会議発表論文>
Modeling Fixed-Priority Preemptive Multi-Task Systems in SpecC

作成者
本文言語
出版者
発行日
雑誌名
雑誌名
開始ページ
終了ページ
出版タイプ
アクセス権
概要 Many real-world embedded systems employ a preemptive scheduling policy in order to satisfy their real-time requirements. However, most System-Level Design Languages (SLDLs) which were proposed up to n...ow, such as SpecC, do not explicitly support modeling of preemptions. This paper proposes techniques for modeling fixed-priority preemptive multi-task systems in the SpecC SLDL. The modeling techniques with SpecC enable a system designer to specify and simulate preemptive multi-task systems including both software and hardware at a high level of abstraction, without assuming any specific real-time operating system.続きを見る

本文情報を非表示

Tomiyama01_1 pdf 202 KB 33  

詳細

レコードID
査読有無
関連情報
主題
タイプ
登録日 2009.04.22
更新日 2017.01.24