DEPENDABLE COMPUTATION FOR CRITICAL INFRASTRUCTURE