Publication
Railway embedded software validation
| datacite.subject.fos | Engenharia e Tecnologia | pt_PT |
| dc.contributor.advisor | Coelho, Paulo Manuel Machado | |
| dc.contributor.advisor | Serra, Pedro Miguel Marques Ferreira | |
| dc.contributor.author | Batista, Afonso da Silva | |
| dc.date.accessioned | 2021-11-05T10:20:17Z | |
| dc.date.available | 2021-11-05T10:20:17Z | |
| dc.date.issued | 2021 | |
| dc.date.submitted | 2021-06 | |
| dc.description.abstract | Este relatório/dissertação foi desenvolvido no âmbito do Curso de Mestrado em Engenharia Eletrotécnica, e para a Unidade Curricular de Estágio, e representa o trabalho desenvolvido na empresa Critical Software, no âmbito do projeto interno Railway Embedded Software Validation na área de Component Testing. No projeto em que está envolvido este estágio, visa-se testar componentes do sistema de controlo do comboio (Luzes, Travagem, ...), ou seja, testar se uma das partes dos componentes está a funcionar dentro dos parâmetros exigidos e/ou estabelecidos. Para isso foi necessário passar por um processo de aprendizagem com várias etapas, entre as quais se podem destacar: - como funcionam os comboios; - como são aplicadas as normas; - como são descritos os requisitos necessários para que os comboios funcionem dentro dos parâmetros de segurança. Com isso em perspetiva, foram realizadas atividades de verificação formal, com objetivo fazer a especificação e desenvolvimento dos diversos níveis de teste o sistema. Alguns dos sistemas estudados foram de tração, sistema de travagem, controlos do motorista e de diagnóstico. | pt_PT |
| dc.identifier.tid | 202771164 | pt_PT |
| dc.identifier.uri | http://hdl.handle.net/10400.26/37899 | |
| dc.language.iso | eng | pt_PT |
| dc.subject | Comboio | pt_PT |
| dc.subject | Ferrovia | pt_PT |
| dc.subject | Teste de Componentes | pt_PT |
| dc.subject | TCMS | pt_PT |
| dc.subject | Sistemas Críticos | pt_PT |
| dc.title | Railway embedded software validation | pt_PT |
| dc.title.alternative | component testing | pt_PT |
| dc.type | master thesis | |
| dspace.entity.type | Publication | |
| rcaap.rights | openAccess | pt_PT |
| rcaap.type | masterThesis | pt_PT |
| thesis.degree.grantor | Instituto Politécnico de Tomar | |
| thesis.degree.name | Mestrado em Engenharia Eletrotécnica | pt_PT |
Files
Original bundle
1 - 1 of 1
No Thumbnail Available
- Name:
- Relatório_Estágio_Afonso_Batista_28_7_21.pdf
- Size:
- 3.96 MB
- Format:
- Adobe Portable Document Format