Ir al contenido (pulsa Retorno)

Universitat Politècnica de Catalunya

    • Català
    • Castellano
    • English
    • LoginRegisterLog in (no UPC users)
  • mailContact Us
  • world English 
    • Català
    • Castellano
    • English
  • userLogin   
      LoginRegisterLog in (no UPC users)

UPCommons. Global access to UPC knowledge

58.898 UPC E-Prints
You are here:
View Item 
  •   DSpace Home
  • E-prints
  • Centres de recerca
  • BSC - Barcelona Supercomputing Center
  • Computer Sciences
  • Ponències/Comunicacions de congressos
  • View Item
  •   DSpace Home
  • E-prints
  • Centres de recerca
  • BSC - Barcelona Supercomputing Center
  • Computer Sciences
  • Ponències/Comunicacions de congressos
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

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

Thumbnail
View/Open
Probabilistic Timing Analysis on Time-Randomized.pdf (218,1Kb)
Share:
 
 
10.23919/DATE.2017.7927087
 
  View Usage Statistics
Cita com:
hdl:2117/104524

Show full item record
Fernandez, Mikel
Morales, David
Kosmidis, LeonidasMés informació
Bardizbanyan, Alen
Broster, Ian
Hernandez, Carles
Quiñones, Eduardo
Abella Ferrer, JaumeMés informació
Cazorla, Francisco
Machado, Paulo
Fossati, Luca
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)
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. 
URIhttp://hdl.handle.net/2117/104524
DOI10.23919/DATE.2017.7927087
ISBN978-3-9815370-8-6
Publisher versionhttp://ieeexplore.ieee.org/document/7927087/
Collections
  • Computer Sciences - Ponències/Comunicacions de congressos [489]
Share:
 
  View Usage Statistics

Show full item record

FilesDescriptionSizeFormatView
Probabilistic T ... sis on Time-Randomized.pdf218,1KbPDFView/Open

Browse

This CollectionBy Issue DateAuthorsOther contributionsTitlesSubjectsThis repositoryCommunities & CollectionsBy Issue DateAuthorsOther contributionsTitlesSubjects

© UPC Obrir en finestra nova . Servei de Biblioteques, Publicacions i Arxius

info.biblioteques@upc.edu

  • About This Repository
  • Contact Us
  • Send Feedback
  • Inici de la pàgina