Results 41 to 50 of about 2,490 (199)
Energy-Efficient Mixed-Criticality Multicore Systems
IEEE AccessBalancing energy efficiency with stringent timing guarantees in real-time mixed-criticality systems (MCS) is a key challenge, especially in multicore architectures.
Fayyaz Ali +6 more
doaj +1 more source
Probabilistic schedulability analysis
, 2017 International audienceThe classical model of a real-time system consists of a number of tasks, each of which has an execution time which is upper bounded by a constant, referred to as the Worst-Case Execution Time (WCET).
Cucu-Grosjean, Liliana +2 more
core +3 more sources
Component-Based Mixed-Criticality Real-Time Scheduling on a Single Processor System
IEEE AccessThis paper focuses on a two-level hierarchical system with dual-criticality components scheduled on a single processor. To address the independent scheduling of mixed-criticality (MC) components using fixed-priority (FP) servers, we introduce the mixed ...
Dandi Ma
doaj +1 more source
IEEE Access, 2020 This paper focuses on semi-partitioned cyclic executives for mixed-criticality multiprocessor systems in the case of which a job can be split and execute on different processors, this strategy incorporates most of the advantages of the fully partitioned ...
Fengxiang Zhang
doaj +1 more source
A Compositional Approach for Schedulability Analysis of Distributed Avionics Systems [PDF]
Electronic Proceedings in Theoretical Computer Science, 2018 This work presents a compositional approach for schedulability analysis of Distributed Integrated Modular Avionics (DIMA) systems that consist of spatially distributed ARINC-653 modules connected by a unified AFDX network. We model a DIMA system as a set
Pujie Han +3 more
doaj +1 more source
Probabilistic analysis for scheduling with conflicts
Theoretical Computer Science, 2008 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Irani, Sandy, Leung, Vitus J.
openaire +4 more sources
Operating room scheduling data base analysis for scheduling [PDF]
Journal of Medical Systems, 1988 A methodology to determine and maintain the schedule times used in a computer-based OR Scheduling System is presented. State-of-the-art equations to be used for different scheduling situations are presented and discussed with the attendant data base reduction methodology to provide the scheduling parameters.
Hancock, Walton M. +3 more
openaire +3 more sources
New schedulability analysis for WiDom [PDF]
, 2010 WiDom is a wireless prioritized medium access control (MAC) protocol which offers a very large number of priority levels. Hence, it brings the potential for employing non-preemptive static-priority scheduling and schedulability analysis for a ...
Vahabi, Maryam, Andersson, Björn
core
From Instantaneous Schedulability to Worst Case Schedulability: A Significant Moment Approach
, 2021 The method of significant moment analysis has been employed to derive instantaneous schedulability tests for real-time systems. However, the instantaneous schedulability can only be checked within a finite time window.
Yao, Ningshi, Zhang, Fumin
core +1 more source
IEEE Access, 2020 Time-Critical systems are both complex and critical. Therefore, thorough verification processes of such systems must be performed, including behavior and timing correctness.
Imene Ben Hafaiedh, Maroua Ben Slimane
doaj +1 more source