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.

Doymus
Caminhamos ao vosso lado
Software & Hardware
ferramentas de desenvolvimento e serviços de consultoria
Doymus
Caminhamos ao seu lado.
Software & Hardware
ferramentas de desenvolvimento
e serviços profissionais
Doymus
Caminhamos ao seu lado.
Software & Hardware
ferramentas de desenvolvimento
e serviços profissionais
Doymus
Caminhamos ao seu lado.
Software & Hardware
ferramentas de desenvolvimento
e serviços profissionais
Doymus
Caminhamos ao seu lado.
Software & Hardware
ferramentas de desenvolvimento
e serviços de consultoria
Doymus
Caminhamos ao seu lado.
Software & Hardware
ferramentas de desenvolvimento
e serviços de consultoria
Doymus
Caminhamos ao seu lado.
Software & Hardware
ferramentas de desenvolvimento
e serviços de consultoria

Próximos cursos

Ecossistema de aviónica:
DO-178C, DO-254 e ARP 4754A

Curso de formação presencial, ministrado em inglês
Madrid, 15 - 17 de abril de 2024
Horário:
das 9:00 às 18:00 (CET - Madrid)
no local

Engenharia de requisitos
de acordo com DO-178C

Curso de formação presencial, ministrado em espanhol
Madrid, 25 - 28 de junho de 2024
Horário:
das 9:00 às 14:00 (CET - Madrid)
no local

Ecossistema de aviónica:
DO-178C, DO-254 e ARP 4754A

Curso de formação em linha, ministrado em inglês
17 a 20 de junho de 2024
Hora:
15:30 a 20:00 horas (CET - Madrid)
6:30 a 11:00 horas (PDT - Los Angeles)
em linha

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

Curso de certificação aeronáutica

DO-178C, DO-254
SAIBA MAIS

Curso de certificação ferroviária

CENELEC-EN-50128/6/9​
SAIBA MAIS

Curso de certificação automóvel

ISO 26262​
SAIBA MAIS

Desenvolvimento de software

Curso de engenharia de requisitos

Técnicas para melhorar a especificação dos requisitos

Curso Python para testadores

Verificação de software. Automatização de testes utilizando scripts Python.

Curso de engenharia de sistemas

Modelação de sistemas complexos em tempo real

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

Os nossos clientes

podes ser o próximo 👀

Subscrever a nossa newsletter