Maintaining the Feasibility of Hard Real–Time Systems with a Reduced Number of Priority Levels
International Journal of Applied Mathematics and Computer Science, 2015 When there is a mismatch between the cardinality of a periodic task set and the priority levels supported by the underlying hardware systems, multiple tasks are grouped into one class so as to maintain a specific level of confidence in their accuracy ...
Qureshi Muhammad Bilal +4 more
doaj +1 more source
Statistical and exact schedulability analysis of hierarchical scheduling systems
Science of Computer Programming, 2016 Abstract This paper contains two contributions: 1) A development methodology involving two techniques to enhance the resource utilization and 2) a new generic multi-core resource model for hierarchical scheduling systems. As the first contribution, we propose a two-stage development methodology relying on the adjustment of timing attributes in the ...
Abdeldjalil Boudjadar +6 more
openaire +2 more sources
Schedulability Analysis of AADL models
, 2006 The paper discusses the use of formal methods for the analysis of architectural models expressed in the modeling language AADL. AADL describes the system as a collection of interacting components.
Sokolsky, Oleg +8 more
core +1 more source
Fitting Schedulability Analysis Theory into Model-Driven Engineering
, 2008 The theory behind state-of-the-art schedulability analysis has reached such a level of sophistication that its complete mastering by the average industrial practitioner is practically infeasible.
VARDANEGA, TULLIO +2 more
core +1 more source
Schedulability analysis for systems with data and control dependencies [PDF]
, 2000 Is this paper we present an approach to schedulability analysis for hard real-time systems with control and data dependencies. We consider distributed architectures consisting of multiple programmable processors, and the scheduling policy is based on a ...
Pop, Paul, Eles, Petru, Peng, Zebo
core +1 more source
Tighter schedulability analysis of synchronization protocols based on overrun without payback for hierarchical scheduling frameworks [PDF]
, 2011 In this paper, we show that both global as well as local schedulability analysis of synchronization protocols based on the stack resource policy (SRP) and overrun without payback for hierarchical scheduling frameworks based on fixed-priority preemptive ...
Behnam, Moris +11 more
core +1 more source
Weakly Hard Real-Time Model for Control Systems: A Survey. [PDF]
Sensors (Basel), 2023 Salamun K +3 more
europepmc +1 more source
Uma Abordagem de escalonamento heterogêneo preemptivo e não preemptivo para sistemas de tempo real com garantia em multiprocessadores [PDF]
, 2012 Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Engenharia de Automação e SistemasSistemas de tempo real são sistemas onde o correto funcionamento não depende somente da resposta lógica ...
Starke, Renan Augusto
core
Computational-Intelligence-Based Scheduling with Edge Computing in Cyber-Physical Production Systems. [PDF]
Entropy (Basel), 2023 Xia C, Jin X, Xu C, Zeng P.
europepmc +1 more source
Film dance creation practice supported by Cyber Physical System. [PDF]
PLoS One, 2023 Lin Z, Zhang Y.
europepmc +1 more source