RTK-Spec TRON：一个基于ITRON的RTOS内核在SystemC中的仿真模型
摘要：在本文中，我们提出了一种方法和一种建模构造，用于捕捉实时操作系统（RTOS）仿真模型在SystemC等系统级设计语言（SLDL）中的实时性方面。我们描述了这些构造，并展示了它们如何用于构建一个针对$mu$-ITRON操作系统规范的RTOS内核仿真模型。
作者：M. Abdelsalam Hassan, Keishi Sakanushi, Yoshinori Takeuchi, Masaharu Imai
论文ID：0710.4746
分类：Operating Systems
分类简称：cs.OS
提交时间：2011-11-09