Paper Info
Title
Measurement-based probabilistic timing analysis: Lessons from an integrated-modular avionics case study.
Abstract
Probabilistic Timing Analysis (PTA) in general and its measurement-based variant called MBPTA in particular can mitigate some of the problems that impair current worst-case execution time (WCET) analysis techniques. MBPTA computes tight. WCET bounds expressed as probabilistic exceedance functions, without needing much information on the hardware and software internals of the system. Classic WCET analysis has information needs that may be costly and difficult to satisfy, and their omission increases pessimism. Previous work has shown that MBPTA does well with benchmark programs. Real-world applications however place more demanding requirements on timing analysis than simple benchmarks. It is interesting to see how PTA responds to them. This paper discusses the application of MBPTA to a real avionics system and presents lessons learned in that process.
Year
DOI
Venue
2013
10.1109/SIES.2013.6601497
SIES
Keywords
Field
DocType
aerospace computing,avionics,probability,MBPTA,WCET analysis techniques,benchmark programs,integrated-modular avionics,measurement-based probabilistic timing analysis,measurement-based variant,probabilistic exceedance functions,real-world applications,worst-case execution time analysis techniques
Information needs,Integrated modular avionics,Computer science,Avionics,Real-time computing,Static timing analysis,Software,Execution time,Probabilistic logic,Probabilistic timing analysis,Distributed computing
Conference
ISSN
Citations 
PageRank 
2150-3109
38
1.38
References 
Authors
22
12
Name
Order
Citations
PageRank
Franck Wartel11275.23
Leonidas Kosmidis241828.48
Code Lo32237.78
Benoit Triquet41315.11
Eduardo Quiñones552831.18
Jaume Abella6104676.34
Adriana Gogonel7663.31
Andrea Baldovin8754.76
Enrico Mezzetti923821.14
Liliana Cucu101718.91
Tullio Vardanega1163354.28
Francisco J. Cazorla12130495.50