Coloquio del 04/09/2026: Monitoreo en tiempo de ejecución para sistemas de misión crítica
TÍTULO Monitoreo en tiempo de ejecución para sistemas de misión crítica ORADOR y FILIACIÓN Carlos Gustavo López Pombo, Investigador de CONICET; profesor del Departamento de Computación, Facultad de Ciencias Exactas y Naturales, Universidad de Buenos Aires y profesor en la carrera de Ingeniería Electrónica de la Escuela de Producción, Tecnología y Medio Ambiente, Universidad Nacional […]
TÍTULO
Monitoreo en tiempo de ejecución para sistemas de misión crítica
ORADOR y FILIACIÓN
Carlos Gustavo López Pombo, Investigador de CONICET; profesor del Departamento de Computación, Facultad de Ciencias Exactas y Naturales, Universidad de Buenos Aires y profesor en la carrera de Ingeniería Electrónica de la Escuela de Producción, Tecnología y Medio Ambiente, Universidad Nacional de Río Negro.
RESUMEN
Los sistemas de software son ubicuos y, si bien se sabe que determinar la ausencia de errores es un problema altamente indecidible, hay dominios en los que se espera tener garantías respecto del comportamiento esperado del sistema. Ejemplos paradigmáticos de tales ámbitos son la industria nuclear, aeroespacial, vehículos no tripulados y salud y, aún así, todos ellos han registrado acontecimientos trágicos debido a «percances» de software.
La mayor parte del software involucrado en el desarrollo de sistemas críticos se ejecuta integrado en microcontroladores bajo restricciones muy estrictas en cuanto al uso de recursos (es decir, tiempo de cómputo, uso de memoria, especificaciones de dispositivos de hardware específicos, etc.). Estas especificidades tienen un enorme impacto en las directrices que rigen el proceso de desarrollo, generando en ocasiones artefactos de software que pueden considerarse como una parte integral del diseño del hardware. Incluso en estos dominios críticos, los procesos actuales de aseguramiento de calidad para artefactos de software se basan principalmente en la aplicación de testing, sin ningún soporte formal. Como argumento de contraparte, los métodos formales generalmente se presentan como herramientas diseñadas para analizar características a nivel de aplicación de los artefactos de software.
En una reciente colaboración con INVAP S.A.U., empresa líder en la construcción de reactores nucleares experimentales, se presentó un conjunto de herramientas destinadas a ayudar a los equipos de ingenieros en el proceso de diseño, implementación y análisis de sistemas integrados. El conjunto de herramientas consta de un lenguaje formal, pero razonablemente simple, cuyo análisis está respaldado por una herramienta automática para poder realizar monitoreo en tiempo de ejecución.
INFORMACIÓN DEL COLOQUIO IB
Viernes 04/09, 14.30hs.
Duración aproximada: 45 min de exposición y luego se habilita un tiempo para preguntas.
LUGAR Y E-LUGAR
Salón de Actos del Instituto Balseiro. Av. Bustillo km 9,5, San Carlos de Bariloche.
Ingreso al CAB con DNI.
Transmisión en vivo por el canal de YouTube “Instituto Balseiro Coloquios”
Link a listado de coloquios previos, ver aquí.