Validación y verificación de Software con herramientas avanzadas

Fernández Churruca, Ibon

dc.contributor.advisor	Arruti Illarramendi, Andoni
dc.contributor.advisor	Aristimuño, Ainhoa
dc.contributor.author	Fernández Churruca, Ibon
dc.contributor.other	Arquitectura y Tecnología de Computadores;;Konputagailuen Arkitektura eta Teknologia	es
dc.date.accessioned	2016-07-21T11:01:17Z
dc.date.available	2016-07-21T11:01:17Z
dc.date.issued	2016-07-21
dc.date.submitted	2016-07-13
dc.identifier.uri	http://hdl.handle.net/10810/18679
dc.description	Trabajo realizado en la empresa ULMA Embedded Solutions	es
dc.description.abstract	Cada vez es más importante que los sistemas hardware en la industria del transporte ferroviario superen estrictas pruebas de validación y verificación y con ello cumplir con las especificaciones internacionales de calidad. El software de los sistemas embebidos en particular, juega un papel crítico en este campo y exige la aplicación de diversos procesos de test que evalúen si el sistema cumple o no con los requisitos propuestos inicialmente. El rack VEGA contiene varios submódulos en la que se encuentra la CPU basada en una arquitectura MPC8313. Uno de los códigos fuentes que se ejecutan en ella contiene el nombre de AX00 y es un software genérico que controla la Unidad de Control de Tracción (TCU) que a su vez contiene la Traction Control Core (TCC). Aplicar un proceso de test es de suma importancia si se quiere mantener un control de calidad sobre el software.	es
dc.language.iso	spa	es
dc.rights	info:eu-repo/semantics/openAccess	es
dc.rights.uri	http://creativecommons.org/licenses/by-nc-sa/4.0/	*
dc.subject	software validation	es
dc.subject	embedded systems	es
dc.title	Validación y verificación de Software con herramientas avanzadas	es
dc.type	info:eu-repo/semantics/masterThesis	es
dc.rights.holder	Attribution-NonCommercial-ShareAlike 4.0 International	*