Navegar por los elementos (1 total)
- Resumen es exacto "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."
Ordenar por: