Probabilistic schedulability analysis of harmonic multi-task systems with dual-modular temporal redundancy

DOI10.1023/B:TIME.0000016130.91111.75zbMATH Open1101.68417OpenAlexW2058026129MaRDI QIDQ704780FDOQ704780

Authors: Jae-Kwon Kim, Byung Kook Kim 

Publication date: 19 January 2005

Published in: Real-Time Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/b:time.0000016130.91111.75

Recommendations

• Schedulability Analysis of Hierarchical Real-Time Systems under Shared Resources
• Schedulability analysis for multi-core systems accounting for resource stress and sensitivity
• Stochastic analysis of real-time systems under preemptive priority-driven scheduling
• Schedulability analysis of non-preemptive strictly periodic tasks in multi-core real-time systems
• Scheduling with uncertain processing times in mixed-criticality systems
• Probabilistic analysis of scheduling precedence constrained parallel tasks on multicomputers with contiguous processor allocation
• Precautious-RM: a predictable non-preemptive scheduling algorithm for harmonic tasks
• Schedulability Analysis for Real-Time Task Set on Resource with Performance Degradation and Dual-Level Periodic Rejuvenations
• Composition of Schedulability Analyses for Real-Time Multiprocessor Systems

zbMATH Keywords

Fault toleranceDMTRDMTR-HPoptimal number of subslotsprobabilistic schedulability

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20)

Cited In (6)

• Energy efficient redundant configurations for real-time parallel reliable servers
• Optimal checkpoint placement on real-time tasks with harmonic periods
• Design and analysis of an optimal instruction-retry policy for TMR controller computers
• Quantifying the resiliency of fail-operational real-time networked control systems
• Formal assessment of reliability specifications in embedded cyber-physical systems
• Probabilistic optimisation of checkpoint intervals for real-time multi-tasks

This page was built for publication: Probabilistic schedulability analysis of harmonic multi-task systems with dual-modular temporal redundancy

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q704780)