Increasing the Reliability of Software Timing Analysis for Cache-Based Processors

• Published in: IEEE transactions on computers Vol. 68; no. 6; pp. 836 - 851
• Main Authors: Milutinovic, Suzana, Mezzetti, Enrico, Abella, Jaume, Cazorla, Francisco J.
• Format: Journal Article Publication
• Language: English
• Published: New York IEEE 01.06.2019; The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
• Subjects: Automotive engineering; cache memories; Computer simulation; Computer software; Computers; Embedded real-time systems; Hardware; Informàtica; Ordinadors; Placement; Probabilistic logic; Programari; Reliability analysis; Safety; Software; Software reliability; Statistical analysis; Timing; timing validation and verification; Àrees temàtiques de la UPC
• ISSN: 0018-9340; 1557-9956
• DOI: 10.1109/TC.2018.2890626

Real-time systems are witnessing a significant increase in critical software's size, complexity, and performance needs, which can only be satisfied with high-performance hardware features. Cache memories, pervasively used to improve average performance, complicate Worst-Case Execution Time analysis: cache placement (i.e., how software objects are mapped to cache) during the testing phase does not only critically affect the observed performance, but also proves to be arduous to control and preserve up to operation. The probabilistic variant of Measurement-Based Timing Analysis (MBPTA) responds to this challenge by deploying time-randomized caches that naturally explore a different random cache placement in each run, relieving the user from producing tests that intercept relevant Cache Conflict Placements (CCP). Yet, to meet an adequate probabilistic CCP coverage, the user is required to collect a minimum number of measurements. We present two mechanisms, CCP-RM and CCP-HRP, to identify CCP with relevant probability of occurrence and large impact on execution-time, for the random modulo (RM) and hash-based random placement (HRP) policies. CCP-RM and CCP-HRP enable a reliable application of MBPTA by computing the number of runs R ' necessary to meet the desired CCP coverage. We exhaustively evaluate CCP-RM and CCP-HRP, showing their effectiveness on well-known benchmarks and a railway case study, on top of an accurate simulator and a concrete RTL implementation.