That's nearly perfect James - a really quick overview on tons of papers. Thanks.
What do you think of probabilistic theory and system/OS controllable scheduling of sequential/parallel execution (actually fault tolerant) where instead of check pointing it relies on voting of SM responses, where a whole application is divided on several functionality-completed SMs; and missed deadlines of application parts are just a subset of covered faults (most of its faulty semantic hardened up to timing and/or crash failure semantics). As a result, it achieves a predictable HRT with a given reliability. rgs, alex -- [email protected] mailing list
