Publication
Desenvolvimento formal de um sistema de sinalização ferroviária de acordo com o normativo CENELEC usando o SCADE
| dc.contributor.advisor | Sousa, Simão Patrício Melo de | |
| dc.contributor.advisor | Roboredo, Luís | |
| dc.contributor.author | Costa, Henrique | |
| dc.date.accessioned | 2015-07-21T10:18:37Z | |
| dc.date.available | 2015-07-21T10:18:37Z | |
| dc.date.issued | 2009 | |
| dc.date.submitted | 2009-06 | |
| dc.description.abstract | 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 - Railway Applications: Safety related electronic systems for signalling. Nomeadamente a norma EN 50128, que se refere ao desenvolvimento de software, apresenta um conjunto de recomendações e uma metodologia, com base num ciclo de desenvolvimento em V, para assegurar a correcção do software e a confiança neste. De facto, a norma EN 50128 não impõe nenhuma técnica ou ferramenta na concepção do software pretendido. Assim, a metodologia de desenvolvimento e a selecção das ferramentas fica à responsabilidade da entidade que concebe o software estando esta apenas sujeita à certificação segundo a referida norma. Dependendo do sistema em desenvolvimento, a norma EN 50128 classifica o software em 5 níveis de integridade e segurança (Safety Integrity Level (SIL)), onde o nível mais baixo é o 0 (SIL0) e corresponde a software onde não existem consequências numa eventual falha, e o nível mais alto é o 4 (SIL4) onde uma falha do software tem um impacto catastrófico. Nos níveis 3 e 4 da tabela SIL, a norma EN 50128 recomenda vivamente a utilização de métodos formais na fase de especificação do software. O Safety Critical Application Development Environment (SCADE) Suite 6.0 é uma plataforma para o desenvolvimento de sistemas críticos. Integra um conjunto de ferramentas, para especificação, verificação e análise de modelos, e é certificada pela CENELEC EN 50128 até ao nível 4 da tabela SIL. Foi utilizada, neste trabalho, não só para especificar o sistema, mas também, para o verificar e provar a sua correcção. Para além de apresentar uma metodologia, com base na ferramenta formal SCADE, aplicável no desenvolvimento de sistemas ferroviários, este documento evidencia, com uma aplicação prática, a aplicabilidade do método. O caso de estudo utilizado é um sub-sistema de um sistema de sinalização completo, mais precisamente, uma Passagem de Nível (PN). | por |
| dc.identifier.uri | http://hdl.handle.net/10400.6/3746 | |
| dc.language.iso | por | por |
| dc.subject | Transporte ferroviário - Sinalização - Normas Europeias | por |
| dc.subject | Transporte ferroviário - Sinalização - Software | por |
| dc.subject | Sistemas de sinalização - Gestão - Software | por |
| dc.title | Desenvolvimento formal de um sistema de sinalização ferroviária de acordo com o normativo CENELEC usando o SCADE | por |
| dc.type | master thesis | |
| dspace.entity.type | Publication | |
| rcaap.rights | openAccess | por |
| rcaap.type | masterThesis | por |
| thesis.degree.discipline | Engenharia Informática | por |
| thesis.degree.level | Mestre | por |
| thesis.degree.name | Dissertação apresentada à Universidade da Beira Interior para a obtenção do grau de mestre em Engenharia Informática | por |