Now showing items 1-18 of 18

  • EPC Enacted: Integration in an Industrial Toolbox and Use against a Railway Application 

    Mezzetti, Enrico; Fernandez, Mikel; Bardizbanyan, Alen; Agirre, Irune; Abella, Jaume; Vardanega, Tullio; Cazorla, Francisco J. (Institute of Electrical and Electronics Engineers (IEEE), 2017-06-08)
    Conference lecture
    Open Access
    Measurement-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 

    Ziccardi, Marco; Mezzetti, Enrico; Vardanega, Tullio; Abella, Jaume; Cazorla, Francisco J. (IEEE, 2016-01-18)
    Conference lecture
    Open Access
    Measurement-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 Software Execution-Time Exceedance into a Residual Random Fault in ISO-26262 

    Agirre, Irune; Cazorla, Francisco J.; Abella, Jaume; Hernandez, Carles; Mezzetti, Enrico; Azkarate-askasua, Mikel; Vardanega, Tullio (IEEE, 2018-09-01)
    Open Access
    Car 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, ...
  • Increasing the Reliability of Software Timing Analysis for Cache-Based Processors 

    Milutinovic, Suzana; Mezzetti, Enrico; Abella, Jaume; Cazorla, Francisco J. (IEEE, 2019-06-01)
    Article
    Open Access
    Real-time systems are witnessing a significant increase in critical software's size, complexity, and performance needs, which can only be satisfied with high-performance hardware features. Cache memories, pervasively used ...
  • MC2: Multicore and Cache Analysis via Deterministic and Probabilistic Jitter Bounding 

    Díaz, Enrique; Fernández, Mikel; Kosmidis, Leonidas; Mezzetti, Enrico; Hernandez, Carles; Abella, Jaume; Cazorla, Francisco J. (Springer International Publishing, 2017-05-30)
    Conference lecture
    Open Access
    In 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 ...
  • Measurement-based cache representativeness on multipath programs 

    Milutinovic, Suzana; Abella, Jaume; Mezzetti, Enrico; Cazorla, Francisco J. (Association for Computing Machinery (ACM), 2018-06)
    Conference lecture
    Open Access
    Autonomous vehicles in embedded real-time systems increase critical-software size and complexity whose performance needs are covered with high-performance hardware features like caches, which however hampers obtaining WCET ...
  • Measurement-based probabilistic timing analysis for multi-path programs 

    Cucu Grosjean, Liliana; Santinelli, Luca; Houston, Michael; Lo, Code; Vardanega, Tulio; Kosmidis, Leonidas; Abella Ferrer, Jaume; Mezzetti, Enrico; Quiñones, Eduardo; Cazorla Almeida, Francisco Javier (2012)
    Conference report
    Restricted access - publisher's policy
    The rigorous application of static timing analysis requires a large and costly amount of detail knowledge on the hardware and software components of the system. Probabilistic Timing Analysis has potential for reducing the ...
  • Measurement-based probabilistic timing analysis: Lessons from an integrated-modular avionics case study 

    Wartel, Franck; Kosmidis, Leonidas; Lo, Code; Triquet, Benoit; Quiñones, Eduardo; Abella Ferrer, Jaume; Gogonel, Adriana; Baldovin, Andrea; Mezzetti, Enrico; Cucu Grosjean, Liliana; Vardanega, Tulio; Cazorla Almeida, Francisco Javier (Institute of Electrical and Electronics Engineers (IEEE), 2013)
    Conference report
    Restricted access - publisher's policy
    Probabilistic Timing Analysis (PTA) in general and its measurement-based variant called MBPTA in particular can mitigate some of the problems that impair current worst-case execution time (WCET) analysis techniques. MBPTA ...
  • Measurement-based timing analysis of the AURIX caches 

    Kosmidis, Leonidas; Compagnin, Davide; Morales, David; Mezzetti, Enrico; Quiñones, Eduardo; Abella Ferrer, Jaume; Vardanega, Tullio; Cazorla Almeida, Francisco Javier (Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016)
    Conference report
    Open Access
    Cache 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 

    Díaz, Enrique; Abella, Jaume; Mezzetti, Enrico; Aguirre, Irune; Azkarate-Askasua, Mikel; Vardanega, Tullio; Cazorla, Francisco (Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016)
    Conference report
    Open Access
    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 ...
  • Modelling multicore contention on the AURIXTM TC27x 

    Díaz, Enrique; Mezzetti, Enrico; Kosmidis, Leonidas; Abella, Jaume; Cazorla, Francisco J. (Association for Computing Machinery (ACM), 2018-06-24)
    Conference lecture
    Open Access
    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 ...
  • On assessing the viability of probabilistic scheduling with dependent tasks 

    Abella, Jaume; Mezzetti, Enrico; Cazorla, Francisco J. (Association for Computing Machinery (ACM), 2019-04-08)
    Conference lecture
    Open Access
    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 uses of extreme value theory fit for industrial-quality WCET analysis 

    Milutinovic, Suzana; Mezzetti, Enrico; Abella, Jaume; Vardanega, Tullio; Cazorla, Francisco J. (IEEE, 2017-07-31)
    Conference lecture
    Open Access
    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 ...
  • PROXIMA: Improving Measurement-Based Timing Analysis through Randomisation and Probabilistic Analysis 

    Cazorla, Francisco J.; Abella, 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)
    Conference lecture
    Open Access
    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 ...
  • Reconciling Time Predictability and Performance in Future Computing Systems 

    Cazorla, Francisco J.; Abella, Jaume; Mezzetti, Enrico; Hernandez, Carles; Vardanega, Tullio; Bernat, Guillem (IEEE, 2018-04)
    Article
    Open Access
    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 ...
  • Software Time Reliability in the Presence of Cache Memories 

    Milutinovic, Suzana; Abella, Jaume; Agirre, Irune; Azkarate-Askasua, Mikel; Mezzetti, Enrico; Vardanega, Tullio; Cazorla, Francisco J. (Springer International Publishing, 2017-05-30)
    Conference lecture
    Open Access
    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 ...
  • Towards limiting the impact of timing anomalies in complex real-time processors 

    Benedicte Illescas, Pedro; Abella Ferrer, Jaume; Hernández Chulde, Carlos Efrén; Mezzetti, Enrico; Cazorla Almeida, Francisco Javier
    Conference report
    Restricted access - publisher's policy
    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, ...
  • Work-in-Progress Paper: An Analysis of the Impact of Dependencies on Probabilistic Timing Analysis and Task Scheduling 

    Mezzetti, Enrico; Abella, Jaume; Hernandez, Carles; Cazorla, Francisco J. (IEEE, 2018-02-01)
    Conference lecture
    Open Access
    Recently there has been a renewed interest for probabilistic timing analysis (PTA) and probabilistic task scheduling (PTS). Despite the number of works in both fields, the link between them is weak: works on the latter ...