- -

Verificación y encapsulamiento de test para codificación en PLC en la empresa Stadler

RiuNet: Repositorio Institucional de la Universidad Politécnica de Valencia

Compartir/Enviar a

Citas

Estadísticas

  • Estadisticas de Uso

Verificación y encapsulamiento de test para codificación en PLC en la empresa Stadler

Mostrar el registro sencillo del ítem

Ficheros en el ítem

Thumbnail
Nombre: SANZ - Verificación ...
Tamaño: 1.679Mb
Formato: PDF
Abrir
dc.contributor.advisor Escobar Román, Santiago es_ES
dc.contributor.author Sanz Garrigues, Álvaro es_ES
dc.date.accessioned 2017-02-08T11:44:29Z
dc.date.available 2017-02-08T11:44:29Z
dc.date.created 2016-09-29
dc.date.issued 2017-02-08 es_ES
dc.identifier.uri http://hdl.handle.net/10251/77756
dc.description.abstract [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. es_ES
dc.language Español es_ES
dc.publisher Universitat Politècnica de València es_ES
dc.rights Reconocimiento - No comercial - Sin obra derivada (by-nc-nd) es_ES
dc.subject Verificación es_ES
dc.subject Testing es_ES
dc.subject PLC es_ES
dc.subject Stadler es_ES
dc.subject.classification LENGUAJES Y SISTEMAS INFORMATICOS es_ES
dc.subject.other Máster Universitario en Ingeniería y Tecnología de Sistemas Software-Màster Universitari en Enginyeria i Tecnologia de Sistemes Programari es_ES
dc.title Verificación y encapsulamiento de test para codificación en PLC en la empresa Stadler es_ES
dc.type Tesis de máster es_ES
dc.rights.accessRights Abierto es_ES
dc.contributor.affiliation Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació es_ES
dc.description.bibliographicCitation Sanz Garrigues, Á. (2016). Verificación y encapsulamiento de test para codificación en PLC en la empresa Stadler. http://hdl.handle.net/10251/77756 es_ES
dc.description.accrualMethod TFGM es_ES
dc.relation.pasarela TFGM\50507 es_ES


Este ítem aparece en la(s) siguiente(s) colección(ones)

Mostrar el registro sencillo del ítem