Tight WCRT Analysis of Synchronous C Programs

1.简介 在过去的十年中，无处不在的嵌入式系统引起了研究人员的注意。典型的嵌入式应用，从复杂的飞机飞行控制器到简单的数码相机，都需要对它们的定时性能做出最坏的保证，因此被称为实时系统。实时系统设计的标准方法依赖于静态地确定代码的执行时间，这个过程称为最坏情况执行时间(WCET)分析[22]。WCET分析用于确定任务周期和最后期限。然后使用RTOS模拟任务的并发性，并使用互斥锁和监视器等机制实现任务

>>阅读原文<<