Proceedings of the 23rd International Conference on Real Time and Networks Systems 2015
DOI: 10.1145/2834848.2834871
|View full text |Cite
|
Sign up to set email alerts
|

WCET analysis in shared resources real-time systems with TDMA buses

Abstract: International audiencePredictability is an important aspect in real-time and safety-critical systems, where non-functional properties – such as the timing behavior – have high impact on the system cor-rectness. As many safety-critical systems have a growing performance demand, simple, but outdated architectures are not sufficient anymore. Instead, multi-core systems are more and more popular, even in the real-time domain. To combine the performance benefits of a multi-core architecture with the required predic… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1

Citation Types

0
2
0

Year Published

2019
2019
2023
2023

Publication Types

Select...
3
3
1

Relationship

1
6

Authors

Journals

citations
Cited by 9 publications
(2 citation statements)
references
References 14 publications
0
2
0
Order By: Relevance
“…Compared to [7], our analysis provides an exact (non-probabilistic) bound of a memory access in the LLC, and does not rely on MBPTA. Our work assumes that a TDM bus arbitration has one slot in each period, which is common in controlling access to resources in safety-critical systems [1,5]. We also identified the worst-case scenario for the LLC evictions, and that in the worst-case the latency can be unbounded if the arbitration has no constraint.…”
Section: Related Workmentioning
confidence: 99%
“…Compared to [7], our analysis provides an exact (non-probabilistic) bound of a memory access in the LLC, and does not rely on MBPTA. Our work assumes that a TDM bus arbitration has one slot in each period, which is common in controlling access to resources in safety-critical systems [1,5]. We also identified the worst-case scenario for the LLC evictions, and that in the worst-case the latency can be unbounded if the arbitration has no constraint.…”
Section: Related Workmentioning
confidence: 99%
“…In 2015, Rihani et al [103] used SAT Modulo Theory (SMT) to encode the whole execution of a task on a platform with TDMA bus arbitration. The novelty here is the encoding of the program semantics to gain precision in the WCET bound, taking infeasible execution paths into account.…”
Section: Analysis Of the Interconnect Onlymentioning
confidence: 99%