Proving real-time capability of generic operating systems by system-aware timing analysis

S Schuster, P Wägemann, P Ulbrich… - … IEEE Real-Time and …, 2019 - ieeexplore.ieee.org
… as our system-aware timing analysis is the tool support for its … timing and schedulability
analyses of such dynamic systems [8… with Real-Time Linux that large round-trip times of iterative …

Survey on periodic scheduling for time-triggered hard real-time systems

A Minaeva, Z Hanzálek - ACM Computing Surveys (CSUR), 2021 - dl.acm.org
Real-time systems comprise not only periodic tasks but also sporadic tasks with unknown
request times. … 2010b], and it is a widely used tool to solve the problems in realtime systems

[HTML][HTML] Integrating formal schedulability analysis into a verified OS kernel

X Guo, M Lesourd, M Liu, L Rieg, Z Shao - … , CAV 2019, New York City, NY …, 2019 - Springer
… Unlike non real-time systems, latency and response time … of real-time OSes usually stops
the scheduling analysis at the … schedulability analysis tool, Prosa, with a verified sequential …

[HTML][HTML] Towards the design of a formal verification and evaluation tool of real-time tasks scheduling of IoT applications

S Ahmad, S Malik, I Ullah, DH Park, K Kim, DH Kim - Sustainability, 2019 - mdpi.com
tools are proposed for traditional real-time systems using desktop technologies, but these
relatively older tools … where the feasibility of real-time remote tasks is perceived. The proposed …

A design and analysis methodology for component-based real-time architectures of autonomous systems

N Gobillot, C Lesire, D Doose - Journal of Intelligent & Robotic Systems, 2019 - Springer
… by a code generation toolchain that ensures that the code … To ensure the schedulability of
the task system described by … The real-time analysis problem has been tackled many times

Timing isolation and improved scheduling of deep neural networks for realtime systems

D Casini, A Biondi, G Buttazzo - Software: Practice and …, 2020 - Wiley Online Library
… We measured the time required to execute such a system call by using the perf 52 tool of …
cases because the sched_setattr system call may be called several times. As mentioned in …

Container-based real-time scheduling in the linux kernel

L Abeni, A Balsini, T Cucinotta - ACM SIGBED Review, 2019 - dl.acm.org
tools such as LXC, Docker and similar. This solution is compatible with existing hierarchical
real-time scheduling analysis, … Figure 1: CDF of the normalised response times obtained us…

Scalable analysis of real-time requirements

V Langenfeld, D Dietsch, B Westphal… - 2019 IEEE 27th …, 2019 - ieeexplore.ieee.org
… -study with the new real-time requirements analysis tool in the … at all times on all computations
of the system we would write … C will depend on the scheduling of these parts. The resulting …

[HTML][HTML] SMT-based bounded schedulability analysis of the clock constraint specification language

M Zhang, F Song, F Mallet, X Chen - International Conference on …, 2019 - Springer
tool and illustrate its utility in schedulability analysis in … time and classical real-time scheduling
algorithms. CCSL has … \(c_1\) must have ticked at least as many times as \(c_2\) has. The …

TSNSCHED: Automated schedule generation for time sensitive networking

ACT dos Santos, B Schneider… - 2019 Formal Methods in …, 2019 - ieeexplore.ieee.org
… We present TSNsched, a tool for automatic generation of … For generating a schedule, we
will be interested in the timesScheduling real-time communication in ieee 802.1 qbv time …