The Department of Informatics Engineering (DEI) of the "Instituto Superior de Engenharia do Porto” (ISEP), in collaboration with the Master’s in Critical Computing Systems Engineering (MESCC), invites to attend the lecture with the theme "Critical Computing Series: Development of safety-critical systems for Railway", that will take place on November 8th, at 7 p.m., in room 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. 

Bio 

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. 

Organization 

This webinar is organized by QTDEI, in collaboration with the Master’s in Engineering for Critical Computing Systems (MESCC) of the "Instituto Superior de Engenharia do Porto” (ISEP).