| Nome: | Descrição: | Tamanho: | Formato: | |
|---|---|---|---|---|
| 3.96 MB | Adobe PDF |
Autores
Orientador(es)
Resumo(s)
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.
Descrição
Palavras-chave
Comboio Ferrovia Teste de Componentes TCMS Sistemas Críticos