O Departamento de Engenharia Informática (DEI) do Instituto Superior de Engenharia do Porto (ISEP), numa iniciativa conjunta com o Mestrado em Engenharia de Sistemas Computacionais Críticos (MESCC), convida à participação no seminário “Critical Computing Series: Development of safety-critical systems for Railway”, que terá lugar no dia 8 de novembro, às 19h na sala B401.
Resumo
O seminário abordará o desenvolvimento de sistemas críticos para a segurança no contexto dos transportes. Será apresentada uma breve introdução aos produtos de sinalização ferroviária SIL4 (Nível de Integridade de Segurança 4), de acordo com as normas ferroviárias. Também será analisado o processo de desenvolvimento e certificação dos produtos de sinalização ferroviária ao longo do ciclo de vida de desenvolvimento: gestão de requisitos, design, implementação, verificação e validação.
Orador
João Martins entrou na indústria ferroviária para trabalhar com produtos de Sinalização, motivado pelo interesse em métodos formais e no desenvolvimento de sistemas críticos para a segurança. Iniciou a sua carreira realizando atividades de verificação e validação. Mais tarde, mudou-se para o desenvolvimento de sistemas de software, onde tem estado envolvido no desenvolvimento de software para vários produtos na área ferroviária, bem como participado na implementação de diversos projetos internacionais. Atualmente, é responsável pela arquitetura de software para a área de Transportes da Efacec.
Organização
Este webinar é organizado pelo QTDEI, em colaboração com o Mestrado em Engenharia de Sistemas Computacionais Críticos (MESCC) do Instituto Superior de Engenharia do Porto (ISEP).