http://sedici.unlp.edu.ar:80/handle/10915/190158 Thu, 12 Nov 2026 08:52:09 GMT 2026-11-12T08:52:09Z http://sedici.unlp.edu.ar:80/handle/10915/190751 Objeto de conferencia A System for Monitoring the Academic Progress of Computer Engineering Students Simposio Argentino en Ingeniería en Computación (SAIC 2025) - JAIIO 54 (Universidad de Buenos Aires, 4 al 7 de agosto de 2025) En las carreras universitarias de ingeniería, donde la cantidad de alum-nos es habitualmente baja, resulta especialmente importante realizar un seguimiento individualizado para mejorar las tasas de egreso y disminuir la deserción. En las universidades argentinas se utiliza ampliamente el sistema SIU Guaraní para registrar la información académica de los estudiantes, un sistema abierto impulsado por el Consejo Interuniversitario Nacional (CIN). Sin embargo, este sistema no ofrece herramientas adecuadas para realizar un seguimiento por parte de los responsables de una carrera en particular.En este trabajo se presenta una herramienta desarrollada por la Comisión Académica de la carrera de Ingeniería en Computación de la Universidad Nacional de Tucumán, que permite visualizar el avance académico de los alumnos y organizar acciones de acompañamiento. La solución utiliza Scrapy para recuperar datos desde SIU Guaraní y Trello para representar visualmente el estado de cada estudiante, habilitando un seguimiento personalizado. Cada alumno se representa como una tarjeta que contiene información personal, materias aprobadas y pen-dientes, y etiquetas que señalan situaciones críticas, como demoras en el trabajo final o trámites inconclusos.La herramienta está diseñada para sincronizar la información de manera eficiente, evitando duplicados y permitiendo actualizaciones automáticas. En su primera etapa de uso ya se identificaron casos relevantes y se implementaron acciones concretas para facilitar el egreso de alumnos avanzados.; In engineering degree programs, where the number of students is usually low, it becomes especially important to carry out individualized monitoring to improve graduation rates and reduce dropout. In Argentine universities, the SIU Guaraní system is widely used to register students' academic information. It is an open system promoted by the National Interuniversity Council (CIN). However, this system does not provide adequate tools for academic program coordinators to track student progress effectively.This paper presents a tool developed by the Academic Committee of the Compu-ter Engineering program at the National University of Tucumán. The tool enables visualization of students' academic progress and supports the organization of personalized follow-up actions. It uses Scrapy to retrieve data from SIU Guaraní and Trello to visually represent the academic status of each student, allowing for individualized monitoring. Each student is represented as a card containing personal information, completed and pending subjects, and labels that highlight critical situations, such as delays in the graduation project or pending administrative procedures.The tool is designed to efficiently synchronize information, avoiding duplicates and allowing automatic updates. In its first stage of use, several relevant cases were identified, and concrete actions were implemented to support the graduation process of advanced students. Wed, 01 Jan 2025 00:00:00 GMT http://sedici.unlp.edu.ar:80/handle/10915/190751 2025-01-01T00:00:00Z En las carreras universitarias de ingeniería, donde la cantidad de alum-nos es habitualmente baja, resulta especialmente importante realizar un seguimiento individualizado para mejorar las tasas de egreso y disminuir la deserción. En las universidades argentinas se utiliza ampliamente el sistema SIU Guaraní para registrar la información académica de los estudiantes, un sistema abierto impulsado por el Consejo Interuniversitario Nacional (CIN). Sin embargo, este sistema no ofrece herramientas adecuadas para realizar un seguimiento por parte de los responsables de una carrera en particular.En este trabajo se presenta una herramienta desarrollada por la Comisión Académica de la carrera de Ingeniería en Computación de la Universidad Nacional de Tucumán, que permite visualizar el avance académico de los alumnos y organizar acciones de acompañamiento. La solución utiliza Scrapy para recuperar datos desde SIU Guaraní y Trello para representar visualmente el estado de cada estudiante, habilitando un seguimiento personalizado. Cada alumno se representa como una tarjeta que contiene información personal, materias aprobadas y pen-dientes, y etiquetas que señalan situaciones críticas, como demoras en el trabajo final o trámites inconclusos.La herramienta está diseñada para sincronizar la información de manera eficiente, evitando duplicados y permitiendo actualizaciones automáticas. En su primera etapa de uso ya se identificaron casos relevantes y se implementaron acciones concretas para facilitar el egreso de alumnos avanzados. In engineering degree programs, where the number of students is usually low, it becomes especially important to carry out individualized monitoring to improve graduation rates and reduce dropout. In Argentine universities, the SIU Guaraní system is widely used to register students' academic information. It is an open system promoted by the National Interuniversity Council (CIN). However, this system does not provide adequate tools for academic program coordinators to track student progress effectively.This paper presents a tool developed by the Academic Committee of the Compu-ter Engineering program at the National University of Tucumán. The tool enables visualization of students' academic progress and supports the organization of personalized follow-up actions. It uses Scrapy to retrieve data from SIU Guaraní and Trello to visually represent the academic status of each student, allowing for individualized monitoring. Each student is represented as a card containing personal information, completed and pending subjects, and labels that highlight critical situations, such as delays in the graduation project or pending administrative procedures.The tool is designed to efficiently synchronize information, avoiding duplicates and allowing automatic updates. In its first stage of use, several relevant cases were identified, and concrete actions were implemented to support the graduation process of advanced students. http://sedici.unlp.edu.ar:80/handle/10915/190750 Objeto de conferencia Elicitation of Cyber-Physical Production Systems Simposio Argentino en Ingeniería en Computación (SAIC 2025) - JAIIO 54 (Universidad de Buenos Aires, 4 al 7 de agosto de 2025) Los Sistemas Ciber-físicos han irrumpido como una  conceptualización de los sistemas que integran,  fundamentalmente, hardware, software y redes de comunicaciones. Involucran casi todos los elementos que integran el campo de la computación. Un caso especial de sistemas ciber-físicos lo constituyen los Sistemas de Ciber-físicos de Producción, que constituyen la evolución de los actuales sistemas de producción físicos al incorporárseles la componente “ciber”. Se ha propuesto la metáfora de las capacidades, entendidas como un servicio conceptual que ejecuta procesos respaldados por la tecnología (en su sentido más amplio) como más adecuado que la metáfora de los requerimientos para acompañar esa evolución de los procesos productivos. Así es que emerge la demanda de un proceso de elicitación de capacidades actuales de los procesos productivos. El proyecto en curso se propone elaborar dicho proceso de elicitación sobre la base de la utilización del Léxico Extendido del Lenguaje. Se presenta el proyecto y un template de capacidad de un Sistema de Ciber-físico de Producción.; Cyber-physical systems have emerged as a conceptualization of systems that primarily integrate hardware, software, and communications networks. They involve almost all elements comprising the field of computing. A special case of cyber-physical systems is Cyber-physical Production Systems, which represent the evolution of current physical production systems by incorporating the "cyber" component. The capabilities metaphor, understood as a conceptual service that executes processes supported by technology (in its broadest sense), has been proposed as more appropriate than the requirements metaphor for accompanying this evolution of production processes. Thus, the demand for a process of elicitation of current capabilities of production processes emerges. The current project proposes to develop such an elicitation process based on the use of the Extended Language Lexicon. The project and a capability template for a Cyber-physical Production System are presented. Wed, 01 Jan 2025 00:00:00 GMT http://sedici.unlp.edu.ar:80/handle/10915/190750 2025-01-01T00:00:00Z Los Sistemas Ciber-físicos han irrumpido como una  conceptualización de los sistemas que integran,  fundamentalmente, hardware, software y redes de comunicaciones. Involucran casi todos los elementos que integran el campo de la computación. Un caso especial de sistemas ciber-físicos lo constituyen los Sistemas de Ciber-físicos de Producción, que constituyen la evolución de los actuales sistemas de producción físicos al incorporárseles la componente “ciber”. Se ha propuesto la metáfora de las capacidades, entendidas como un servicio conceptual que ejecuta procesos respaldados por la tecnología (en su sentido más amplio) como más adecuado que la metáfora de los requerimientos para acompañar esa evolución de los procesos productivos. Así es que emerge la demanda de un proceso de elicitación de capacidades actuales de los procesos productivos. El proyecto en curso se propone elaborar dicho proceso de elicitación sobre la base de la utilización del Léxico Extendido del Lenguaje. Se presenta el proyecto y un template de capacidad de un Sistema de Ciber-físico de Producción. Cyber-physical systems have emerged as a conceptualization of systems that primarily integrate hardware, software, and communications networks. They involve almost all elements comprising the field of computing. A special case of cyber-physical systems is Cyber-physical Production Systems, which represent the evolution of current physical production systems by incorporating the "cyber" component. The capabilities metaphor, understood as a conceptual service that executes processes supported by technology (in its broadest sense), has been proposed as more appropriate than the requirements metaphor for accompanying this evolution of production processes. Thus, the demand for a process of elicitation of current capabilities of production processes emerges. The current project proposes to develop such an elicitation process based on the use of the Extended Language Lexicon. The project and a capability template for a Cyber-physical Production System are presented. http://sedici.unlp.edu.ar:80/handle/10915/190749 Objeto de conferencia A model for integrating cloud and fog computing for IoT applications Simposio Argentino en Ingeniería en Computación (SAIC 2025) - JAIIO 54 (Universidad de Buenos Aires, 4 al 7 de agosto de 2025) Aunque la computación en niebla resuelve algunos de los problemas que enfrenta la realización de algunas aplicaciones IoT o los sistemas ciberfísicos (CPS), los nodos de niebla pueden no ser capaces de cumplir con las restricciones de rendimiento, energía y latencia de las futuras aplicaciones IoT o CPS, a menos que la arquitectura de computación en niebla se adapte para satisfacer estos requisitos de aplicación. Esta adaptación es necesaria tanto a nivel del sistema como a nivel del nodo para la computación en niebla.En este trabajo se describe una arquitectura integrada de nube y niebla con IoT que permite un aumento en el rendimiento, eficiencia energética, reducción de latencia y escalabilidad para futuras aplicaciones IoT. Los nodos de niebla (por ejemplo, servidores de borde, ruters inteligentes, estaciones base) reciben solicitudes de proceso de cómputo de datos sensados de varios dispositivos IoT. Para mejorar el rendimiento, la eficiencia energética y la capacidad de respuesta en tiempo real de las aplicaciones, el diseño plantea una arquitectura de nodo de niebla reconfigurable que analiza las características de las aplicaciones y reconfigura los recursos arquitectónicos para satisfacer mejor las demandas de carga máxima. En particular se enfoca una capa reconfigurable de hardware, en la cual se utilizan dispositivos FPGAs para aportar características de resiliencia al hardware que requieren las aplicaciones de estos sistemas.; Although Fog computing solves some of the challenges faced by implementing some IoT applications or cyber-physical systems (CPS), Fog nodes may not be able to meet the performance, energy, and latency constraints of future IoT or CPS applications unless the Fog computing architecture is tailored to meet these application requirements. This adaptation is required at both the system and node levels for Fog computing.This paper describes an integrated cloud and fog architecture with IoT that enables increased performance, energy efficiency, reduced latency, and scalability for future IoT applications. Fog nodes (e.g., edge servers, smart routers, base stations) receive computing process requests for sensed data from various IoT devices. To improve application performance, energy efficiency, and real-time responsiveness, the design proposes a reconfigurable Fog node architecture that analyzes application characteristics and reconfigures architectural resources to better meet peak load demands. In particular, the focus is on a reconfigurable hardware layer, in which FPGA devices are used to provide the hardware resilience features required by the applications of these systems. Wed, 01 Jan 2025 00:00:00 GMT http://sedici.unlp.edu.ar:80/handle/10915/190749 2025-01-01T00:00:00Z Aunque la computación en niebla resuelve algunos de los problemas que enfrenta la realización de algunas aplicaciones IoT o los sistemas ciberfísicos (CPS), los nodos de niebla pueden no ser capaces de cumplir con las restricciones de rendimiento, energía y latencia de las futuras aplicaciones IoT o CPS, a menos que la arquitectura de computación en niebla se adapte para satisfacer estos requisitos de aplicación. Esta adaptación es necesaria tanto a nivel del sistema como a nivel del nodo para la computación en niebla.En este trabajo se describe una arquitectura integrada de nube y niebla con IoT que permite un aumento en el rendimiento, eficiencia energética, reducción de latencia y escalabilidad para futuras aplicaciones IoT. Los nodos de niebla (por ejemplo, servidores de borde, ruters inteligentes, estaciones base) reciben solicitudes de proceso de cómputo de datos sensados de varios dispositivos IoT. Para mejorar el rendimiento, la eficiencia energética y la capacidad de respuesta en tiempo real de las aplicaciones, el diseño plantea una arquitectura de nodo de niebla reconfigurable que analiza las características de las aplicaciones y reconfigura los recursos arquitectónicos para satisfacer mejor las demandas de carga máxima. En particular se enfoca una capa reconfigurable de hardware, en la cual se utilizan dispositivos FPGAs para aportar características de resiliencia al hardware que requieren las aplicaciones de estos sistemas. Although Fog computing solves some of the challenges faced by implementing some IoT applications or cyber-physical systems (CPS), Fog nodes may not be able to meet the performance, energy, and latency constraints of future IoT or CPS applications unless the Fog computing architecture is tailored to meet these application requirements. This adaptation is required at both the system and node levels for Fog computing.This paper describes an integrated cloud and fog architecture with IoT that enables increased performance, energy efficiency, reduced latency, and scalability for future IoT applications. Fog nodes (e.g., edge servers, smart routers, base stations) receive computing process requests for sensed data from various IoT devices. To improve application performance, energy efficiency, and real-time responsiveness, the design proposes a reconfigurable Fog node architecture that analyzes application characteristics and reconfigures architectural resources to better meet peak load demands. In particular, the focus is on a reconfigurable hardware layer, in which FPGA devices are used to provide the hardware resilience features required by the applications of these systems. http://sedici.unlp.edu.ar:80/handle/10915/190748 Objeto de conferencia Multidisciplinary Approaches to Addressing Complexity in Modern Engineering Systems Simposio Argentino en Ingeniería en Computación (SAIC 2025) - JAIIO 54 (Universidad de Buenos Aires, 4 al 7 de agosto de 2025) Este estudio aborda los crecientes desafíos asociados con la complejidad de los sistemas de ingeniería contemporáneos, proponiendo enfoques multidisciplinarios para optimizar su diseño, control y operación. A través de una revisión sistemática de la literatura y análisis de casos de estudio, se identifican y clasifican las principales fuentes de complejidad en sistemas críticos como industria 4.0, cadenas de producción industrial, redes de distribución energética, entre otras. La investigación emplea metodologías avanzadas, incluyendo análisis multiescala, teoría de sistemas dinámicos, cálculo fraccional y modelado computacional, para caracterizar y predecir comportamientos emergentes en sistemas no lineales. Los hallazgos demuestran la eficacia de estos métodos en: (1) la identificación de patrones no evidentes, (2) la reducción de incertidumbres operacionales, y (3) la optimización de sistemas complejos. Destacan particularmente las aplicaciones del análisis multiescala y los modelos fraccionales en mejorar la predictibilidad de algoritmos de machine learning, así como las ventajas de arquitecturas modulares en entornos de manufactura para incrementar la adaptabilidad. El estudio sustenta la necesidad de incorporar estos marcos metodológicos tanto en la formación académica como en la práctica profesional de ingeniería, argumentando que su adopción es crucial para enfrentar los retos tecnológicos del siglo XXI y mejorar indicadores clave como eficiencia, resiliencia y competitividad sistémica. Como contribución principal, esta investigación ofrece un marco integrado teórico-práctico para la gestión de complejidad en ingeniería, con implicaciones relevantes para: (i) el desarrollo de innovaciones tecnológicas, y (ii) la evolución del mercado laboral especializado.; This study addresses the growing challenges associated with the complexity of contemporary engineering systems, proposing multidisciplinary approaches to optimize their design, control, and operation. Through a systematic literature review and case study analysis, the primary sources of complexity in critical systems—such as Industry 4.0, industrial production lines, energy distribution networks, among others—are identified and classified. The research employs advanced methodologies, including multiscale analysis, dynamic systems theory, fractional calculus, and computational modeling, to characterize and predict emergent behaviors in nonlinear systems. The findings demonstrate the effectiveness of these methods in: (1) identifying non-obvious patterns, (2) reducing operational uncertainties, and (3) optimizing complex systems. The applications of multiscale analysis and fractional models in improving the predictability of machine learning algorithms are particularly noteworthy, as are the advantages of modular architectures in manufacturing environments to enhance adaptability. The study underscores the need to incorporate these methodological frameworks into both academic training and professional engineering practice, arguing that their adoption is crucial to addressing the technological challenges of the 21st century and improving key indicators such as efficiency, resilience, and systemic competitiveness. As its main contribution, this research provides an integrated theoretical-practical framework for complexity management in engineering, with relevant implications for: (i) the development of technological innovations, and (ii) the evolution of the specialized labor market. Wed, 01 Jan 2025 00:00:00 GMT http://sedici.unlp.edu.ar:80/handle/10915/190748 2025-01-01T00:00:00Z Este estudio aborda los crecientes desafíos asociados con la complejidad de los sistemas de ingeniería contemporáneos, proponiendo enfoques multidisciplinarios para optimizar su diseño, control y operación. A través de una revisión sistemática de la literatura y análisis de casos de estudio, se identifican y clasifican las principales fuentes de complejidad en sistemas críticos como industria 4.0, cadenas de producción industrial, redes de distribución energética, entre otras. La investigación emplea metodologías avanzadas, incluyendo análisis multiescala, teoría de sistemas dinámicos, cálculo fraccional y modelado computacional, para caracterizar y predecir comportamientos emergentes en sistemas no lineales. Los hallazgos demuestran la eficacia de estos métodos en: (1) la identificación de patrones no evidentes, (2) la reducción de incertidumbres operacionales, y (3) la optimización de sistemas complejos. Destacan particularmente las aplicaciones del análisis multiescala y los modelos fraccionales en mejorar la predictibilidad de algoritmos de machine learning, así como las ventajas de arquitecturas modulares en entornos de manufactura para incrementar la adaptabilidad. El estudio sustenta la necesidad de incorporar estos marcos metodológicos tanto en la formación académica como en la práctica profesional de ingeniería, argumentando que su adopción es crucial para enfrentar los retos tecnológicos del siglo XXI y mejorar indicadores clave como eficiencia, resiliencia y competitividad sistémica. Como contribución principal, esta investigación ofrece un marco integrado teórico-práctico para la gestión de complejidad en ingeniería, con implicaciones relevantes para: (i) el desarrollo de innovaciones tecnológicas, y (ii) la evolución del mercado laboral especializado. This study addresses the growing challenges associated with the complexity of contemporary engineering systems, proposing multidisciplinary approaches to optimize their design, control, and operation. Through a systematic literature review and case study analysis, the primary sources of complexity in critical systems—such as Industry 4.0, industrial production lines, energy distribution networks, among others—are identified and classified. The research employs advanced methodologies, including multiscale analysis, dynamic systems theory, fractional calculus, and computational modeling, to characterize and predict emergent behaviors in nonlinear systems. The findings demonstrate the effectiveness of these methods in: (1) identifying non-obvious patterns, (2) reducing operational uncertainties, and (3) optimizing complex systems. The applications of multiscale analysis and fractional models in improving the predictability of machine learning algorithms are particularly noteworthy, as are the advantages of modular architectures in manufacturing environments to enhance adaptability. The study underscores the need to incorporate these methodological frameworks into both academic training and professional engineering practice, arguing that their adoption is crucial to addressing the technological challenges of the 21st century and improving key indicators such as efficiency, resilience, and systemic competitiveness. As its main contribution, this research provides an integrated theoretical-practical framework for complexity management in engineering, with relevant implications for: (i) the development of technological innovations, and (ii) the evolution of the specialized labor market. http://sedici.unlp.edu.ar:80/handle/10915/190746 Objeto de conferencia AvPI: An Algorithm for Quantifying Average Parallelism in S3PR Petri Nets with Deadlock Prevention Policies Simposio Argentino en Ingeniería en Computación (SAIC 2025) - JAIIO 54 (Universidad de Buenos Aires, 4 al 7 de agosto de 2025) Esta investigación aborda el desafío crítico de cuantificar el paralelismo en sistemas embebidos modelados con redes de Petri S3PR, donde las políticas de prevención de deadlock imponen restricciones que limitan la concurrencia. Presentamos un algoritmo innovador para calcular el Índice de Paralelismo Promedio (AvPI), métrica que evalúa el número promedio de tareas ejecutables concurrentemente en todos los estados alcanzables. La metodología integra análisis estructural de invariantes de transición y grafos de alcanzabilidad, excluyendo plazas de recursos/buffers para aislar el paralelismo accionable. Validado mediante un caso de estudio que compara configuraciones propensas y libres de deadlocks, los resultados demuestran que políticas sobre-restrictivas (ej. control de sifones) reducen el AvPI en un 82% (a 0,9) y los estados en un 99%, mientras que controles selectivos preservan alta concurrencia (Av-PI=4,5953; 1017 estados) sin bloqueos. El AvPI conecta modelado teórico y di-seño práctico, permitiendo optimizar asignación de recursos y confiabilidad en etapas tempranas para sistemas críticos como vehículos autónomos e IoT industrial. Futuros trabajos se extenderán a redes temporizadas.; This research addresses the critical challenge of quantifying parallelism in embedded systems modeled with S3PR Petri nets, where deadlock prevention policies often impose restrictive constraints that limit concurrency. We introduce a novel algorithm to compute the Average Parallelism Index (AvPI), a metric evaluating the average number of concurrently executable tasks across all reachable states. The methodology leverages structural analysis of transition invariants and reachability graphs while excluding resource/buffer places to isolate actionable parallelism. Validated through a case study comparing deadlock-prone and deadlock-free configurations, results demonstrate that overly restrictive policies (ej., siphon control) reduce AvPI by 82% (to 0.9) and states by 99%, while selective control preserves high concurrency (AvPI=4.5953, 1017 states) without deadlocks. The AvPI bridges theoretical modeling and practical design, enabling early-stage optimization of resource allocation and reliability in critical systems like autonomous vehicles and industrial IoT. Future work will extend to timed Petri nets to incorporate temporal dynamics. Wed, 01 Jan 2025 00:00:00 GMT http://sedici.unlp.edu.ar:80/handle/10915/190746 2025-01-01T00:00:00Z Esta investigación aborda el desafío crítico de cuantificar el paralelismo en sistemas embebidos modelados con redes de Petri S3PR, donde las políticas de prevención de deadlock imponen restricciones que limitan la concurrencia. Presentamos un algoritmo innovador para calcular el Índice de Paralelismo Promedio (AvPI), métrica que evalúa el número promedio de tareas ejecutables concurrentemente en todos los estados alcanzables. La metodología integra análisis estructural de invariantes de transición y grafos de alcanzabilidad, excluyendo plazas de recursos/buffers para aislar el paralelismo accionable. Validado mediante un caso de estudio que compara configuraciones propensas y libres de deadlocks, los resultados demuestran que políticas sobre-restrictivas (ej. control de sifones) reducen el AvPI en un 82% (a 0,9) y los estados en un 99%, mientras que controles selectivos preservan alta concurrencia (Av-PI=4,5953; 1017 estados) sin bloqueos. El AvPI conecta modelado teórico y di-seño práctico, permitiendo optimizar asignación de recursos y confiabilidad en etapas tempranas para sistemas críticos como vehículos autónomos e IoT industrial. Futuros trabajos se extenderán a redes temporizadas. This research addresses the critical challenge of quantifying parallelism in embedded systems modeled with S3PR Petri nets, where deadlock prevention policies often impose restrictive constraints that limit concurrency. We introduce a novel algorithm to compute the Average Parallelism Index (AvPI), a metric evaluating the average number of concurrently executable tasks across all reachable states. The methodology leverages structural analysis of transition invariants and reachability graphs while excluding resource/buffer places to isolate actionable parallelism. Validated through a case study comparing deadlock-prone and deadlock-free configurations, results demonstrate that overly restrictive policies (ej., siphon control) reduce AvPI by 82% (to 0.9) and states by 99%, while selective control preserves high concurrency (AvPI=4.5953, 1017 states) without deadlocks. The AvPI bridges theoretical modeling and practical design, enabling early-stage optimization of resource allocation and reliability in critical systems like autonomous vehicles and industrial IoT. Future work will extend to timed Petri nets to incorporate temporal dynamics. http://sedici.unlp.edu.ar:80/handle/10915/190745 Objeto de conferencia Modeling of Reactive Systems using Non-Autonomous Petri Nets and Microservices Simposio Argentino en Ingeniería en Computación (SAIC 2025) - JAIIO 54 (Universidad de Buenos Aires, 4 al 7 de agosto de 2025) Este artículo presenta un marco innovador para el modelado y ejecución de sistemas reactivos mediante la integración de Redes de Petri No Autónomas (RPNA) con arquitecturas de microservicios. Los sistemas reactivos en dominios críticos como control industrial e IoT requieren tanto verificabilidad formal como flexibilidad operativa, sin embargo, los enfoques existentes suelen tener dificultades para equilibrar estos requisitos. Nuestro trabajo aborda esta brecha combinando el rigor matemático de las RPNA -que permiten modelado preciso de concurrencia y sincronización orientada a eventos- con la escalabilidad y resiliencia de los microservicios. Una contribución clave es nuestra taxonomía jerárquica de eventos, que clasifica sistemáticamente los estímulos (temporales, asincrónicos o por fallas) para optimizar su procesamiento en entornos distribuidos. Esta taxonomía permite manejo adaptativo tanto de eventos reconocidos como desconocidos, mejorando la robustez del sistema en escenarios dinámicos. La arquitectur  propuesta incluye un orquestador inteligente que coordina microservicios según la clasificación de eventos, manteniendo coherencia con el modelo formal RPNA. Los resultados esperados incluyen sistemas reactivos portables, escalables y formalmente verificables que preservan las propiedades de diseño durante su ejecución distribuida. El marco beneficia particularmente aplicaciones industriales donde la confiabilidad y capacidad de respuesta en tiempo real son críticas. Trabajos futuros validarán el enfoque mediante casos de estudio en sistemas de pagos y explorarán extensiones con aprendizaje automático para optimización dinámica del desempeño. Esta investigación tiende un puente entre métodos formales y arquitecturas distribuidas modernas, ofreciendo una solución tanto teóricamente rigurosa como prácticamente viable para sistemas reactivos de misión crítica.; This paper presents an innovative framework for modeling and exe-cuting reactive systems by integrating Non-Autonomous Petri Nets (NAPN) with microservices architecture. Reactive systems in critical domains such as industrial control and IoT demand both formal verifiability and operational flexibility, yet existing approaches often struggle to balance these requirements. Our work addresses this gap by combining the mathematical rigor of NAPNs—which ena-ble precise modeling of event-driven concurrency and synchronization—with the scalability and resilience of microservices. A key contribution is our hierarchical event taxonomy, which systematically classifies stimuli (temporal, asynchronous, or fault-based) to optimize processing in distributed environments. This taxonomy enables adaptive handling of both recognized and unknown events, enhancing system robustness in dynamic scenarios. The proposed architecture features an intelligent orchestrator that coordinates microservices based on event classification whi e maintaining consistency with the formal NAPN model. Expected outcomes include portable, scalable, and formally verifiable reactive systems that preserve design-time properties during distributed execution. The framework particularly benefits industrial applications where reliability and real-time responsiveness are paramount. Future work will validate the approach through payment system case studies and explore machine learning extensions for dynamic performance optimization. This research bridges formal methods with modern distributed architectures, offering a principled yet practical solution for mission-critical reactive systems. Wed, 01 Jan 2025 00:00:00 GMT http://sedici.unlp.edu.ar:80/handle/10915/190745 2025-01-01T00:00:00Z Este artículo presenta un marco innovador para el modelado y ejecución de sistemas reactivos mediante la integración de Redes de Petri No Autónomas (RPNA) con arquitecturas de microservicios. Los sistemas reactivos en dominios críticos como control industrial e IoT requieren tanto verificabilidad formal como flexibilidad operativa, sin embargo, los enfoques existentes suelen tener dificultades para equilibrar estos requisitos. Nuestro trabajo aborda esta brecha combinando el rigor matemático de las RPNA -que permiten modelado preciso de concurrencia y sincronización orientada a eventos- con la escalabilidad y resiliencia de los microservicios. Una contribución clave es nuestra taxonomía jerárquica de eventos, que clasifica sistemáticamente los estímulos (temporales, asincrónicos o por fallas) para optimizar su procesamiento en entornos distribuidos. Esta taxonomía permite manejo adaptativo tanto de eventos reconocidos como desconocidos, mejorando la robustez del sistema en escenarios dinámicos. La arquitectur  propuesta incluye un orquestador inteligente que coordina microservicios según la clasificación de eventos, manteniendo coherencia con el modelo formal RPNA. Los resultados esperados incluyen sistemas reactivos portables, escalables y formalmente verificables que preservan las propiedades de diseño durante su ejecución distribuida. El marco beneficia particularmente aplicaciones industriales donde la confiabilidad y capacidad de respuesta en tiempo real son críticas. Trabajos futuros validarán el enfoque mediante casos de estudio en sistemas de pagos y explorarán extensiones con aprendizaje automático para optimización dinámica del desempeño. Esta investigación tiende un puente entre métodos formales y arquitecturas distribuidas modernas, ofreciendo una solución tanto teóricamente rigurosa como prácticamente viable para sistemas reactivos de misión crítica. This paper presents an innovative framework for modeling and exe-cuting reactive systems by integrating Non-Autonomous Petri Nets (NAPN) with microservices architecture. Reactive systems in critical domains such as industrial control and IoT demand both formal verifiability and operational flexibility, yet existing approaches often struggle to balance these requirements. Our work addresses this gap by combining the mathematical rigor of NAPNs—which ena-ble precise modeling of event-driven concurrency and synchronization—with the scalability and resilience of microservices. A key contribution is our hierarchical event taxonomy, which systematically classifies stimuli (temporal, asynchronous, or fault-based) to optimize processing in distributed environments. This taxonomy enables adaptive handling of both recognized and unknown events, enhancing system robustness in dynamic scenarios. The proposed architecture features an intelligent orchestrator that coordinates microservices based on event classification whi e maintaining consistency with the formal NAPN model. Expected outcomes include portable, scalable, and formally verifiable reactive systems that preserve design-time properties during distributed execution. The framework particularly benefits industrial applications where reliability and real-time responsiveness are paramount. Future work will validate the approach through payment system case studies and explore machine learning extensions for dynamic performance optimization. This research bridges formal methods with modern distributed architectures, offering a principled yet practical solution for mission-critical reactive systems. http://sedici.unlp.edu.ar:80/handle/10915/190744 Objeto de conferencia GeMRTOS: hybrid partition scheduling for embedded multiprocessor systems Simposio Argentino en Ingeniería en Computación (SAIC 2025) - JAIIO 54 (Universidad de Buenos Aires, 4 al 7 de agosto de 2025) La teoría de tiempo real es una teoría madura para sistemas monoprocesador. Los mecanismos de diagramación que son eficientes u óptimas en sistemas monoprocesador pueden no serlo en sistemas multiprocesador. La extensión de los mecanismos de tiempo real monoprocesador a sistemas multiprocesador se basan tanto en una partición local, en la cual el conjunto de tareas se divide entre los procesadores del sistema; en una particiones global, donde el conjunto de tareas se diagrama sobre el conjunto de procesadores; o en la diagramación de particiones mixtas, en la que las tareas se diagraman en un subconjunto de procesadores. Estos enfoques de partición se basan en un concepto similar al de un sistema con múltiples monoprocesador, en lugar de un sistema multiprocesador. GeMRTOS es un sistema operativo en tiempo real genérico para sistemas embebidos que introduce listas de diagramación híbridas para una asignación flexible de tareas y procesadores. Las listas de diagramación permiten un mecanismo en el que tanto las tareas como los procesadores se asignan a listas de diagramación para facilitar la implementación de todos los subsistemas. Este artículo describe la diagramación de particiones híbridas innovadora y dirigida por eventos introducida por GeMRTOS.; Real-time theory is a mature theory for uniprocessor systems. Scheduling policies that are efficient or optimal in uniprocessor systems may not be so in multiprocessor systems. Extending real-time uniprocessor mechanisms to multiprocessor systems are based on either a local partition in which the set of tasks is partitioned among the system processors, a global partition scheduling in which the set of tasks is schedule over the set of processors or mixed partition scheduling in which task are schedule over a subset of processors. These partition approaches are based on a concept akin to a system with multiple uniprocessors rather than a multiprocessor system. GeMRTOS is a generic multiprocessor RTOS for embedded systems that introduces hybrid scheduling lists for a flexible assignment of tasks and processors. The scheduling lists enable a hybrid partition scheduling mechanism, in which tasks as well as processors are assigned to scheduling lists to make the implementation of all subsystems easier. This paper describes the innovative, event-driven hybrid partition schedule introduced by GeMRTOS. Wed, 01 Jan 2025 00:00:00 GMT http://sedici.unlp.edu.ar:80/handle/10915/190744 2025-01-01T00:00:00Z La teoría de tiempo real es una teoría madura para sistemas monoprocesador. Los mecanismos de diagramación que son eficientes u óptimas en sistemas monoprocesador pueden no serlo en sistemas multiprocesador. La extensión de los mecanismos de tiempo real monoprocesador a sistemas multiprocesador se basan tanto en una partición local, en la cual el conjunto de tareas se divide entre los procesadores del sistema; en una particiones global, donde el conjunto de tareas se diagrama sobre el conjunto de procesadores; o en la diagramación de particiones mixtas, en la que las tareas se diagraman en un subconjunto de procesadores. Estos enfoques de partición se basan en un concepto similar al de un sistema con múltiples monoprocesador, en lugar de un sistema multiprocesador. GeMRTOS es un sistema operativo en tiempo real genérico para sistemas embebidos que introduce listas de diagramación híbridas para una asignación flexible de tareas y procesadores. Las listas de diagramación permiten un mecanismo en el que tanto las tareas como los procesadores se asignan a listas de diagramación para facilitar la implementación de todos los subsistemas. Este artículo describe la diagramación de particiones híbridas innovadora y dirigida por eventos introducida por GeMRTOS. Real-time theory is a mature theory for uniprocessor systems. Scheduling policies that are efficient or optimal in uniprocessor systems may not be so in multiprocessor systems. Extending real-time uniprocessor mechanisms to multiprocessor systems are based on either a local partition in which the set of tasks is partitioned among the system processors, a global partition scheduling in which the set of tasks is schedule over the set of processors or mixed partition scheduling in which task are schedule over a subset of processors. These partition approaches are based on a concept akin to a system with multiple uniprocessors rather than a multiprocessor system. GeMRTOS is a generic multiprocessor RTOS for embedded systems that introduces hybrid scheduling lists for a flexible assignment of tasks and processors. The scheduling lists enable a hybrid partition scheduling mechanism, in which tasks as well as processors are assigned to scheduling lists to make the implementation of all subsystems easier. This paper describes the innovative, event-driven hybrid partition schedule introduced by GeMRTOS. http://sedici.unlp.edu.ar:80/handle/10915/190743 Objeto de conferencia Radar Visualization: Software Implementation and Hardware Acceleration Simposio Argentino en Ingeniería en Computación (SAIC 2025) - JAIIO 54 (Universidad de Buenos Aires, 4 al 7 de agosto de 2025) Este trabajo presenta un sistema integrado para la visualización de información radar codificada bajo el protocolo ASTERIX CAT240 de Eurocontrol[1], que utiliza un convertidor analógico-digital de 14 bits para la captura y procesamiento de la señal de Video Crudo Radar. El sistema implementado proporciona una solución completa cuyo alcance abarca desde la captura de datos radar hasta su representación visual en tiempo real, utilizando tecnologías modernas como C++ y OpenGL [2]. La arquitectura del software, desarrollada bajo el paradigma de programación orientada a objetos, permite la traducción eficiente de tramas ASTERIX CAT240 a través de un módulo decodificador dedicado en un hilo de CPU. El decodificador extrae información relevante de las tramas de video radar, procesando parámetros de azimut, rango y niveles de intensidad. Adicionalmente, se implementa un algoritmo especializado para la detección y manejo de datos históricos, abordando la problemática del corrimiento inherente al funcionamiento del radar que no cubre todos los grados en cada giro.El componente central de visualización implementa diversos algoritmos de procesamiento de imágenes que operan directamente en la GPU, permitiendo ajustes en tiempo real de brillo, contraste y umbrales. La implementación utiliza shaders GLSL para aplicar transformaciones avanzadas a los datos de intensidad, incluyendo corrección gamma, mapeo logarítmico, funciones sigmoidales y técnicas de histograma adaptativo para la mejora de contraste. El renderizador desarrollado optimiza la representación de grandes volúmenes de datos radar mediante estructuras eficientes de OpenGL como Vertex Buffer Objects.; This work presents an integrated system for the visualization of radar information encoded under the Eurocontrol ASTERIX CAT240 protocol [1], which uses a 14-bit analog-to-digital converter for the capture and processing of the raw radar video signal. The implemented system provides a complete solution ranging from radar data capture to its real-time visual representation, using modern technologies such as C++ and OpenGL [2]. The software architecture, developed under the object-oriented programming paradigm, allows for the efficient translation of ASTERIX CAT240 frames through a dedicated decoder module in a CPU thread. The decoder extracts relevant information from the radar video frames, processing parameters such as azimuth, range, and intensity levels. Additionally, a specialized algorithm is implemented for the detection and handling of historical data, addressing the problem of shifting inherent in radar operation, which does not cover all degrees in each turn.The central visualization component implements various image processing algorithms that operate directly on the GPU, allowing real-time adjustments of brightness, contrast, and thresholds. The implementation uses GLSL shaders to apply advanced transformations to the intensity data, including gamma correction, logarithmic mapping, sigmoidal functions, and adaptive histogram techniques for contrast enhancement. The developed renderer optimizes the representation of large volumes of radar data using efficient OpenGL structures such as Vertex Buffer Objects. Wed, 01 Jan 2025 00:00:00 GMT http://sedici.unlp.edu.ar:80/handle/10915/190743 2025-01-01T00:00:00Z Este trabajo presenta un sistema integrado para la visualización de información radar codificada bajo el protocolo ASTERIX CAT240 de Eurocontrol[1], que utiliza un convertidor analógico-digital de 14 bits para la captura y procesamiento de la señal de Video Crudo Radar. El sistema implementado proporciona una solución completa cuyo alcance abarca desde la captura de datos radar hasta su representación visual en tiempo real, utilizando tecnologías modernas como C++ y OpenGL [2]. La arquitectura del software, desarrollada bajo el paradigma de programación orientada a objetos, permite la traducción eficiente de tramas ASTERIX CAT240 a través de un módulo decodificador dedicado en un hilo de CPU. El decodificador extrae información relevante de las tramas de video radar, procesando parámetros de azimut, rango y niveles de intensidad. Adicionalmente, se implementa un algoritmo especializado para la detección y manejo de datos históricos, abordando la problemática del corrimiento inherente al funcionamiento del radar que no cubre todos los grados en cada giro.El componente central de visualización implementa diversos algoritmos de procesamiento de imágenes que operan directamente en la GPU, permitiendo ajustes en tiempo real de brillo, contraste y umbrales. La implementación utiliza shaders GLSL para aplicar transformaciones avanzadas a los datos de intensidad, incluyendo corrección gamma, mapeo logarítmico, funciones sigmoidales y técnicas de histograma adaptativo para la mejora de contraste. El renderizador desarrollado optimiza la representación de grandes volúmenes de datos radar mediante estructuras eficientes de OpenGL como Vertex Buffer Objects. This work presents an integrated system for the visualization of radar information encoded under the Eurocontrol ASTERIX CAT240 protocol [1], which uses a 14-bit analog-to-digital converter for the capture and processing of the raw radar video signal. The implemented system provides a complete solution ranging from radar data capture to its real-time visual representation, using modern technologies such as C++ and OpenGL [2]. The software architecture, developed under the object-oriented programming paradigm, allows for the efficient translation of ASTERIX CAT240 frames through a dedicated decoder module in a CPU thread. The decoder extracts relevant information from the radar video frames, processing parameters such as azimuth, range, and intensity levels. Additionally, a specialized algorithm is implemented for the detection and handling of historical data, addressing the problem of shifting inherent in radar operation, which does not cover all degrees in each turn.The central visualization component implements various image processing algorithms that operate directly on the GPU, allowing real-time adjustments of brightness, contrast, and thresholds. The implementation uses GLSL shaders to apply advanced transformations to the intensity data, including gamma correction, logarithmic mapping, sigmoidal functions, and adaptive histogram techniques for contrast enhancement. The developed renderer optimizes the representation of large volumes of radar data using efficient OpenGL structures such as Vertex Buffer Objects. http://sedici.unlp.edu.ar:80/handle/10915/190741 Objeto de conferencia The Importance of teaching C++ in the Computer Engineering program in Argentina Simposio Argentino en Ingeniería en Computación (SAIC 2025) - JAIIO 54 (Universidad de Buenos Aires, 4 al 7 de agosto de 2025) En las carreras de Ingeniería en Computación, la elección del lenguaje de programación inicial es un debate vigente. Este trabajo defiende la tesis de que C++ constituye un lenguaje clave en la formación del ingeniero en computación en Argentina, debido a que ofrece una comprensión integral desde el top level hasta el bottom level y tiene aplicaciones que abarcan desde sistemas embebidos hasta sistemas complejos de alta performance. Se analiza el contexto educativo argentino, comparando C++ con otros lenguajes populares (C, Java, Python) a partir de literatura académica reciente, incluyendo las novedades de estándar 20 ,std20, en programación concurrente. Usando el modelo de Toulmin para estructurar el argumento, se aportan evidencias inductivas locales (ejemplos de la UBA, que si bien no es propiamente Ingeniería en Computación se destaca su forma de enseñanza, UTN, UNLP y otras instituciones argentinas) y deducciones generales sobre pedagogía en computación. Los resultados sugieren que la enseñanza temprana de C++ fortalece al futuro ingeniero incluso si luego trabaja con otros lenguajes, impactando positivamente materias avanzadas como Sistemas Operativos, Sistemas Embebidos, Sistemas Ciberfísicos y Programación Concurrente.; In Computer Engineering programs, the choice of the initial programming language is a current debate. This paper defends the thesis that C++ constitutes a key language in the training of computer engineers in Argentina, because it offers a comprehensive understanding from the top to the bottom level and has applications ranging from embedded systems to complex high-performance systems. The Argentine educational context is analyzed, comparing C++ with other popular languages ​​(C, Java, Python) based on recent academic literature, including the developments of standard 20 (std20) in concurrent programming. Using Toulmin's model to structure the argument, local inductive evidence is provided (examples from the University of Buenos Aires (UBA), which, while not strictly speaking a Computer Engineering program, stands out for its teaching style, the University of Buenos Aires (UTN), the National University of La Plata (UNLP), and other Argentine institutions) and general deductions about computer pedagogy are made. The results suggest that early C++ instruction strengthens future engineers even if they later work with other languages, positively impacting advanced subjects such as Operating Systems, Embedded Systems, Cyber-Physical Systems, and Concurrent Programming. Wed, 01 Jan 2025 00:00:00 GMT http://sedici.unlp.edu.ar:80/handle/10915/190741 2025-01-01T00:00:00Z En las carreras de Ingeniería en Computación, la elección del lenguaje de programación inicial es un debate vigente. Este trabajo defiende la tesis de que C++ constituye un lenguaje clave en la formación del ingeniero en computación en Argentina, debido a que ofrece una comprensión integral desde el top level hasta el bottom level y tiene aplicaciones que abarcan desde sistemas embebidos hasta sistemas complejos de alta performance. Se analiza el contexto educativo argentino, comparando C++ con otros lenguajes populares (C, Java, Python) a partir de literatura académica reciente, incluyendo las novedades de estándar 20 ,std20, en programación concurrente. Usando el modelo de Toulmin para estructurar el argumento, se aportan evidencias inductivas locales (ejemplos de la UBA, que si bien no es propiamente Ingeniería en Computación se destaca su forma de enseñanza, UTN, UNLP y otras instituciones argentinas) y deducciones generales sobre pedagogía en computación. Los resultados sugieren que la enseñanza temprana de C++ fortalece al futuro ingeniero incluso si luego trabaja con otros lenguajes, impactando positivamente materias avanzadas como Sistemas Operativos, Sistemas Embebidos, Sistemas Ciberfísicos y Programación Concurrente. In Computer Engineering programs, the choice of the initial programming language is a current debate. This paper defends the thesis that C++ constitutes a key language in the training of computer engineers in Argentina, because it offers a comprehensive understanding from the top to the bottom level and has applications ranging from embedded systems to complex high-performance systems. The Argentine educational context is analyzed, comparing C++ with other popular languages ​​(C, Java, Python) based on recent academic literature, including the developments of standard 20 (std20) in concurrent programming. Using Toulmin's model to structure the argument, local inductive evidence is provided (examples from the University of Buenos Aires (UBA), which, while not strictly speaking a Computer Engineering program, stands out for its teaching style, the University of Buenos Aires (UTN), the National University of La Plata (UNLP), and other Argentine institutions) and general deductions about computer pedagogy are made. The results suggest that early C++ instruction strengthens future engineers even if they later work with other languages, positively impacting advanced subjects such as Operating Systems, Embedded Systems, Cyber-Physical Systems, and Concurrent Programming. http://sedici.unlp.edu.ar:80/handle/10915/190740 Objeto de conferencia The importance of Python in teaching mathematics in engineering courses Simposio Argentino en Ingeniería en Computación (SAIC 2025) - JAIIO 54 (Universidad de Buenos Aires, 4 al 7 de agosto de 2025) En este trabajo se analiza el creciente papel del lenguaje de programación Python en la enseñanza de materias relacionadas con las matemáticas dentro de los programas de ingeniería en computación en Argentina. Se prioriza el uso de Python frente a herramientas tradicionales como MATLAB y R, destacando ventajas (software libre, versatilidad y adopción generalizada) y desventajas (posible complejidad inicial, menor rendimiento en ciertos casos) respecto de su integración en cursos troncales como Análisis Matemático I, II, III y Álgebra Lineal. Basándose en la literatura académica y en experiencias recientes, el estudio analiza cómo Python facilita un aprendizaje más integrado entre las matemáticas y la informática, y su impacto en la formación académica y las competencias profesionales de los futuros ingenieros en  computación. Los resultados indican que Python, debido a su simplicidad y legibilidad, puede igualar la funcionalidad de paquetes de software especializados, contribuyendo a una educación multidisciplinar más sólida y alineada con las demandas actuales de la industria tecnológica.; This paper analyzes the growing role of the Python programming language in teaching mathematics-related subjects within computer engineering programs in Argentina. It prioritizes the use of Python over traditional tools such as MATLAB and R, highlighting advantages (free software, versatility, and widespread adoption) and disadvantages (potential initial complexity, lower performance in certain cases) regarding its integration into core courses such as Mathematical Analysis I, II, III, and Linear Algebra. Based on academic literature and recent experiences, the study analyzes how Python facilitates more integrated learning between mathematics and computer science, and its impact on the academic training and professional skills of future computer engineers. The results indicate that Python, due to its simplicity and readability, can match the functionality of specialized software packages, contributing to a more robust multidisciplinary education aligned with the current demands of the technology industry. Wed, 01 Jan 2025 00:00:00 GMT http://sedici.unlp.edu.ar:80/handle/10915/190740 2025-01-01T00:00:00Z En este trabajo se analiza el creciente papel del lenguaje de programación Python en la enseñanza de materias relacionadas con las matemáticas dentro de los programas de ingeniería en computación en Argentina. Se prioriza el uso de Python frente a herramientas tradicionales como MATLAB y R, destacando ventajas (software libre, versatilidad y adopción generalizada) y desventajas (posible complejidad inicial, menor rendimiento en ciertos casos) respecto de su integración en cursos troncales como Análisis Matemático I, II, III y Álgebra Lineal. Basándose en la literatura académica y en experiencias recientes, el estudio analiza cómo Python facilita un aprendizaje más integrado entre las matemáticas y la informática, y su impacto en la formación académica y las competencias profesionales de los futuros ingenieros en  computación. Los resultados indican que Python, debido a su simplicidad y legibilidad, puede igualar la funcionalidad de paquetes de software especializados, contribuyendo a una educación multidisciplinar más sólida y alineada con las demandas actuales de la industria tecnológica. This paper analyzes the growing role of the Python programming language in teaching mathematics-related subjects within computer engineering programs in Argentina. It prioritizes the use of Python over traditional tools such as MATLAB and R, highlighting advantages (free software, versatility, and widespread adoption) and disadvantages (potential initial complexity, lower performance in certain cases) regarding its integration into core courses such as Mathematical Analysis I, II, III, and Linear Algebra. Based on academic literature and recent experiences, the study analyzes how Python facilitates more integrated learning between mathematics and computer science, and its impact on the academic training and professional skills of future computer engineers. The results indicate that Python, due to its simplicity and readability, can match the functionality of specialized software packages, contributing to a more robust multidisciplinary education aligned with the current demands of the technology industry.