Critical Computing Series: Development of safety-critical systems for Railway
The Department of Informatics Engineering (DEI) of the Institute of Engineering of Porto (ISEP), in collaboration with the Master in Critical Computing Systems Engineering (MESCC), invites to participate in another seminar "Critical Computing Series: Development of safety-critical systems for Railway", that will take place on 8th November, at 19:00 PM, room B401.
O evento será presencial, na sala B401
Abstract
The seminar will address the development of safety-critical systems in the context of transportation. IT will provide a brief presentation of SIL4 (Safety Integrity Level 4) Railway Signaling products according to railway standards, and analyze the Railway Signaling products’ development and certification processes throughout the development lifecycle: requirements management, design, implementation, verification and validation.
- Oradores
- Data e local
- Inscrições
- Informação Adicional
João Martins entered in the railway industry to work with Signalling products, driven by the interest in formal methods and the development of safety-critical systems. He first started performing verification and validation activities and then moved to the development of software systems where he has been involved in the software development of many products on the railway domain, as well as participated in the commissioning of several international projects. He is currently responsible for the software architecture for Efacec’s Transportation business.
Data: 2024-11-08
Horário: 19h
Local: B401
O evento não necessita de inscrição prévia.
Para mais informações: qtdei@dei.isep.ipp.pt
Organização: This webinar is organized by QTDEI, in collaboration with the Master in Engineering for Critical Computing Systems (MESCC) of the Institute of Engineering of Porto (ISEP).