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 …
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 …
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
… 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 …
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
… 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 …
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
… 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 …
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 real‐time systems
… 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 …
cases because the sched_setattr system call may be called several times. As mentioned in …
Container-based real-time scheduling in the linux kernel
… 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…
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 …
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
… 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 …
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 times … Scheduling real-time communication in ieee 802.1 qbv time …
will be interested in the times … Scheduling real-time communication in ieee 802.1 qbv time …