- RIUMA Principal
- Listar por autor
Listar por autor "Gallardo-Melgarejo, María del Mar"
Mostrando ítems 1-9 de 9
-
A characterisation of reliability tools for Software Defined Networks
Software Defined Network (SDN) is a new paradigm in networking that introduces great flexibility, allowing the dynamic configuration of parts of the network through centralised programming. SDN has been successfully applied ... -
A Simulation Tool for tccp Programs
Gallardo-Melgarejo, María del Mar; Lavado, Leticia; Panizo-Jaime, Laura (2017-07-24)The Timed Concurrent Constraint Language tccp is a declarative synchronous concurrent language, particularly suitable for modelling reactive systems. In tccp, agents communicate and synchronise through a global constraint ... -
Análisis de aplicaciones móviles utilizando métodos formales
Espada Sandi, Ana Rosario (UMA Editorial, 2017-07-09)La tecnología móvil ha surgido de la necesidad de las personas de llevar consigo un medio de comunicación con opciones de entretenimiento, una biblioteca y acceso a Internet. Actualmente, se ha masificado el uso de ... -
Arquitectura flexible para la creación de suscriptores RabbitMQ
López Gómez, Rafael (2022-06)El objetivo de este proyecto es realizar un acercamiento al uso de las nuevas tecnologías en el mundo del Internet de las Cosas (“Internet of Things”, IoT). En muchos casos, las aplicaciones IoT comparten características ... -
Modelado, simulación y análisis de un sistema complejo de ascensores
Sarabia Segura, Marina (2020-01-20)La construcción de software complejo puede verse asistida por los llamados métodos formales que permiten detectar errores de diseño e implementación, especialmente con respecto a las propiedades críticas del sistema. Los ... -
STAN: analysis of data traces using an event-driven interval temporal logic
Panizo-Jaime, Laura; Gallardo-Melgarejo, María del Mar (Springer Nature, 2022-11-30)The increasing integration of systems into people’s daily routines, especially smartphones, requires ensuring correctness of their functionality and even some performance requirements. Sometimes, we can only observe the ... -
Towards Zero Touch Configuration of 5G Non-Public Networks for Time Sensitive Networking
Luque Schempp, Francisco; Panizo-Jaime, Laura; Gallardo-Melgarejo, María del Mar; Merino-Gómez, Pedro; Rivas, Francisco Javier (IEEE, 2022)The need to increase mobility and to remove cables in industrial environments is pushing 5G as a valuable communication system to connect traditional deterministic Ethernet-based devices. One alternative is the adoption ... -
Verificación de la fiabilidad del gestor de experimentos del proyecto 5Genesis
Arrebola Taza, Darío (2021)Uno de los objetivos del proyecto europeo H2020 5Genesis, del que el grupo MORSE de la Universidad de Málaga forma parte, es proporcionar una plataforma 5G de experimentación para los desarrolladores de software. La gestión ... -
Verification of a multi-connectivity protocol for Tactile Internet applications
Rico, Delia; Gallardo-Melgarejo, María del Mar; Merino-Gómez, Pedro (Elsevier, 2023-10-26)Tactile Internet refers to a network that enables real-time, high-reliability haptic communication and control between humans, machines, and objects over the Internet. Tactile Internet applications include the remote control ...