A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf
.
Schedulability Analysis and Symbolic Verification Method for Heterogeneous Multicore Real-Time Systems
2017
International Journal of Performability Engineering
As heterogeneous multicore real-time systems are increasingly applied in safety critical systems, it is important to ensure the correctness of these systems. One key attribute of real-time systems is the schedulability that guarantees to satisfy the timing requirements. This paper presents a method for modeling and verifying schedulability of heterogeneous multi-core systems and the method we present uses timedautomata (TA) to model tasks and resources of heterogeneous systems considering their
doi:10.23940/ijpe.17.06.p1.785795
fatcat:n4jxc64ufna7lojwm4cd7hn4cm