Qual atributo de dependabilidade é definido como a probabilidade de um sistema executar sua função pretendida, sem falhas, durante um intervalo de tempo especificado?