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.
Próximos cursos
Ecossistema de aviónica:
DO-178C, DO-254 e ARP 4754A
19 a 22 de maio de 2025
Hora:
13:30 a 18:00 horas (CET - Madrid, Paris)
4:30 a 9:00 horas (PDT - Los Angeles)
Ecossistema de aviónica:
DO-178C, DO-254 e ARP 4754A
Madrid, 16 a 18 de junho de 2025
Horário:
9:00 às 18:00 horas
(CET - Madrid)
Verificação de código HDL para FPGAs
30 de junho a 3 de julho de 2025
Hora:
14:00 a 19:00 horas
(CET - Madrid)
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
- Tempo de execução e controlo de empilhamento
Análise do Tamanho da Pilha Necessária
Análise dos piores casos de tempo de execução (WCET)
Controlo do fluxo / Análise do fluxo de dados
Detecção de Vulnerabilidade
Análise Estática do Código Fonte/Binário:
- Detecção de Vulnerabilidade (Teste de Segurança de Aplicações Estáticas)
- Detecção de erros de segurança e segurança
- Análise de Composição de Software Binário (SCA)
- Relatório de Vulnerabilidade de 0 Dias e N Dias
- Software Bill of Materials (SBOM)
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
Curso Python para testadores
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
