Proteção de sistemas elétricos, automação industrial, medição de energia e cibersegurança de infraestruturas elétricas.
Os trabalhos de harmonização entre o Modelo de Informação Comum (CIM) e a IEC 61850 concentram-se cada vez mais em regras formais que poderão ser processadas diretamente por ferramentas de software. Para as subestações digitais, isso abre caminho para a transformação automática de dados de engenharia e para a verificação automática da consistência entre modelos de diferentes níveis.
Um novo mecanismo de validação de arquivos SCL surge no processo de engenharia da IEC 61850 — o OCL (Object Constraint Language), uma linguagem para descrever formalmente restrições e regras para os objetos do modelo de informação. A especificação técnica IEC TS 61850-6-3, publicada em 2025, define um formato de regras processáveis por máquina que as ferramentas de software podem importar e aplicar ao SCL automaticamente. O XSD só responde à pergunta «o documento XML está bem formado?», ao passo que muitos requisitos da norma dizem respeito às relações entre os objetos do modelo. O OCL permite passar da verificação da correção formal do XML à verificação automatizada de regras de engenharia que antes era preciso interpretar e controlar manualmente.
A validação de esquema XML verifica a estrutura — não pode verificar se uma subscrição GOOSE referencia um conjunto de dados válido ou se um nó lógico contém objetos de dados necessários. A Linguagem de Restrição de Objetos (OCL) preenche essa lacuna. A IEC TS 61850-6-3, publicada em 2025, define como as regras OCL devem ser escritas e aplicadas a arquivos XML IEC 61850, estabelecendo as bases para uma validação SCL consistente e formal entre ferramentas.