Vertesis Software Ltda

Localizada em Florianópolis, Santa Catarina, a Vertesis Software é uma empresa de base tecnológica (spin-off da UFSC) que atua com foco em sistemas de missão crítica. A companhia especializou-se no desenvolvimento de software para o setor de Óleo e Gás, com abrangência nacional e foco em operações de alta complexidade que exigem rigorosos padrões de segurança funcional. A atividade principal da empresa consiste no desenvolvimento de ferramentas para automação de testes de conformidade e verificação formal de lógica de controladores (PLC). O produto principal, VERTsafe, utiliza o protocolo OPC-UA para realizar a verificação 'as-built', garantindo que a lógica programada nos controladores esteja em total conformidade com a Matriz de Causa e Efeito (CEM) documentada. O público-alvo compreende operadoras de óleo e gás, empresas de engenharia de processos e integradoras de sistemas de automação industrial que precisam garantir o cumprimento de normas de segurança funcional (SIL). Os diferenciações técnicas incluem a capacidade de importar matrizes de Excel para o ambiente digital, a execução de testes de cobertura total e a geração de relatórios de intertravamentos para guiar testes de aceitação em campo. A empresa possui um perfil de startup de base científica, com forte DNA de pesquisa acadêmica aplicada, tendo sido selecionada para aceleração pela Petrobras. Sua stack tecnológica é centrada em métodos formais, verificação de software e integração via protocolo OPC-UA.