ISBN: 978-981-11-0008-6 DOI: 10.18178/wcse.2016.06.002
Worst Case Execution Time Calculation of Parallel Embedded Real-Time Software
Abstract— Embedded Real-Time Software (ERTS) must be verified for their timing correctness where knowledge about the Worst-Case Execution Time (WCET) is the building block of such verification. Traditionally, research on the WCET analysis of ERTS assumes sequential code running on single-core platforms. However, as computation is steadily moving towards using a combination of parallel programming and hardware designs, new challenges in WCET analysis need to be addressed. This work derives safe WCET estimates of parallel ERTS using a hybrid approach that combines the flow and timing information of the parallel software. The timing information is obtained via measurement-based analysis by using time-stamped execution traces. The applicability of the proposed method is demonstrated by calculating the WCET estimates of parallel embedded programs in the ParMiBench benchmark suite. The results showed less pessimism in the computed WCET estimates compared to the measured WCET estimates.
Index Terms— embedded real-time software, worst-case execution-time analysis, parallel computing, software testing and analysis.
Muhammad Waqar Aziz, Syed Abdul Baqi Shah
Science and Technology Unit, Umm Al-Qura University, SAUDI ARABIA
Cite: Muhammad Waqar Aziz, Syed Abdul Baqi Shah, "Worst Case Execution Time Calculation of Parallel Embedded Real-Time Software," Proceedings of 2016 6th International Workshop on Computer Science and Engineering, pp. 7-12, Tokyo, 17-19 June, 2016.