Modeling Fixed-Priority Preemptive Multi-Task Systems in SpecC
Modeling Fixed-Priority Preemptive Multi-Task Systems in SpecC
复制标题
在 SpecC 中对固定优先级抢占式多任务系统进行建模
DOI：
--
复制
发表时间：
2001
期刊：
影响因子：
--
通讯作者：
村上 和彰
中科院分区：
文献类型：
--
作者：
H. Tomiyama;冨山 宏之;Yun Cao;曹 ユン;K. Murakami;村上 和彰
许多现实世界的嵌入式系统采用抢占式调度策略来满足其实时性要求。然而，迄今为止提出的大多数系统级设计语言（SLDL），例如 SpecC，并不明确支持抢占建模。本文提出了在 SpecC SLDL 中对固定优先级抢占式多任务系统进行建模的技术。 SpecC 的建模技术使系统设计人员能够在高抽象级别上指定和模拟抢占式多任务系统，包括软件和硬件，而无需假设任何特定的实时操作系统。
Many real-world embedded systems employ a preemptive scheduling policy in order to satisfy their realtime 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 xed-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 speci c real-time operating system.