Verificación y encapsulamiento de test para codificación en PLC en la empresa Stadler
[ES] La empresa Stadler actualmente diseña, desarrolla, verifica y valida sistemas de control para sus vehículos ferroviarios. El objetivo de esta tesina es familiarizarse con el software y las técnicas propias del mundo ferroviario para la verificación y encapsulamiento de test para codificación de...
| Autor: | |
|---|---|
| Tipo de recurso: | tesis de maestría |
| Fecha de publicación: | 2016 |
| País: | España |
| Institución: | Universitat Politècnica de València (UPV) |
| Repositorio: | RiuNet. Repositorio Institucional de la Universitat Politécnica de Valéncia |
| Idioma: | español |
| OAI Identifier: | oai:riunet.upv.es:10251/77756 |
| Acceso en línea: | https://riunet.upv.es/handle/10251/77756 |
| Access Level: | acceso abierto |
| Palabra clave: | Verificación Testing PLC Stadler LENGUAJES Y SISTEMAS INFORMATICOS Máster Universitario en Ingeniería y Tecnología de Sistemas Software-Màster Universitari en Enginyeria i Tecnologia de Sistemes Programari |
| Sumario: | [ES] La empresa Stadler actualmente diseña, desarrolla, verifica y valida sistemas de control para sus vehículos ferroviarios. El objetivo de esta tesina es familiarizarse con el software y las técnicas propias del mundo ferroviario para la verificación y encapsulamiento de test para codificación de PLC, normalmente utilizados en este entorno industrial junto con programas embebidos en dispositivos. Como parte de la tesina se evaluarán las técnicas de verificación existentes, centrándose en los estándares europeos de desarrollo de software para el entorno ferroviario, para crear una hoja de ruta hacia la creación de una herramienta de verificación para código PLC que se adecue a las necesidades de los proyectos ferroviarios existentes y la normativa aplicada. |
|---|