Modeling Fixed-Priority Preemptive Multi-Task Systems in SpecC
Hiroyuki Tomiyama, 冨山, 宏之, Cao, Yun, ユン 曹, ソウ, ユン, Kazuaki J. Murakami, 村上, 和彰 · QIR (Kyushu University Institutional Repository) (Kyushu University) · 2001
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 now, 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.