Measurement-based probabilistic timing analysis: Lessons from an integrated-modular avionics case study

F Wartel, L Kosmidis, C Lo, B Triquet… - 2013 8th IEEE …, 2013 - ieeexplore.ieee.org
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 …

Age analysis of status updating system with probabilistic packet preemption

J Zhang, Y Xu - Entropy, 2022 - mdpi.com
The age of information (AoI) metric was proposed to measure the freshness of messages
obtained at the terminal node of a status updating system. In this paper, the AoI of a discrete …

Degree of schedulability of mixed-criticality real-time systems with probabilistic sporadic tasks

AJ Boudjadar, A David, JH Kim… - … Aspects of Software …, 2014 - ieeexplore.ieee.org
We present the concept of degree of schedulability for mixed-criticality scheduling systems.
This concept is given in terms of the two factors 1) Percentage of Missed Deadlines (PoMD) …

A model-based framework for the specification and analysis of hierarchical scheduling systems

M Chadli, JH Kim, A Legay, LM Traonouez… - Critical Systems: Formal …, 2016 - Springer
Over the years, schedulability of Cyber-Physical Systems (CPS) has mainly been performed
by analytical methods. Those techniques are known to be effective but limited to a few …

Quantitative schedulability analysis of continuous probability tasks in a hierarchical context

JH Kim, A Boudjadar, U Nyman, M Mikučionis… - Proceedings of the 18th …, 2015 - dl.acm.org
We define the concept of degree of schedulability to characterize the schedulability and
performance of soft real-time systems. The degree of schedulability of a system is given in …

Flexible framework for statistical schedulability analysis of probabilistic sporadic tasks

A Boudjadar, JH Kim, A David… - 2015 IEEE 18th …, 2015 - ieeexplore.ieee.org
The analysis of probabilistic schedulability explores all possible combinations of the
probabilities of task attributes, which can easily lead to exponential computation time [24]. In …

[PDF][PDF] Using processor speed-up to control preemption related costs

A Thekkilakattil, R Dobrin, S Punnekkat - 2013 - ipr.mdh.se
I. RELATED WORK Preemptive real-time schedulers are associated with preemption related
overheads, and their effects are challenging to analyze because they typically vary with the …

[PDF][PDF] Quantitative Schedulability Analysis of Continuous Probability Tasks in a Hierarchical Context

J Boudjadar, A David, JH Kim, KG Larsen… - 2015 - core.ac.uk
We define the concept of degree of schedulability to characterize the schedulability and
performance of soft real-time systems. The degree of schedulability of a system is given in …

Sincronização de Alto Desempenho para Um Ambiente de Co-Simulação

NF da Silva Oliveira - 2019 - search.proquest.com
A Co-Simulação oferece grandes benefícios na integração de sistemas ciber-físicos e na
análise de comportamento de código, permite que os vários subsistemas ea sua …

Sincronização de alto desempenho para um ambiente de co-simulação

NFS Oliveira - 2019 - recipp.ipp.pt
Co-Simulation offers great benefits in the integration of cyber-physical systems and code
behavior analysis, allowing the various subsystems and their cooperation to be tested …