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.
e serviços profissionais
e serviços profissionais
e serviços profissionais
e serviços de consultoria
e serviços de consultoria
e serviços de consultoria
Próximos cursos
Ecossistema de aviónica:
DO-178C, DO-254 e ARP 4754A
Madrid, 19 - 21 novembro, 2024
Horário:
das 9:00 às 18:00 (CET - Madrid)
Ecossistema de aviónica:
DO-178C, DO-254 e ARP 4754A
23 a 26 de setembro de 2024
Agendar:
15h30 às 20h00 (CET – Madrid)
6h30 às 11h00 (PDT – Los Angeles)
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
![](https://doymus.com/wp-content/uploads/2022/07/logo-visure-copia-1.png)
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
![](https://doymus.com/wp-content/uploads/2022/07/logo-Green-Hills.jpg)
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
![](https://doymus.com/wp-content/uploads/2022/07/logo-absint.png)
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)
![](https://doymus.com/wp-content/uploads/2022/06/logo-codesecure.png)
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
![](https://doymus.com/wp-content/uploads/2022/06/logo-codee.png)
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
![](https://doymus.com/wp-content/uploads/2022/08/rtca_logo-e1689243702455.png)
DO-178C, DO-278A, DO-254
![](https://doymus.com/wp-content/uploads/2022/08/EUROCAE-logo.jpg)
ED-12C, ED-109A, ED-80
![](https://doymus.com/wp-content/uploads/2022/08/logo-SAE.png)
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
![](https://doymus.com/wp-content/uploads/2022/06/afuzion-logo.png)
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
![](https://doymus.com/wp-content/uploads/2023/09/logo_aertec.png)
![](https://doymus.com/wp-content/uploads/2022/08/logo_airbus.png)
![](https://doymus.com/wp-content/uploads/2022/08/logo_airbus_helicopters.png)
![](https://doymus.com/wp-content/uploads/2022/08/logo_caf.png)
![](https://doymus.com/wp-content/uploads/2022/07/logo-ctag.jpg)
![](https://doymus.com/wp-content/uploads/2022/08/logo_eee.jpg)
![](https://doymus.com/wp-content/uploads/2022/08/logo_embention.png)
![](https://doymus.com/wp-content/uploads/2023/09/logo_enyse.png)
![](https://doymus.com/wp-content/uploads/2022/08/logo-enaire.jpg)
![](https://doymus.com/wp-content/uploads/2023/09/logo_esa.jpg)
![](https://doymus.com/wp-content/uploads/2022/08/logo_ficosa.jpg)
![](https://doymus.com/wp-content/uploads/2022/08/logo_GMV.gif)
![](https://doymus.com/wp-content/uploads/2022/08/logo_gtd.jpg)
![](https://doymus.com/wp-content/uploads/2022/08/logo_indra.jpg)
![](https://doymus.com/wp-content/uploads/2022/08/logo_Ingeteam.jpg)
![](https://doymus.com/wp-content/uploads/2023/09/logo_inta.png)
![](https://doymus.com/wp-content/uploads/2022/08/logo_isdefe.jpg)
![](https://doymus.com/wp-content/uploads/2022/08/logo_johnson_controls.jpg)
![](https://doymus.com/wp-content/uploads/2022/08/logo_lear_corporation.png)
![](https://doymus.com/wp-content/uploads/2023/09/logo_mediapro.jpg)
![](https://doymus.com/wp-content/uploads/2023/09/logo_metro.png)
![](https://doymus.com/wp-content/uploads/2022/08/logo_navantia.png)
![](https://doymus.com/wp-content/uploads/2023/09/logo_qt-group.png)
![](https://doymus.com/wp-content/uploads/2022/07/logo-revenga.jpg)
![](https://doymus.com/wp-content/uploads/2023/09/logo_rolls-royce.jpg)
![](https://doymus.com/wp-content/uploads/2023/09/logo_sainsel.png)
![](https://doymus.com/wp-content/uploads/2022/08/logo_sepsa.jpg)
![](https://doymus.com/wp-content/uploads/2023/09/logo_sener.png)
![](https://doymus.com/wp-content/uploads/2023/09/logo_sice.png)
![](https://doymus.com/wp-content/uploads/2022/07/logo-siemens.png)
![](https://doymus.com/wp-content/uploads/2022/08/logo_Thales.jpg)
![](https://doymus.com/wp-content/uploads/2022/07/logo-tecnobit.png)
![](https://doymus.com/wp-content/uploads/2022/08/logo_UAV_Navigation.png)
![](https://doymus.com/wp-content/uploads/2022/08/Logo_UTC.png)