A Doymus distribui produtos de desenvolvimento de software. Além disso, fornece formação e serviços de consultoria para apoiar a certificação de sistemas críticos. A Doymus trabalha com as principais empresas mundiais de segurança funcional.
Ecossistema de aviónica:
DO-178C, DO-254 e ARP 4754A
Curso de formação online, ministrado em inglês
14 a 17 de setembro de 2026
Horário:
das 13h30 às 18h00 (CET – Madrid, Paris)
das 4h30 às 9h00 (PDT – Los Angeles)
14 a 17 de setembro de 2026
Horário:
das 13h30 às 18h00 (CET – Madrid, Paris)
das 4h30 às 9h00 (PDT – Los Angeles)
em linha
Ecossistema de aviónica:
DO-178C, DO-254 e ARP 4754A
Curso presencial, ministrado em inglês
16 a 18 de novembro de 2026
Horário e local:
das 9h00 às 18h00 (CET - Madrid)
Networkia Castellana, 28046 Madrid
16 a 18 de novembro de 2026
Horário e local:
das 9h00 às 18h00 (CET - Madrid)
Networkia Castellana, 28046 Madrid
no local
Ferramentas de desenvolvimento de software
Especificação dos requisitos
- Análise de risco PHA integrada → Requisitos de segurança
- Importação de requisitos → Portas, Word, Excel, etc.
- Rastreabilidade dos requisitos → Casos de teste
- Verificação dos requisitos semânticos
Código fonte
Ambientes de desenvolvimento cruzado e sistemas operativos em tempo real:
- Compiladores C/C++ e Ada
- Depurador Multi-Core (passo para a frente / passo para trás)
- Sondas de depuração HW
Análise de pilha e WCET
Análise Estática do Código Fonte/Binário:
- Eliminação de erros de tempo de execução
- Controlo do fluxo / Análise do fluxo de dados
- Análise do Tempo de Execução (WCET)
- Análise da memória de pilha
Detecção de Vulnerabilidade
Análise Estática do Código Fonte/Binário:
- CodeSonar: Vulnerabilidades no código-fonte em C/C++, Rust, Java e Python.
- CodeSentry: Vulnerabilidades «N-day» e «Zero-day» no código binário
Otimização em tempo de execução
Aplicações de tempo crítico: análise de código C/C++/Fortran, em que o desempenho é fundamental para a vantagem competitiva.
- Seleção das regras de otimização a utilizar
- A deteção automática do código fonte deve ser melhorada
- Criação de uma nova versão do código-fonte optimizado
Cursos de formação
Cursos ministrados pelos melhores consultores internacionais na área(Subject Matter Experts),
com experiência em projectos desenvolvidos nos cinco continentes.
Normas de segurança
Desenvolvimento de software
Curso de engenharia de requisitos de acordo com a norma DO-178C
Como redigir melhores requisitos
Curso Python para testadores
Verificação de software. Automatização de testes utilizando scripts Python.
Modelos de prestações de serviços de certificação aeroespacial
DO-178C
DO-278A
DO-254
ED-12C
ED-109A
ED-80
ARP 4754A
Modelos de:
- Planos de sistema, hardware e software
- Normas de requisitos de software, conceção, código-fonte
- Normas de requisitos de hardware, conceção, código HDL, verificação
- Normas da lista de controlo
Consultoria de apoio à certificação
- Serviço de Consultoria de Certificação
- Realização de Planos, Normas e Listas de Controlo
- Revisão dos Documentos de Certificação
- Apoio à Resolução de Não-Conformidades
Os nossos clientes
podes ser o próximo 👀
