Correta!
Métricas para especificar requisitos não funcionais são:
* Tamanho (espaço em disco)
* Velocidade (tempo de
resposta de um programa)
* Facilidade de uso
* Confiabilidade (confiabilidade)
* Robustez
* Portabilidade (browsers em
que o programa pode rodar)
SLA's, que são acordos de níveis de serviços, creio que se encaixam melhor em robustez, que possui como medidas: tempo de reinício após falha, percentual de eventos que causam falhas e probabilidade de corrupção de dados em caso de falha.
Vale lembrar que requisitos não funcionais podem gerar novos requisitos funcionais.
Fonte: Sommerville, 9ª Edição, Capítulo 4.