Assured and Correct Dynamic Update of Controllers

We present a general approach to specifying correctness criteria for dynamic update and a technique for automatically computing a controller that handles the transition from the old to the new specification, assuring that the system will reach a state in which such a transition can correctly occur. Indeed, using controller synthesis we show how to automatically build a controller that guarantees both progress towards update and safe update.Sociedad Argentina de Informática e Investigación Operativa (SADIO

Assured and Correct Dynamic Update of Controllers

We present a general approach to specifying correctness criteria for dynamic update and a technique for automatically computing a controller that handles the transition from the old to the new specification, assuring that the system will reach a state in which such a transition can correctly occur. Indeed, using controller synthesis we show how to automatically build a controller that guarantees both progress towards update and safe update.Sociedad Argentina de Informática e Investigación Operativa (SADIO

Enabledness-based testing of object protocols

A significant proportion of classes in modern software introduce or use object protocols, prescriptions on the temporal orderings of method calls on objects. This paper studies search-based test generation techniques that aim to exploit a particular abstraction of object protocols (enabledness preserving abstractions, EPAs) to find failures. We define coverage criteria over an extension of EPAs that includes abnormal method termination and define a search-based test case generation technique aimed at achieving high coverage. Results suggest that the proposed case generation technique with a fitness function that aims at combined structural and extended EPA coverage can provide better failure-detection capabilities not only for protocol failures but also forgeneral failures when compared to random testing and search-based test generation for standard structural coverage.This article was published in ACM Transactions on Software Engineering and Methodology, Volume 30. Issue 2.Sociedad Argentina de Informática e Investigación Operativ

Assured and Correct Dynamic Update of Controllers

We present a general approach to specifying correctness criteria for dynamic update and a technique for automatically computing a controller that handles the transition from the old to the new specification, assuring that the system will reach a state in which such a transition can correctly occur. Indeed, using controller synthesis we show how to automatically build a controller that guarantees both progress towards update and safe update.Sociedad Argentina de Informática e Investigación Operativa (SADIO

Nube híbrida nacional: soberana, libre, interoperable y con desarrollo local

Recientemente la Secretaría de Innovación Pública ha convocado a un procedimiento de consulta para la concreción de una “Nube Híbrida de Gobierno”. El objetivo de la Consulta es recibir aportes, ideas, experiencias y recomendaciones para la definición de criterios tecnológicos que permitan la construcción de la misma. En este marco, quienes firmamos la presente, actores de diversas organizaciones del quehacer tecnológico nacional, mujeres y hombres con décadas de experiencia profesional en tecnologías informáticas y su relación con el desarrollo nacional, apoyamos la construcción de una “Nube híbrida de Gobierno”, saludamos el llamado a Consulta y acordamos en una serie de principios que creemos fundamentales para su desarrollo y el aseguramiento de la soberanía tecnológica.Facultad de Trabajo Socia

Experiencias de I+D+i en productos avanzados para el análisis de software

El equipo de LaFHIS es un grupo del Departamento de Computación de FCEyN, UBA especializado análisis de software. Actualmente, miembros del LaFHIS son parte constitutiva del nuevo Centro de Transferencia e Investigación en Ingeniería de Software (CETIS). En este artículo se reportan los pasos iniciales de colaboraciones del CETIS con dos compañías locales que brindan servicios de desarrollo y gestión de aplicaciones: Epidata y Pragma Consultores. Estas colaboraciones tienen como objetivo las construcción de herramientas novedosas de análisis de software.Sociedad Argentina de Informática e Investigación Operativa (SADIO

Experiencias de I+D+i en productos avanzados para el análisis de software

El equipo de LaFHIS es un grupo del Departamento de Computación de FCEyN, UBA especializado análisis de software. Actualmente, miembros del LaFHIS son parte constitutiva del nuevo Centro de Transferencia e Investigación en Ingeniería de Software (CETIS). En este artículo se reportan los pasos iniciales de colaboraciones del CETIS con dos compañías locales que brindan servicios de desarrollo y gestión de aplicaciones: Epidata y Pragma Consultores. Estas colaboraciones tienen como objetivo las construcción de herramientas novedosas de análisis de software.Sociedad Argentina de Informática e Investigación Operativa (SADIO

Experiencias de I+D+i en productos avanzados para el análisis de software

El equipo de LaFHIS es un grupo del Departamento de Computación de FCEyN, UBA especializado análisis de software. Actualmente, miembros del LaFHIS son parte constitutiva del nuevo Centro de Transferencia e Investigación en Ingeniería de Software (CETIS). En este artículo se reportan los pasos iniciales de colaboraciones del CETIS con dos compañías locales que brindan servicios de desarrollo y gestión de aplicaciones: Epidata y Pragma Consultores. Estas colaboraciones tienen como objetivo las construcción de herramientas novedosas de análisis de software.Sociedad Argentina de Informática e Investigación Operativa (SADIO