To access the full text documents, please follow this link: http://hdl.handle.net/2117/166847

Title:	Probabilistic Worst-Case Timing Analysis: Taxonomy and Comprehensive Survey
Author:	Cazorla, Francisco J.; Kosmidis, Leonidas; Mezzetti, Enrico; Hernandez, Carles; Abella, Jaume; Vardanega, Tullio
Other authors:	Barcelona Supercomputing Center
Abstract:	The unabated increase in the complexity of the hardware and software components of modern embedded real-time systems has given momentum to a host of research in the use of probabilistic and statistical techniques for timing analysis. In the last few years, that front of investigation has yielded a body of scientific literature vast enough to warrant some comprehensive taxonomy of motivations, strategies of application, and directions of research. This survey addresses this very need, singling out the principal techniques in the state of the art of timing analysis that employ probabilistic reasoning at some level, building a taxonomy of them, discussing their relative merit and limitations, and the relations among them. In addition to offering a comprehensive foundation to savvy probabilistic timing analysis, this article also identifies the key challenges to be addressed to consolidate the scientific soundness and industrial viability of this emerging field.
Abstract:	This work has also been partially supported by the Spanish Ministry of Science and Innovation under grant TIN2015-65316-P, the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation pro-gramme (grant agreement No. 772773), and the HiPEAC Network of Excellence. Jaume Abella was partially supportedby the Ministry of Economy and Competitiveness under a Ramon y Cajal postdoctoral fellowship (RYC-2013-14717). En-rico Mezzetti has been partially supported by the Spanish Ministry of Economy and Competitiveness under Juan de laCierva-Incorporación postdoctoral fellowship No. IJCI-2016-27396.
Abstract:	Peer Reviewed
Subject(s):	-Àrees temàtiques de la UPC::Informàtica -High performance computing -Probabilistic representations -Embedded systems -Software verification and validation -Real-time systems -Supercomputadors
Rights:
Document type:	Article - Submitted version Article
Published by:	ACM
Share:

Show full item record