Browsing by Author "Vardanega, Tullio"
Now showing items 1-14 of 14
-
Computing Safe Contention Bounds for Multicore Resources with Round-Robin and FIFO Arbitration
(Institute of Electrical and Electronics Engineers (IEEE), 2016-10-11)
Article
Open AccessNumerous researchers have studied the contention that arises among tasks running in parallel on a multicore processor. Most of those studies seek to derive a tight and sound upper-bound for the worst-case delay with which ... -
Contention in multicore hardware shared resources: Understanding of the state of the art
(Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2014)
Conference report
Open AccessThe real-time systems community has over the years devoted considerable attention to the impact on execution timing that arises from contention on access to hardware shared resources. The relevance of this problem has been ... -
EPC Enacted: Integration in an Industrial Toolbox and Use against a Railway Application
(Institute of Electrical and Electronics Engineers (IEEE), 2017-06-08)
Conference lecture
Open AccessMeasurement-based timing analysis approaches are increasingly making their way into several industrial domains on account of their good cost-benefit ratio. The trustworthiness of those methods, however, suffers from the ... -
EPC: Extended Path Coverage for Measurement-Based Probabilistic Timing Analysis
(IEEE, 2016-01-18)
Conference lecture
Open AccessMeasurement-based probabilistic timing analysis (MBPTA) computes trustworthy upper bounds to the execution time of software programs. MBPTA has the connotation, typical of measurement-based techniques, that the bounds ... -
Fitting processor architectures for measurement-based probabilistic timing analysis
(2016-11-01)
Article
Open AccessThe pressing market demand for competitive performance/cost ratios compels Critical Real-Time Embedded Systems industry to employ feature-rich hardware. The ensuing rise in hardware complexity however makes worst-case ... -
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, ... -
Measurement-based timing analysis of the AURIX caches
(Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016)
Conference report
Open AccessCache memories are one of the hardware resources with higher potential to reduce worst-case execution time (WCET) costs for software programs with tight real-time constraints. Yet, the complexity of cache analysis has ... -
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 ... -
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 ... -
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 ... -
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 ... -
Seeking time-composable partitions of tasks for COTS multicore processors
(Institute of Electrical and Electronics Engineers (IEEE), 2015)
Conference lecture
Open AccessThe timing verification of real-time single core systems involves a timing analysis step that yields an Execution Time Bound (ETB) for each task, followed by a schedulability analysis step, where the scheduling attributes ... -
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 ...
