Browsing by Author "Hernandez, Carles"
Now showing items 1-20 of 26
-
Adapting TDMA arbitration for measurement-based probabilistic timing analysis
(Elsevier, 2017-07)
Article
Open AccessCritical Real-Time Embedded Systems require functional and timing validation to prove that they will perform their functionalities correctly and in time. For timing validation, a bound to the Worst-Case Execution Time ... -
Aging Assessment and Design Enhancement of Randomized Cache Memories
(Institute of Electrical and Electronics Engineers (IEEE), 2017-01-17)
Article
Open AccessCritical real-time systems require the estimation of the worst-case execution time (WCET) for scheduling purposes and resource budgeting. Measurement-based probabilistic timing analysis (MBPTA) has been shown recently as ... -
Analysis and RTL correlation of instruction set simulators for automotive microcontroller robustness verification
(Institute of Electrical and Electronics Engineers (IEEE), 2015)
Conference report
Open AccessIncreasingly complex microcontroller designs for safety-relevant automotive systems require the adoption of new methods and tools to enable a cost-effective verification of their robustness. In particular, costs associated ... -
Boosting Guaranteed Performance in Wormhole NoCs with Probabilistic Timing Analysis
(IEEE, 2017-09-28)
Conference lecture
Open AccessWormhole-based NoCs (wNoCs) are widely accepted in high-performance domains as the most appropriate solution to interconnect an increasing number of cores in the chip. However, wNoCs suitability in the context of critical ... -
Characterizing fault propagation in safety-critical processor designs
(Institute of Electrical and Electronics Engineers (IEEE), 2015)
Conference report
Open AccessAchieving reduced time-to-market in modern electronic designs targeting safety critical applications is becoming very challenging, as these designs need to go through a certification step that introduces a non-negligible ... -
Computing worst-case contention delays for networks on chip
(Barcelona Supercomputing Center, 2020-05)
Conference report
Open AccessComputing performance needs in domains such as automotive, avionics, railway, and space are on the rise. This is fueled by the trend towards implementing an increasing number of product functionalities in software that ... -
Design and implementation of a fair credit-based bandwidth sharing scheme for buses
(Institute of Electrical and Electronics Engineers (IEEE), 2017-05-15)
Conference lecture
Open AccessFair arbitration in the access to hardware shared resources is fundamental to obtain low worst-case execution time (WCET) estimates in the context of critical real-time systems, for which performance guarantees are essential. ... -
Design and integration of hierarchical-placement multi-level caches for real-Time systems
(Institute of Electrical and Electronics Engineers (IEEE), 2018)
Conference report
Restricted access - publisher's policyEnabling timing analysis in the presence of caches has been pursued by the real-Time embedded systems (RTES) community for years due to cache's huge potential to reduce software's worst-case execution time (WCET). However, ... -
DIMP: A low-cost diversity metric based on circuit path analysis
(2017)
Conference report
Open AccessDiversity has been regarded as a desirable property of redundant instances, since it allows circuits to behave differently in front of a given fault. However, while qualitatively diversity is a well-understood concept, ... -
Fitting Software Execution-Time Exceedance into a Residual Random Fault in ISO-26262
(IEEE, 2018-09-01)
Open AccessCar manufacturers relentlessly replace or augment the functionality of mechanical subsystems with electronic components. Most such subsystems (e.g., steer-by-wire) are safety related, hence, subject to regulation. ISO-26262, ... -
High-Integrity GPU Designs for Critical Real-Time Automotive Systems
(IEEE, 2019-04-16)
Conference lecture
Open AccessAutonomous Driving (AD) imposes the use of highperformance hardware, such as GPUs, to perform object recognition and tracking in real-time. However, differently to the consumer electronics market, critical real-time AD ... -
LAEC: Look-Ahead Error Correction Codes in Embedded Processors L1 Data Cache
(IEEE, 2019-05-16)
Conference lecture
Open AccessAs implementation technology shrinks, the presence of errors in cache memories is becoming an increasing issue in all computing domains. Critical systems, e.g. space and automotive, are specially exposed and susceptible ... -
Locality-aware cache random replacement policies
(Elsevier, 2019-02)
Article
Open AccessMeasurement-Based Probabilistic Timing Analysis (MBPTA) facilitates the analysis of complex software running on hardware comprising high-performance features. MBPTA also aims at preventing additional analysis costs for ... -
Maximum-Contention Control Unit (MCCU): Resource Access Count and Contention Time Enforcement
(IEEE, 2019-04-16)
Conference lecture
Open AccessIn real-time systems, the techniques to derive bounds to the contention tasks can suffer in multicore build on resource quota monitoring and enforcement. Existing techniques track and bound the number of requests to hardware ... -
MC2: Multicore and Cache Analysis via Deterministic and Probabilistic Jitter Bounding
(Springer International Publishing, 2017-05-30)
Conference lecture
Open AccessIn critical domains, reliable software execution is increasingly involving aspects related to the timing dimension. This is due to the advent of high-performance (complex) hardware, used to provide the rising levels of ... -
Modeling RTL Fault Models Behavior to Increase the Confidence on TSIM-based Fault Injection
(Institute of Electrical and Electronics Engineers (IEEE), 2016-07-04)
Conference lecture
Open AccessFuture high-performance safety-relevant applications require microcontrollers delivering higher performance than the existing certified ones. However, means for assessing their dependability are needed so that they can be ... -
Modelling bus contention during system early design stages
(IEEE, 2017-07-31)
Conference lecture
Open AccessReliably upperbounding contention in multicore shared resources is of prominent importance in the early design phases of critical real-time systems to properly allocate time budgets to applications. However, during early ... -
On the suitability of time-randomized processors for secure and reliable high-performance computing
(Barcelona Supercomputing Center, 2017-05-04)
Conference report
Open AccessTime-randomized processor (TRP) architectures have been shown as one of the most promising approaches to deal with the overwhelming complexity of the timing analysis of high complex processor architectures for safety-related ... -
Probabilistic timing analysis on time-randomized platforms for the space domain
(Institute of Electrical and Electronics Engineers (IEEE), 2017-05-15)
Conference lecture
Open AccessTiming 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 ... -
Probabilistic Worst-Case Timing Analysis: Taxonomy and Comprehensive Survey
(ACM, 2019-02-01)
Article
Open AccessThe unabated increase in the complexity of the hardware and software components of modern embedded real-time systems has given momentum to a host of research in the use of probabilistic and statistical techniques for timing ...
