Ara es mostren els items 21-40 de 45

    • Mitigating software-instrumentation cache effects in measurement-based timing analysis 

      Díaz, Enrique; Abella Ferrer, Jaume; Mezzetti, Enrico; Aguirre, Irune; Azkarate-Askasua, Mikel; Vardanega, Tullio; Cazorla, Francisco (Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016)
      Text en actes de congrés
      Accés obert
      Measurement-based timing analysis (MBTA) is often used to determine the timing behaviour of software programs embedded in safety-aware real-time systems deployed in various industrial domains including automotive and ...
    • Modeling contention interference in crossbar-based systems via Sequence-Aware Pairing (SeAP) 

      Giesen, Jeremy; Benedicte Illescas, Pedro; Mezzetti, Enrico; Abella Ferrer, Jaume; Cazorla Almeida, Francisco Javier (Institute of Electrical and Electronics Engineers (IEEE), 2020)
      Text en actes de congrés
      Accés obert
      The Infineon AURIX TriCore family of microcontrollers has consolidated as the reference multicore computing platform for safety-critical systems in the automotive domain. As a distinctive trait, AURIX microcontrollers are ...
    • Modelling multicore contention on the AURIXTM TC27x 

      Díaz, Enrique; Mezzetti, Enrico; Kosmidis, Leonidas; Abella Ferrer, Jaume; Cazorla, Francisco J. (Association for Computing Machinery (ACM), 2018-06-24)
      Comunicació de congrés
      Accés obert
      Multicores are becoming ubiquitous in automotive. Yet, the expected benefits on integration are challenged by multicore contention concerns on timing V&V. Worst-case execution time (WCET) estimates are required as early ...
    • MUCH: exploiting pairwise hardware event monitor correlations for improved timing analysis of complex MPSoCs 

      Vilardell Moreno, Sergi; Serra Mochales, Isabel; Mezzetti, Enrico; Abella Ferrer, Jaume; Cazorla Almeida, Francisco Javier (Association for Computing Machinery (ACM), 2021)
      Text en actes de congrés
      Accés obert
      Measurement-based timing analysis techniques increasingly rely on the Performance Monitoring Units (PMU) of MPSoCs, as these units implement specialized Hardware Event Monitors (HEMs) that convey detailed information about ...
    • NoCo: ILP-based worst-case contention estimation for mesh real-time manycores 

      Cardona Nadal, Jordi; Hernández Luz, Carles; Mezzetti, Enrico; Abella Ferrer, Jaume; Cazorla Almeida, Francisco Javier (IEEE, 2019-01-07)
      Comunicació de congrés
      Accés obert
      Manycores are capable of providing the computational demands required by functionally-advanced critical applications in domains such as automotive and avionics. In manycores a network-on-chip (NoC) provides access to shared ...
    • On assessing the viability of probabilistic scheduling with dependent tasks 

      Abella Ferrer, Jaume; Mezzetti, Enrico; Cazorla, Francisco J. (Association for Computing Machinery (ACM), 2019-04-08)
      Comunicació de congrés
      Accés obert
      Despite the significant interest, in the last years, in probabilistic scheduling and probabilistic timing analysis, the interrelation between them has been scarcely addressed. Probabilistic scheduling approaches typically ...
    • On Neural Networks Redundancy and Diversity for Their Use in Safety-Critical Systems 

      Brando, Axel; Serra, Isabel; Mezzetti, Enrico; Cazorla Almeida, Francisco Javier; Perez Cerrolaza, Jon; Abella Ferrer, Jaume (Institute of Electrical and Electronics Engineers (IEEE), 2023-05)
      Article
      Accés obert
      An increasing number of critical functionalities integrated in embedded critical systems rely on deep learning (DL) technology. This article summarizes certain key aspects of DL’s intrinsic stochastic and training-data-dependent ...
    • On the definition of resource sharing levels to understand and control the impact of contention in multicore processors 

      Mezzetti, Enrico; Abella Ferrer, Jaume; Cazorla Almeida, Francisco Javier; Tabani, Hamid; Kosmidis, Leonidas (SAE International, 2021-06)
      Article
      Accés obert
      The trend toward the adoption of a multiprocessor system on a chip (MPSoC) in critical real-time domains, like avionics or automotive, responds to the demand for increased computing performance to support advanced software ...
    • On the reliability of hardware event monitors in MPSoCs for critical domains 

      Barrera Herrera, Javier Enrique; Kosmidis, Leonidas; Tabani, Hamid; Mezzetti, Enrico; Abella Ferrer, Jaume; Fernández, Mikel; Bernat Nicolau, Guillem Joan; Cazorla Almeida, Francisco Javier (Association for Computing Machinery (ACM), 2020)
      Text en actes de congrés
      Accés obert
      Performance Monitoring Units (PMUs) are at the heart of most-advanced timing analysis techniques to control and bound the impact of contention in Commercial Off-The-Shelf (COTS) SoCs with shared resources (e.g. GPUs and ...
    • On uses of extreme value theory fit for industrial-quality WCET analysis 

      Milutinovic, Suzana; Mezzetti, Enrico; Abella Ferrer, Jaume; Vardanega, Tullio; Cazorla, Francisco J. (IEEE, 2017-07-31)
      Comunicació de congrés
      Accés obert
      Over the last few years, considerable interest has arisen in measurement-based probabilistic timing analysis. The term MBPTA has been used to indistinctly refer to a variety of different applications of Extreme Value Theory ...
    • PRL: standardizing performance monitoring library for high-integrity real-time systems 

      Giesen León, Jeremy Jens; Mezzetti, Enrico; Abella Ferrer, Jaume; Cazorla Almeida, Francisco Javier (Institute of Electrical and Electronics Engineers (IEEE), 2021)
      Text en actes de congrés
      Accés obert
      The use of complex processors is becoming ubiquitous in High-Integrity Systems (HIS). To deal with processor’s increased complexity, Performance Monitoring Counters (PMCs) are increasingly used to reason on software behavior ...
    • Probabilistic Worst-Case Timing Analysis: Taxonomy and Comprehensive Survey 

      Cazorla, Francisco J.; Kosmidis, Leonidas; Mezzetti, Enrico; Hernandez, Carles; Abella Ferrer, Jaume; Vardanega, Tullio (ACM, 2019-02-01)
      Article
      Accés obert
      The 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 ...
    • PROXIMA: Improving Measurement-Based Timing Analysis through Randomisation and Probabilistic Analysis 

      Cazorla, Francisco J.; Abella Ferrer, Jaume; Andersson, Jan; Vardanega, Tullio; Vatrinet, Francis; Bate, Iain; Broster, Ian; Azkarate-askasua, Mikel; Wartel, Franck; Cucu, Liliana; Cros, Fabrice; Farrall, Glenn; Gogonel, Adriana; Gianarro, Andrea; Triquet, Benoit; Hernandez, Carles; Lo, Code; Maxim, Cristian; Morales, David; Quiñones, Eduardo; Mezzetti, Enrico; Kosmidis, Leonidas; Aguirre, Irune; Fernandez, Mikel; Slijepcevic, Mladen; Conmy, Philippa; Talaboulma, Walid (IEEE, 2016-08-31)
      Comunicació de congrés
      Accés obert
      The use of increasingly complex hardware and software platforms in response to the ever rising performance demands of modern real-time systems complicates the verification and validation of their timing behaviour, which ...
    • Quasi Isolation QoS Setups to Control MPSoC Contention in Integrated Software Architectures 

      Garcia Esteban, Sergio; Serrano Cases, Alejandro; Abella Ferrer, Jaume; Mezzetti, Enrico; Cazorla Almeida, Francisco Javier (Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023)
      Comunicació de congrés
      Accés obert
      The use of integrated architectures, such as integrated modular avionics (IMA) in avionics, IMA-SP in space, and AUTOSAR in automotive, running on Multi-Processor System-on-Chip (MPSoC) is on the rise. Timing isolation ...
    • Reconciling Time Predictability and Performance in Future Computing Systems 

      Cazorla, Francisco J.; Abella Ferrer, Jaume; Mezzetti, Enrico; Hernandez, Carles; Vardanega, Tullio; Bernat, Guillem (IEEE, 2018-04)
      Article
      Accés obert
      MBTA studies the system’s timing in analysis scenarios, to determine upper bounds to the worst-case execution-time behavior that may occur at operation. MBTA’s challenge is to construct analysis-time scenarios that help ...
    • SAFEXPLAIN: Safe and Explainable Critical Embedded Systems Based on AI 

      Abella Ferrer, Jaume; Perez, Jon; Englund, Cristofer; Zonooz, Bahram; Giordana, Gabriele; Cazorla Almeida, Francisco Javier; Mezzetti, Enrico; Serra, Isabel; Brando, Axel (Institute of Electrical and Electronics Engineers (IEEE), 2023)
      Comunicació de congrés
      Accés obert
      Deep Learning (DL) techniques are at the heart of most future advanced software functions in Critical Autonomous AI-based Systems (CAIS), where they also represent a major competitive factor. Hence, the economic success ...
    • Software Time Reliability in the Presence of Cache Memories 

      Milutinovic, Suzana; Abella Ferrer, Jaume; Agirre, Irune; Azkarate-Askasua, Mikel; Mezzetti, Enrico; Vardanega, Tullio; Cazorla, Francisco J. (Springer International Publishing, 2017-05-30)
      Comunicació de congrés
      Accés obert
      The use of caches challenges measurement-based timing analysis (MBTA) in critical embedded systems. In the presence of caches, the worst-case timing behavior of a system heavily depends on how code and data are laid out ...
    • Standardizing the Probabilistic Sources of Uncertainty for the sake of Safety Deep Learning 

      Brando, Axel; Serra, Isabel; Mezzetti, Enrico; Cazorla Almeida, Francisco Javier; Abella Ferrer, Jaume (CEUR Workshop Proceedings, 2023)
      Comunicació de congrés
      Accés obert
      Nowadays, critical functionalities are increasingly tackled by autonomous decision-making systems, which depend on Artificial Intelligence (e.g. Deep Learning) models. Still, most of these models are designed to maximize ...
    • Timing of autonomous driving software: problem analysis and prospects for future solutions 

      Alcon, Miguel; Tabani, Hamid; Kosmidis, Leonidas; Mezzetti, Enrico; Abella Ferrer, Jaume; Cazorla Almeida, Francisco Javier (IEEE, 2020)
      Text en actes de congrés
      Accés obert
      The software used to implement advanced functionalities in critical domains (e.g. autonomous operation) impairs software timing. This is not only due to the complexity of the underlying high-performance hardware deployed ...
    • Towards limiting the impact of timing anomalies in complex real-time processors 

      Benedicte Illescas, Pedro; Abella Ferrer, Jaume; Mezzetti, Enrico; Cazorla Almeida, Francisco Javier; Hernández Luz, Carles (2019)
      Text en actes de congrés
      Accés obert
      Timing verification of embedded critical real-time systems is hindered by complex designs. Timing anomalies, deeply analyzed in static timing analysis, require specific solutions to bound their impact. For the first time, ...