Paper Info
Title
Probabilistic timing analysis on time-randomized platforms for the space domain.
Abstract
Timing Verification is a fundamental step in real-time embedded systems, with measurement-based timing analysis (MBTA) being the most common approach used to that end. We present a Space case study on a real platform that has been modified to support a probabilistic variant of MBTA called MBPTA. Our platform provides the properties required by MBPTA with the predicted WCET estimates with MBPTA being competitive to those with current MBTA practice while providing more solid evidence on their correctness for certification.
Year
Venue
Field
2017
DATE
Computer science,Correctness,Real-time computing,Static timing analysis,Aerospace electronics,Probabilistic logic,Probabilistic timing analysis,Certification,Embedded system
DocType
ISSN
Citations 
Conference
1530-1591
6
PageRank 
References 
Authors
0.43
9
11
Name
Order
Citations
PageRank
Mikel Fernández1322.81
David Morales2202.04
Leonidas Kosmidis341828.48
Alen Bardizbanyan4224.28
I. Broster515510.40
Carles HernáNdez617626.56
Eduardo Quiñones7313.26
Jaume Abella86113.46
Francisco J. Cazorla9130495.50
Paulo Machado1060.43
Luca Fossati1114510.69