Probabilistic schedulability analysis of harmonic multi-task systems with dual-modular temporal redundancy
From MaRDI portal
Publication:704780
DOI10.1023/B:TIME.0000016130.91111.75zbMath1101.68417OpenAlexW2058026129MaRDI QIDQ704780
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
Related Items (3)
Optimal checkpoint placement on real-time tasks with harmonic periods ⋮ 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
