Towards limiting the impact of timing anomalies in complex real-time processors
Document typeConference report
Rights accessOpen Access
European Commission's projectSuPerCom - Sustainable Performance for High-Performance Embedded Computing Systems (EC-H2020-772773)
Timing verification of embedded critical real-time systems is hindered by complex designs. Timing anomalies, deeply analyzed in static timing analysis, require specific solutions to bound their impact. For the first time, we study the concept and impact of timing anomalies in measurement-based timing analysis, the most used in industry, showing that they require to be considered and handled differently. In addition, we analyze anomalies in the context of Measurement-Based Probabilistic Timing Analysis, which simplifies quantifying their impact.
CitationBenedicte, P. [et al.]. Towards limiting the impact of timing anomalies in complex real-time processors. A: Asia and South Pacific Design Automation Conference. "ASPDAC '19: proceedings of the 24th Asia and South Pacific Design Automation Conference", 21 Gener 2019, p. 27-32.
All rights reserved. This work is protected by the corresponding intellectual and industrial property rights. Without prejudice to any existing legal exemptions, reproduction, distribution, public communication or transformation of this work are prohibited without permission of the copyright holder