一种针对嵌入式多线程程序的WCET分析方法及装置

本申请涉及嵌入式技术领域，具体而言，涉及一种针对嵌入式多线程程序的WCET分析方法及装置。该方法包括：识别POSIX线程标准下多线程程序中的同步操作，并记录锁相关操作语句，生成一个扩展的并行程序控制流图以描述线程间的同步依赖关系；基于锁保护的临界区资源互斥访问的原理，计算线程由于申请临界资源而导致的程序WCST；根据并行程序的控制流图，确定某一程序段运行在其他核心上的并行段，并以此作为干扰集，通过抽象解释方法对共享指令缓存进行冲突分析；将上述分析结果作为参数输入到WCET计算方法IPET中，得到整个并行程序的WCET分析结果。