44,992 Hits in 8.0 sec

Measurement-Based Probabilistic Timing Analysis for Multi-path Programs

Liliana Cucu-Grosjean, Luca Santinelli, Michael Houston, Code Lo, Tullio Vardanega, Leonidas Kosmidis, Jaume Abella, Enrico Mezzetti, Eduardo Quinones, Francisco J. Cazorla
2012 2012 24th Euromicro Conference on Real-Time Systems  
In this paper, we present a sound measurement-based probabilistic timing analysis technique based on Extreme Value Theory.  ...  Probabilistic Timing Analysis reduces the cost of acquiring the required knowledge to obtain trustworthy WCET estimates, which is one of the main limiters to the application of static timing analysis to  ...  In this paper we have presented for the first time a measurement-based PTA technique based on a statistically sound application of EVT which enables the analysis of multi-path programs.  ... 
doi:10.1109/ecrts.2012.31 dblp:conf/ecrts/Cucu-GrosjeanSHLVKAMQC12 fatcat:fgnkjftvobcahcdvkp4leehylu

A Survey of Probabilistic Timing Analysis Techniques for Real-Time Systems

Robert I. Davis, Liliana Cucu-Grosjean
2018 Leibniz Transactions on Embedded Systems  
A detailed review is provided covering the main subject areas: static probabilistic timing analysis, measurement-based probabilistic timing analysis, and hybrid methods.  ...  This survey covers probabilistic timing analysis techniques for real-time systems.  ...  The authors would like to thank David Griffin and Alan Burns for their comments on an earlier draft of this survey.  ... 
doi:10.4230/lites-v006-i001-a003 dblp:journals/lites/DavisC19 fatcat:g6ngxcyk4baq5camynactxxr3m

Methodologies for the WCET Analysis of Parallel Applications on Many-Core Architectures

Vincent Nelis, Patrick Meumeu Yomsi, Luis Miguel Pinho
2015 2015 Euromicro Conference on Digital System Design  
After discussing the pros and cons of all different methodologies for WCET analysis, we introduce a new approach that is developed within the P-SOCRATES project.  ...  After discussing the pros and cons of all different methodologies for WCET analysis, we introduce a new approach that is developed within the P-SOCRATES project.  ...  ACKNOWLEDGEMENTS This work was partially supported by National Funds through FCT/MEC (Portuguese Foundation for Science and Technology) and when applicable, co-financed by ERDF (  ... 
doi:10.1109/dsd.2015.105 dblp:conf/dsd/NelisYP15 fatcat:e3swrmvesnewzeranon3e7c7uy

Probabilistic Worst-Case Timing Analysis

Francisco J. Cazorla, Leonidas Kosmidis, Enrico Mezzetti, Carles Hernandez, Jaume Abella, Tullio Vardanega
2019 ACM Computing Surveys  
techniques for timing analysis.  ...  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  ...  A first attempt to establishing a solid and repeatable EVT-based MBPTA application procedure for multi-path programs appeared in [26, 34] .  ... 
doi:10.1145/3301283 fatcat:cq3psqtrdfhe5kejryvhwu4wii

Page 7071 of Mathematical Reviews Vol. , Issue 2003i [page]

2003 Mathematical Reviews  
Summary: “The modeling and analysis experience with process al- gebras has shown the necessity of extending them with priority, probabilistic internal/external choice, and time while preserving compositionality  ...  We consider the multi-agent programming language agent communication pro- gramming language, which integrates the paradigms of concurrent constraint programming and communicating sequential processes (  ... 

ETAP: Energy-aware Timing Analysis of Intermittent Programs [article]

Ferhat Erata, Arda Goknil, Eren Yıldız, Kasım Sinan Yıldırım, Ruzica Piskac, Jakub Szefer, Gökçin Sezgin
2022 arXiv   pre-print
This paper presents Energy-aware Timing Analysis of intermittent Programs (ETAP), a probabilistic symbolic execution approach that analyzes the timing and energy behavior of intermittent programs at compile  ...  ETAP symbolically executes the given program while taking time and energy cost models for ambient energy and dynamic energy consumption into account.  ...  ETAP performed more precise path-based symbolic analysis at least 100 times faster than experimental measurements under low energy harvesting conditions. Summary.  ... 
arXiv:2201.11433v2 fatcat:yuy72kluqfaytdepx4uuepiryu

Multibody Simulation of Planetary Rover Mobility in Condition of Uncertain soft Terrain

Alberto Gallina, Andreas Gibbesch, Rainer Krenn, Tadeusz Uhl, Bernd Schäfer
2015 Procedia IUTAM  
Mobility analysis by computer multi-body simulation of wheeled rovers plays a fundamental role in planetary exploration programs.  ...  Probabilistic and non-probabilistic approaches are carried out and compared.  ...  In this work the PC expansion, already used for probabilistic analysis, is also employed for non-probabilistic analyses.  ... 
doi:10.1016/j.piutam.2015.01.009 fatcat:vvb3573atngztairxyf4vdkvqe

EPC: Extended Path Coverage for Measurement-Based Probabilistic Timing Analysis

Marco Ziccardi, Enrico Mezzetti, Tullio Vardanega, Jaume Abella, Francisco Javier Cazorla
2015 2015 IEEE Real-Time Systems Symposium  
Measurement-based probabilistic timing analysis (MBPTA) computes trustworthy upper bounds to the execution time of software programs.  ...  This enables the derivation of trustworthy upper bounds to the probabilistic execution time of all paths in the program, even when the user-provided input vectors do not exercise the worst-case path.  ...  This work and has also been partially supported by the Spanish Ministry of Science and Innovation under grant TIN2012-34557, the HiPEAC Network of Excellence and COST Action IC1202: Timing Analysis On  ... 
doi:10.1109/rtss.2015.39 dblp:conf/rtss/ZiccardiMVAC15 fatcat:g5npxa36yrbubcqbbjyhcvuumm

On uses of extreme value theory fit for industrial-quality WCET analysis

Suzana Milutinovic, Enrico Mezzetti, Jaume Abella, Tullio Vardanega, Francisco J. Cazorla
2017 2017 12th IEEE International Symposium on Industrial Embedded Systems (SIES)  
Over the last few years, considerable interest has arisen in measurement-based probabilistic timing analysis.  ...  The term MBPTA has been used to indistinctly refer to a variety of different applications of Extreme Value Theory (EVT) to the timing analysis problem.  ...  Authors also thank George Lima for his feedback on this manuscript.  ... 
doi:10.1109/sies.2017.7993402 dblp:conf/sies/MilutinovicMAVC17 fatcat:tllwfpdntzgh3ag2wpcbg6c6mm

Multi-dimensional Probabilistic Regression over Imprecise Data Streams

Ran Gao, Xike Xie, Kai Zou, Torben Bach Pedersen
2022 Proceedings of the ACM Web Conference 2022  
In this work, we investigate solutions for conducting multi-dimensional and multi-granularity probabilistic regression for the imprecise streaming data.  ...  In this paper, we study a series of techniques on multi-dimensional probabilistic regression, including aggregation, sketching, popular path materialization, and exception-driven querying.  ...  ACKNOWLEDGMENTS This work is supported by NSFC (No. 61772492, 62072428), the CAS Pioneer Hundred Talents Program, and the Danish Council for Independent Research (SEMIOTIC) and the EU H2020 project MORE  ... 
doi:10.1145/3485447.3512150 fatcat:e7ov3sgumndw3dmhmimdf4mckm

Probabilistic Model Checking and Non-standard Multi-objective Reasoning [chapter]

Christel Baier, Clemens Dubslaff, Sascha Klüppelholz, Marcus Daum, Joachim Klein, Steffen Märcker, Sascha Wunderlich
2014 Lecture Notes in Computer Science  
Probabilistic model checking is a well-established method for the automated quantitative system analysis.  ...  probabilistic model checkers.  ...  The eBond+ model is an MDP encoding all the cost and utility measures described above, allowing for PMC-based analysis.  ... 
doi:10.1007/978-3-642-54804-8_1 fatcat:csy2e7dzcfhmdhcdykcixfioki

PVeStA: A Parallel Statistical Model Checking and Quantitative Analysis Tool [chapter]

Musab AlTurki, José Meseguer
2011 Lecture Notes in Computer Science  
Statistical model checking is an attractive formal analysis method for probabilistic systems such as, for example, cyber-physical systems which are often probabilistic in nature.  ...  PVeStA supports statistical model checking of probabilistic real-time systems specified as either: (i) discrete or continuous Markov Chains; or (ii) probabilistic rewrite theories in Maude.  ...  We thank Koushik Sen, Mahesh Viswanathan, and Gul Agha for the original work on VeStA, and Gul Agha and Koushik Sen for their work on PMaude and QuaTEx, which provide the basis on which PVeStA has been  ... 
doi:10.1007/978-3-642-22944-2_28 fatcat:afxsguhebnch3cguy6fh4xeb2q

Multi-run Side-Channel Analysis Using Symbolic Execution and Max-SMT

Corina S. Pasareanu, Quoc-Sang Phan, Pasquale Malacaria
2016 2016 IEEE 29th Computer Security Foundations Symposium (CSF)  
We describe a program analysis that uses symbolic execution to quantify the information that is leaked to an attacker who makes multiple side-channel measurements.  ...  Side-channel attacks recover confidential information from non-functional characteristics of computations, such as time or memory consumption.  ...  For multi-run analysis, the results show, as expected, that MaxLeak is more expensive than GreedyLeak, both in the number of PCs generated and the analysis time (where the Max-SMT solving time is dominant  ... 
doi:10.1109/csf.2016.34 dblp:conf/csfw/PasareanuPM16 fatcat:vvxw5cl2r5ebzivhc6nijzx57i

The Optimum Leakage Principle for Analyzing Multi-threaded Programs [chapter]

Han Chen, Pasquale Malacaria
2010 Lecture Notes in Computer Science  
This offers a new perspective to measure the information leakage and enables to track the leakage at run-time. Examples are given to demonstrate the analysis process.  ...  By modeling the state transitions in multithreaded programs, the principle is combined with information theory to assess the leakage in multi-threaded programs, as the result of an optimal policy.  ...  The Optimal Leakage Principle for Multi-threaded Programs Modeling Multi-threaded Programs Here we model a multi-threaded program using a probabilistic state-space transition system: S, A, P, L where  ... 
doi:10.1007/978-3-642-14496-7_15 fatcat:h6i5a7irtvebxcys3hgrsg3ocy

Static Probabilistic Timing Analysis for Multi-path Programs

Benjamin Lesage, David Griffin, Sebastian Altmeyer, Robert I. Davis
2015 2015 IEEE Real-Time Systems Symposium  
This paper introduces an effective Static Probabilistic Timing Analysis (SPTA) for multi-path programs.  ...  The analysis estimates the temporal contribution of an evict-on-miss, random replacement cache to the probabilistic Worst-Case Execution Time (pWCET) distribution of multi-path programs.  ...  ACKNOWLEDGEMENT This work was partially funded by the EU FP7 Integrated Project PROXIMA (611085), the Inria International Chair program, and ICT COST Action IC1202: Timing Analysis On Code-Level (TACLe  ... 
doi:10.1109/rtss.2015.41 dblp:conf/rtss/LesageGAD15 fatcat:pmphpt5fvngp7mik7l6cs7jubm
« Previous Showing results 1 — 15 out of 44,992 results