Curso de Certificação de Software Militar ISO
Curso online de 300 horas em certificação de software militar ISO. 6 módulos que abordam a DO-178C (software em sistemas aeronáuticos), a ISO/IEC/IEEE 12207 (processos do ciclo de vida do software) e o IBM Engineering Requirements Management DOORS. Tutor atribuído e inscrição aberta.
Curso de Certificação de Software Militar ISO — estudar a partir de Portugal
O setor da defesa em Portugal integra empresas como a OGMA, a Empordef e a Edisoft, além de uma base industrial de sistemas eletrónicos e de comunicações ligada às Forças Armadas. A engenharia militar e de sistemas terrestres exige rigor em normalização, interoperabilidade com a NATO e segurança de informação. As referências institucionais incluem o Ministério da Defesa Nacional e a Direção-Geral de Recursos da Defesa Nacional, com oportunidades em projetos de aquisição e modernização de equipamentos.
Propinas para Portugal: 448 € (Euro), com prestações e patrocínio empresarial disponíveis.
Entidades competentes em Portugal
Funções típicas
Perguntas a partir de Portugal
Esta formação conta para concursos ou carreiras nas Forças Armadas portuguesas?
Os concursos e carreiras nas Forças Armadas e na defesa são regulados pelo Estado e exigem habilitações oficiais definidas em cada procedimento. A SEIUM oferece qualificações privadas que não são graus oficiais, pelo que não podem ser assumidas como cumprimento desses requisitos. Deve verificar sempre as condições do concurso específico.
Que empresas e entidades em Portugal atuam em engenharia de defesa e sistemas terrestres?
Em Portugal atuam empresas de defesa e indústria de sistemas, fornecedores das Forças Armadas e entidades de investigação ligadas ao setor. Estas organizações avaliam a experiência, a credenciação de segurança quando aplicável e os projetos técnicos. Uma formação privada pode ser relevante como complemento, sem garantia de reconhecimento.
Posso seguir o curso a partir de casa e sem visto de estudante?
Sim. A formação é 100% online e em inglês, pelo que não é necessário visto de estudante para a seguir a partir de casa. Tem tutor técnico atribuído e carga de 300, 800 ou 1900 horas consoante o programa. Recomenda-se planear o tempo de estudo e confirmar com a SEIUM as condições de pagamento e de apoio.
Assuma o controle.
Enfrente um verdadeiro trade-off de engenharia deste campo. Mova os controlos deslizantes, acompanhe o modelo reagir em tempo real e vença o desafio.
O que você será capaz de fazer
Identificar as particularidades do software em sistemas de defesa.
Aplicar as normas de ciclo de vida de software e de sistemas.
Relacionar os níveis de criticidade com os objetivos de certificação.
Integrar requisitos de cibersegurança no desenvolvimento de software.
Planear atividades de verificação com rastreabilidade completa.
Preparar evidências para uma auditoria de certificação.
Desenvolver um plano que abranja os aspetos de certificação de software.
Para quem é
- Engenheiro de certificação de software que pretende especializar-se em certificação de software militar ISO.
- Engenheiro de garantia da qualidade de software que pretende especializar-se em certificação de software militar ISO.
- Auditor de processos de software que pretende especializar-se em certificação de software militar ISO.
- Engenheiro de verificação e validação que pretende especializar-se em certificação de software militar ISO.
- Engenheiro de segurança funcional que pretende especializar-se em certificação de software militar ISO.
- Gestor de configuração de software que pretende especializar-se em certificação de software militar ISO.
- Licenciados em engenharia ou ciências que pretendem entrar na indústria de defesa.
Com o que você vai trabalhar
- DO-178C (software em sistemas aeronáuticos)
- ISO/IEC/IEEE 12207 (processos do ciclo de vida do software)
- AQAP 2210 (requisitos de qualidade de software da NATO)
- ISO/IEC/IEEE 15288 (processos do ciclo de vida do sistema)
- IEC 61508-3 (segurança funcional: software)
- MIL-STD-882E (segurança de sistemas)
- ISO/IEC 15408 (Common Criteria)
6 módulos · 300 h
1.1Características do software embebido militar1.2Níveis de criticidade e de integridade1.3Ciclos de vida em V e desenvolvimento iterativo1.4Requisitos funcionais e não funcionais1.5Rastreabilidade entre requisitos, código e testes1.6Gestão de configuração de software1.7Software COTS e de terceiros1.8Software legado e obsolescência1.9Linguagens seguras: Ada, SPARK, MISRA C1.10Oficina: matriz de rastreabilidade de requisitos
2.1ISO/IEC/IEEE 12207: processos de software2.2ISO/IEC/IEEE 15288: processos de sistema2.3NATO AQAP-2110 e AQAP-22102.4AQAP-2310 no setor aeroespacial2.5Relação com a AS9100 e a ISO 90012.6Planos de qualidade de software2.7Revisões técnicas e auditorias2.8Testes segundo a ISO/IEC/IEEE 291192.9Avaliação de capacidades com CMMI2.10Caso de estudo: plano de garantia ao abrigo da AQAP-2210
3.1DO-178C e níveis DAL A-E3.2Objetivos e evidências da DO-178C3.3Suplementos DO-330, DO-331, DO-332 e DO-3333.4DO-254 para hardware complexo3.5IEC 61508 e níveis SIL3.6MIL-STD-882E: segurança de sistemas3.7Def Stan 00-55 e 00-563.8Cobertura estrutural MC/DC3.9Qualificação de ferramentas3.10Prático: análise de cobertura MC/DC
4.1ISO/IEC 27001 em organizações de defesa4.2ISO/IEC 15408 (Common Criteria)4.3Níveis EAL e perfis de proteção4.4ISO/IEC 18045: metodologia de avaliação4.5Esquema nacional de certificação CCN4.6DO-326A e ED-202A: segurança para a navegabilidade4.7Desenvolvimento seguro e análise estática4.8Gestão de vulnerabilidades e de correções4.9Cadeia de fornecimento de software (SBOM)4.10Laboratório: análise estática de código com regras MISRA
5.1Planos para os Aspetos de Software da Certificação (PSAC)5.2Interação com a autoridade de certificação5.3Testes unitários, de integração e de sistema5.4Testes de robustez e casos-limite5.5Métodos formais e prova5.6Gestão de não conformidades5.7Sumário de Cumprimento do Software (SAS)5.8Recertificação após modificações5.9Lições de incidentes de software5.10Caso de estudo: auditoria simulada de um pacote de evidências
6.1Seleção de um sistema de software para estudo6.2Determinação do nível de criticidade6.3Seleção do enquadramento regulamentar aplicável6.4Plano de garantia e de certificação6.5Definição de evidências e rastreabilidade6.6Estratégia de verificação6.7Análise de lacunas de conformidade6.8Plano de ações corretivas6.9Relatório e apresentação6.10Revisão final com o tutor
Como você vai aprender
A formação é 100% online no campus da SEIUM, com material para descarregar, aulas gravadas e um tutor técnico atribuído. Não existem horários fixos: o estudante avança ao seu próprio ritmo dentro da sua turma, o que permite conciliar o estudo com o trabalho.
Cada módulo combina teoria, leitura orientada da norma original e exercícios aplicados. O software de trabalho é o IBM Engineering Requirements Management DOORS, Polyspace, SonarQube, Klocwork, Jenkins, em versões gratuitas, académicas ou de avaliação. Os casos de estudo baseiam-se em procedimentos reais de auditoria de certificação de software, revisões de rastreabilidade entre requisitos, código e testes, e análise estática de código. A avaliação é contínua ao longo de cada módulo, além do projeto integrador final.
Desenvolva do início ao fim
O seu projeto final segue o fluxo de trabalho real da engenharia, passo a passo, revisto pelo seu tutor.
Identificar as particularidades do software em sistemas de defesa.
Aplicar as normas de ciclo de vida de software e de sistemas.
Relacionar os níveis de criticidade com os objetivos de certificação.
Integrar os requisitos de cibersegurança no desenvolvimento de software.
Planear as atividades de verificação com rastreabilidade completa.
Aonde isso pode levar você
Requisitos
- Não é necessária uma licenciatura prévia.
- Ligação à internet e um computador capaz de executar o software do programa.
- Inglês suficiente para acompanhar a documentação técnica das normas.
Pronto para começar?
Envie a sua candidatura hoje. A nossa equipa de admissões responde em 72 horas com o seu plano de estudos e as opções de financiamento.
Perguntas frequentes
O programa totaliza 300 horas, distribuídas por 3 a 5 meses. Isto corresponde a uma média de 10 a 15 horas por semana, compatível com um emprego a tempo inteiro.
Vai trabalhar com IBM Engineering Requirements Management DOORS, Polyspace, SonarQube, Klocwork, Jenkins. Utilizam-se versões gratuitas, académicas ou de avaliação, e o tutor indica a alternativa gratuita sempre que esta exista.
O diploma próprio do SEIUM após a aprovação na avaliação contínua e no projeto integrador. Trata-se de formação interna, não de uma qualificação oficial do Ministério.
Sim. Os módulos aprovados num curso ou numa Pós-Graduação na mesma área são reconhecidos para o programa de nível superior. Consulte a política de reconhecimento no momento da inscrição.
Programas relacionados
Curso de Ética em Laboratórios de Defesa Universitários
Curso online de 300 h em ética em laboratórios de defesa universitários. 6 módulos com a Lei 9/1968 (Segredo Oficial), o Regulamento (UE) 2021/821 (controlo de…
Curso de Ética na Monitorização por Satélite de Recursos Naturais
Curso online de 300 horas sobre ética na monitorização por satélite de recursos naturais. 6 módulos que abrangem o Regulamento (UE) 2021/696 (Programa Espacial da UE…
Curso Básico em UAV e UGV
Curso online de 300 horas em fundamentos académicos de UAV e UGV. 6 módulos que abrangem o Regulamento de Execução (UE) 2019/947 (operações de UAS), o…
Mais em Defesa, Engenharia Militar e Sistemas Terrestres
Todos os programas de Defesa, Engenharia Militar e Sistemas Terrestres → · Como candidatar-se · Propinas e financiamento · Bolsas