The fact that many benchmarks for evaluating worst-case execution time (WCET) analysis
tools are based on real-world applications greatly increases the value of their results …

The correctness of a real-time system does not depend on the correctness of its calculations
alone but also on the non-functional requirement of adhering to deadlines. Guaranteeing …

Attribute-oriented programming (source code annotations) is a program level marking
technique that enables enrichment of program elements with custom metadata. In this paper …

The widespread adoption of cyber-physical systems in the safety-critical (hard real-time)
domain is accompanied by a rising degree of code-reuse up to actual software product lines …

The increasing number of embedded systems spawns applications with critical constraints in
both execution time and energy consumption. For their reliable operation, these energy …

摘要程序最坏执行时间(WorstCaseExecutionTime, WCET) 是嵌入式实时系统时间属性验证的
基础, 在采用静态分析技术的WCET 估算中需要分阶段对不同的执行环境约束条件进行分析 …

The presence of infeasible paths in a program is a source of imprecision in the Worst-Case
Execution Time (WCET) analysis. Detecting, expressing and exploiting such paths can …

Le calcul du pire temps d'exécution (WCET, Worst Case Execution Time) est une phase
indispensable pour la vérification et la certification des systèmes embarqués strictement …

Tools for code-level program analysis need formats to express various properties, like
relevant properties of the environment where the analysed code will execute, and the …

Real-time systems are ubiquitous in our everyday life, eg, in safety-critical domains such as
automotive, avionics or robotics. The correctness of a real-time system does not only depend …