摘要
仿真并分析了μC/OS系统固定优先级调度系统,指出当前的静态分析方法无法评估具体实时性能指标的局限性。提出使用CPN(赋时着色Petri网)对μC/OS实时系统中任务调度机制建模,包括系统各子任务之间的依赖关系、各任务的实限要求以及固定优先级调度机制,并通过运行模型来获取系统的具体实时性能指标。实验结果表明,基于动态仿真获取的性能数据,可指导优化系统中各任务的优先级设计,从而提高系统的实时性能。
Priority-fixed scheduling system of μC/OS system is simulated and analyzed, and the limitation of the static method used to practical real-time performance analysis is pointed out. To address this problem, modeling technique for the real-time system with priority-fixed scheduling based on timed color Petri net is proposed, which can quickly model real-time tasks creating and scheduling mechanism. The experimental results show that through simulating Petri net model of real-time system, priority design of real-time task set based on system＇s practical real-time performance index is evaluated and optimized.
出处
《计算机工程与设计》
CSCD
北大核心
2009年第8期1994-1997,共4页
Computer Engineering and Design
