Schedulability analysis - Open Access .click

Results 181 to 190 of about 2,490 (199)

Some of the next articles are maybe not open access.

Formal Modeling for a Real-Time Scheduler and Schedulability Analysis

2003
The reliability of safety-critical embedded real-time system depends partly on that of the system design. Because of this, formal methods have been adopted in the design phase of developing such systems, and various kinds of formal methods have been introduced and used in practice.
Sung-Jae Kim, Jin-Young Choi
openaire +1 more source

An analysis of EDF schedulability on a multiprocessor

IEEE Transactions on Parallel and Distributed Systems, 2005
A new schedulability test is derived for preemptive deadline scheduling of periodic or sporadic real-time tasks on a single-queue m-server system. The new test allows the task deadline to be more or less than the task period, and is based on a new analysis concept, called a /spl mu/-busy interval. This generalizes a result of Goossens et al.
openaire +1 more source

Improved Low Time-Complexity Schedulability Test for Nonpreemptive EDF on a Multiprocessor

IEEE Embedded Systems Letters, 2022
Jinkyu Lee
exaly

A Comparative Study on the Schedulability of the EDZL Scheduling Algorithm on Multiprocessors

Applied Sciences (Switzerland), 2023
Sangchul Han, Woojin Paik, Minkyu Park +2 more
exaly

Rethinking Tractability for Schedulability Analysis