Pages that link to "Item:Q704780"
From MaRDI portal
The following pages link to Probabilistic schedulability analysis of harmonic multi-task systems with dual-modular temporal redundancy (Q704780):
Displaying 5 items.
- Formal assessment of reliability specifications in embedded cyber-physical systems (Q334152) (← links)
- Energy efficient redundant configurations for real-time parallel reliable servers (Q833043) (← links)
- Optimal checkpoint placement on real-time tasks with harmonic periods (Q2637266) (← links)
- Probabilistic optimisation of checkpoint intervals for real-time multi-tasks (Q2858026) (← links)
- Quantifying the Resiliency of Fail-Operational Real-Time Networked Control Systems (Q5140801) (← links)