Critical embedded systems