Probabilistic timing analysis on time-randomized platforms for the space domain

Cita com:
hdl:2117/104524
Document typeConference lecture
Defense date2017-05-15
PublisherInstitute of Electrical and Electronics Engineers (IEEE)
Rights accessOpen Access
All rights reserved. This work is protected by the corresponding intellectual and industrial
property rights. Without prejudice to any existing legal exemptions, reproduction, distribution, public
communication or transformation of this work are prohibited without permission of the copyright holder
ProjectCOMPUTACION 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.
CitationFernandez, 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
Publisher versionhttp://ieeexplore.ieee.org/document/7927087/
Collections
Files | Description | Size | Format | View |
---|---|---|---|---|
Probabilistic T ... sis on Time-Randomized.pdf | 218,1Kb | View/Open |