• An IPC Software Layer for Building a Distributed Virtualization System 

    Pessolani, Pablo; Gonnet, Silvio; Cortes, Toni; Tinetti, Fernando (CACIC, 2017)
    Hardware virtualization technologies were principally designed for server consolidation, allowing multiple Operating Systems instances to be co-located on a single physical computer. But, IaaS providers always need higher ...
  • Análisis de modelos de variabilidad especificados en Kconfig 

    Gonnet, Silvio; Gonzalez, Rocío; Sequeira, Matías (CONAIISI, 2017)
    Una tendencia creciente en el desarrollo de software es la necesidad de desarrollar múltiples productos de software similares en conjunto en vez de varios productos individuales. Hay varias razones para esto: los ...
  • Building DEVS models from the functional design of software architecture components to estimate quality 

    Blas, Maria Julia; Leone, Horacio; Gonnet, Silvio; 0000-0001-9629-6763; 0000-0002-1411-9999; 0000-0003-3024-4754 (2nd. Workshop on Software-Intensive Systems Modeling and Simulation (MSSiS), 2020)
    Software architectures can be used as a vehicle to improve the study of quality properties in the early stages of development. This paper proposes an automatic mapping between the design of architectural components and the ...
  • Computer-aided design for building multipurpose routing processes in discrete event simulation models 

    Blas, Maria Julia; Gonnet, Silvio; 0000-0001-9629-6763; 0000-0003-3024-4754 (2021)
    Good domain-modeling enables an appropriate separation of concerns that improves quality properties in the simulation models, such as modifiability and maintainability. In this paper, the interplay of abstraction and ...
  • Developing RDEVS simulation models from textual specifications 

    Espertino, Clarisa; Blas, Maria Julia; Gonnet, Silvio; 0009-0004-6720-112X; 0000-0001-9629-6763; 0000-0003-3024-4754 (CBSoft 2022 - IV Workshop on Software-Intensive Systems Modeling and Simulation (MSSiS), 2022)
    The Routed DEVS (RDEVS) formalism provides a formalization for routing process simulation. This paper presents the mapping between constrained network models obtained from textual specifications of routing processes and ...
  • Diseño e implementación de una herramienta de software para el modelado y simulación en RDEVS (WIP) 

    Blas, Maria Julia; Dalmasso, Fidel; Toniolo, Mateo; Gonnet, Silvio; 0000-0001-9629-6763; 0000-0003-3024-4754 (CoNaIISI 2020, 2020)
    En los últimos años, el campo de Modelado y Simulación ha comenzado a abordar nuevas propuestas basadas en la construcción de modelos conceptuales como soporte al diseño e implementación de modelos de simulación. Bajo ...
  • Especificación de modelos de simulación RDEVS : diseño e implementación de una gramática libre de contexto 

    Espertino, Clarisa; Blas, Maria Julia; Gonnet, Silvio; 0009-0004-6720-112X; 0000-0001-9629-6763; 0000-0003-3024-4754 (CoNaIISI 2021, 2021)
    Se presenta una gramática libre de contexto para la definición de procesos de enrutamiento como un caso particular de un modelo de red restringido. La gramática se basa en un metamodelo que define la semántica sobre los ...
  • Modeling routing processes through network theory : a grammar to define RDEVS simulation models 

    Blas, Maria Julia; Espertino, Clarisa; Gonnet, Silvio; 0000-0001-9629-6763; 0009-0004-6720-112X; 0000-0003-3024-4754 (III Workshop on Software-Intensive Systems Modeling and Simulation (MSSiS), 2021)
    The Routed DEVS (RDEVS) formalism provides a reasonable formalization for the simulation of routing processes. In this paper, we introduce a context-free grammar for the definition of routing processes as a particular ...
  • Un modelo conceptual para la especificación y trazabilidad de requerimientos funcionales basados en casos de uso y casos de prueba 

    Roldán, María Luciana; Marciszack, Marcelo Martín; Vegetti, Marcela; Gonnet, Silvio; Leone, Horacio (2017)
    Existe una estrecha relación entre las actividades de la ingeniería de requerimientos y las pruebas de sistemas de software intensivos. Por un lado, una especificación completa, consistente y legible de requerimientos ...
  • Modelo para la digitalización de activos de la industria batch basado en el estándar ISA 88 

    Pairol Fuentes, Rachel; Alvarado Domínguez, Johnny; Vegetti, Marcela; Roldán, Luciana; Gonnet, Silvio; 0000-0003-0586-6295; 0000-0003-4016-1717; 0000-0003-3024-4754 (51º JAIIO - SIIIO, 2022-10)
    Un Asset Administration Shell (AAS) representa digitalmente un asset y facilita la interoperabilidad entre los miembros de la cadena de valor de la Industria 4.0. El AAS organiza la representación de los datos de un asset ...
  • Un sistema de virtualización distribuida 

    Pessolani, Pablo; Gonnet, Silvio; Cortes, Toni; Tinetti, Fernando (WICC 2017 - XIX Workshop en investigación en Ciencias de la Computación, 2017)
    Este trabajo refiere a los avances, logros alcanzados y planes de investigación futuros sobre el proyecto del Sistema de Virtualización de Recursos Distribuidos presentado en WICC 2012 [1]. En las tecnologías de ...
  • Using model-to-model transformations for web software architecture simulation 

    Blas, Maria Julia; Gonnet, Silvio; 0000-0001-9629-6763; 0000-0003-3024-4754 (2022)
    The development of evaluation methods that allow improving the capture of quality data regarding software architectures is a topic of interest in Software Engineering. However, the dynamic of the traditional methods used ...