Browsing by Author "Mezzetti, Enrico"
Now showing items 21-40 of 45
-
Mitigating software-instrumentation cache effects in measurement-based timing analysis
(Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016)
Conference report
Open AccessMeasurement-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)
(Institute of Electrical and Electronics Engineers (IEEE), 2020)
Conference report
Open AccessThe 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
(Association for Computing Machinery (ACM), 2018-06-24)
Conference lecture
Open AccessMulticores 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
(Association for Computing Machinery (ACM), 2021)
Conference report
Open AccessMeasurement-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
(IEEE, 2019-01-07)
Conference lecture
Open AccessManycores 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
(Association for Computing Machinery (ACM), 2019-04-08)
Conference lecture
Open AccessDespite 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
(Institute of Electrical and Electronics Engineers (IEEE), 2023-05)
Article
Open AccessAn 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
(SAE International, 2021-06)
Article
Open AccessThe 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
(Association for Computing Machinery (ACM), 2020)
Conference report
Open AccessPerformance 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
(IEEE, 2017-07-31)
Conference lecture
Open AccessOver 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
(Institute of Electrical and Electronics Engineers (IEEE), 2021)
Conference report
Open AccessThe 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
(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 ... -
PROXIMA: Improving Measurement-Based Timing Analysis through Randomisation and Probabilistic Analysis
(IEEE, 2016-08-31)
Conference lecture
Open AccessThe 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
(Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023)
Conference lecture
Open AccessThe 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
(IEEE, 2018-04)
Article
Open AccessMBTA 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
(Institute of Electrical and Electronics Engineers (IEEE), 2023)
Conference lecture
Open AccessDeep 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
(Springer International Publishing, 2017-05-30)
Conference lecture
Open AccessThe 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
(CEUR Workshop Proceedings, 2023)
Conference lecture
Open AccessNowadays, 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
(IEEE, 2020)
Conference report
Open AccessThe 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
(2019)
Conference report
Open AccessTiming 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, ...
