Desenvolvimento formal de um sistema de sinalização ferroviária de acordo com o normativo CENELEC usando o SCADE

Os sistemas informáticos do sector ferroviário regem-se pelas normas EN 50126 - Railway Applications: The specification and demonstration of Reability, Avaiability, Maintainnability and Safety (RAMS), EN 50128 Railway Applications: Software1 for railway control and protection systems e EN 50129 - Ra...

ver descrição completa

Detalhes bibliográficos
Autor principal: Costa, Henrique (author)
Formato: masterThesis
Idioma:por
Publicado em: 2015
Assuntos:
Texto completo:http://hdl.handle.net/10400.6/3746
País:Portugal
Oai:oai:ubibliorum.ubi.pt:10400.6/3746