Os nossos parceiros
Os nossos parceiros
Orgulho em distribuir os vossos produtos e serviços
.
Num ambiente industrial cada vez mais complexo, em que as tecnologias evoluem muito rapidamente, é essencial confiar em parceiros tecnológicos especializados que proporcionem experiência e conhecimento.
Graças a eles, podemos oferecer uma vasta gama de produtos e serviços que cobrem quase todo o domínio da Engenharia de Sistemas e da Engenharia de Software.
O nosso objetivo, tal como o dos nossos clientes, é estabelecer relações a longo prazo em que possamos trazer valor local e receber a sua visão e experiência globais.
A Absint fornece ferramentas de análise de código estático. Baseadas em métodos matemáticos de verificação formal, permitem demonstrar a ausência de erros de tempo de execução, erros de stack overflow e a análise do tempo de execução do pior caso. Permitem também a análise do fluxo de dados/controlo. São ferramentas essenciais para a verificação dos requisitos não funcionais do sistema.
A AFuzion é líder em serviços de formação e de apoio à certificação aeronáutica segundo as normas ARP-4754, ARP-4761, DO-178C, DO-254, DO-326A, etc. No âmbito dos serviços de certificação, são fornecidos modelos e listas de controlo para a revisão dos Planos, Normas e Documentos de Especificação exigidos pelas normas aeronáuticas.
