Saltar al contenido principal

Aplicación para la verificación y validación de sistemas críticos en Framework RKH

Autor

Germino, Santiago

Título

Aplicación para la verificación y validación de sistemas críticos en Framework RKH

Colaborador

Gómez, Pablo Martín

Descripción

Grado obtenido: Magister de la Universidad de Buenos Aires en Sistemas Embebidos

Disciplina: Maestría en Sistemas Embebidos

Fil: Germino, Santiago. Universidad de Buenos Aires. Facultad de Ingeniería

Editor

Universidad de Buenos Aires. Facultad de Ingeniería

Fecha

2020

Extensión

xi, 37 p.

Resumen

Esta memoria describe el desarrollo de una aplicación de software denominada «vTrazer» dedicada a la verificación y validación de sistemas críticos implementados mediante maquinas de estado finitas en código «C» utilizando Framework RKH. El impulsor de este trabajo es Vortex Makes, empresa argentina creadora de dicha librería. El usuario final será Trenes Argentinos, a través de la transferencia de tecnología de dispositivos desarrollados por el grupo de trabajo en sistemas de seguridad ferroviaria CONICET-GICSAFe. Se aplican conocimientos en sistemas críticos, ingeniería de software, modelos computacionales, normas y estándares internacionales. El trabajo resultante apunta a ser el comienzo de un proyecto de investigación que espera aportar en el área de conocimiento de verificación y validación automática de sistemas críticos.