Certificação ferroviária EN 50128, EN 50126, EN-50129
Curso de formação
Este é um curso de formação que oferecemos em modo presencial conjuntamente entre a SILAS e a Doymus sobre as normas CENELEC EN-50128, EN-50126 e EN-50129. Pode ser combinado com o serviço de Gap Analysis para obter informação sobre os processos, métodos e ferramentas que temos de adquirir ou melhorar para abordar projectos certificáveis segundo as normas CENELEC.
O curso está distribuído em 3 sessões de 8 horas, combinando uma parte teórica leccionada em inglês e outra parte com um estudo de caso leccionado em espanhol, centrado na parte de software, onde são mostradas diferentes ferramentas e exemplos de requisitos, conceção, análise estática e testes.
O Formador
Jean Louis Boulanger
Jean Louis Boulanger é doutorado em informática e tem mais de 20 anos de experiência no desenvolvimento e validação de aplicações ferroviárias.
É um formador reconhecido em certificação ferroviária e automóvel. Publicou mais de dez livros sobre: métodos formais de verificação de software, segurança de sistemas informáticos, análise de código estático.
É autor do livro: Normas CENELEC 50128 e IEC 62279.
Agenda
Estrutura CENELEC
Conceitos RAMS
Ciclo de segurança:
Do conceito ao desmantelamento
Etapas com objectivos e entradas/saídas
Processo de afetação de eventos THR e temidos ao Software SIL
Análise de segurança
Documentos obrigatórios
Casos de segurança
Produto genérico
Aplicação genérica
Aplicação específica
Apresentação do caso Safey
Gestão da qualidade
Gestão da segurança
Provas técnicas de segurança
Utilização de produto certificado
Aceitação cruzada
Avaliação e certificação
Organização e funções
Gestão da segurança
Garantia de software
Gestão da qualidade
Gestão de competências
V-Cycle
Verificação e validação
Qualificação de ferramentas
Avaliação do software
Componentes de software
Desenvolvimento de software genérico
Especificação de requisitos
Arquitetura de software
Conceção de software
Ensaio de componentes
Testes de integração (HW/SW e SW/SW)
Teste global de software
Desenvolvimento de software específico
Especificação de dados
Desenvolvimento de processos
Integração
Validação
Implantação
Exemplo
Manutenção e implementação
