INVESTIGADORES
LUTENBERG Ariel
congresos y reuniones científicas
Título:
Generacion automática de modelos y código para sistemas electrónicos de enclavamiento ferroviario
Autor/es:
R. A. GHIGNONE; F. LAROSA; H. MENDES GOUVEIA; L. CHANG; M. N. MENÉNDEZ; A. LUTENBERG
Lugar:
Rosario
Reunión:
Congreso; Congreso Argentino de Sistemas Embebidos CASE 2019; 2019
Resumen:
Este trabajo presenta el diseño y desarrollo de una herramienta para la simulación, implementación y verificación de sistemas de enclavamiento ferroviarios. Debido a la variedad de casos y al elevado nivel de seguridad que deben cumplir estos sistemas, se necesita una solución flexible, capaz de interpretar requisitos e implementarlos adecuadamente. La herramienta comprende un generador automático de código para transformar las tablas de uso estándar que describen la lógica del enclavamiento en modelos en lenguaje C, Python o VHDL. Luego, estos modelos se enlazan con una biblioteca de clases que permite simular y visualizar su comportamiento o implementarlo sobre un sistema embebido basado en un microcontrolador o FPGA, e incluso construir interfaces gráficas de operación basadas en el mismo modelo.