Probabilistic timing analysis on time-randomized platforms for the space domain
Visualitza/Obre
Cita com:
hdl:2117/104524
Tipus de documentComunicació de congrés
Data publicació2017-05-15
EditorInstitute of Electrical and Electronics Engineers (IEEE)
Condicions d'accésAccés obert
Tots els drets reservats. Aquesta obra està protegida pels drets de propietat intel·lectual i
industrial corresponents. Sense perjudici de les exempcions legals existents, queda prohibida la seva
reproducció, distribució, comunicació pública o transformació sense l'autorització del titular dels drets
ProjecteCOMPUTACION DE ALTAS PRESTACIONES VII (MINECO-TIN2015-65316-P)
RYC-2013-14717 (MINECO-RYC-2013-14717)
PROBABILISTIC TIMING ANALYSIS OF HIGH-PERFORMANCE AND RELIABLE PROCESSORS (MINECO-TIN2014-60404-JIN)
RYC-2013-14717 (MINECO-RYC-2013-14717)
PROBABILISTIC TIMING ANALYSIS OF HIGH-PERFORMANCE AND RELIABLE PROCESSORS (MINECO-TIN2014-60404-JIN)
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.
CitacióFernandez, M. [et al.]. Probabilistic timing analysis on time-randomized platforms for the space domain. A: 2017 Design, Automation & Test in Europe, Lausanne, Switzerland,. "2017 Design, Automation & Test in Europe Conference & Exhibition (DATE)". Institute of Electrical and Electronics Engineers (IEEE), 2017, p. 738-739.
ISBN978-3-9815370-8-6
Versió de l'editorhttp://ieeexplore.ieee.org/document/7927087/
Col·leccions
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
Probabilistic T ... sis on Time-Randomized.pdf | 218,1Kb | Visualitza/Obre |