Máquinas de hemodiálise controlam bombas de sangue, heparina e sensores ópticos de bolhas de ar. Perder o prazo de um sensor de bolhas pode causar embolia fatal. Este estudo valida o escalonamento em RTOS sob IEC 60601-2-16.
A detecção de bolhas de ar roda como interrupção de máxima prioridade, acionando grampos mecânicos em menos de 1,2 ms após a detecção acústica.
Bombas de ultrafiltração e condutividade operam em fatias fixas de tempo, matematicamente verificadas contra condições de corrida por Redes de Petri.