Persona:
Heradio Gil, Rubén

Foto de perfil
Dirección de correo electrónico
rheradio@issi.uned.es
ORCID
0000-0002-7131-0482
Fecha de nacimiento
Proyectos de investigación
Unidades organizativas
Puesto de trabajo
Apellidos
Heradio Gil
Nombre de pila
Rubén
Nombre

Filtros

2007 - 200912010 - 2019222020 - 202518
Restablecer filtros

Ajustes

Resultados de la búsqueda

Mostrando 1 - 10 de 41
  • Miniatura
    Publicación
    Using Extended Logical Primitives for Efficient BDD Building
    (MDPI, 2020) Fernández Amoros, David José; Bra Gutiérrez, Sergio; Aranda Escolástico, Ernesto; Heradio Gil, Rubén
    Binary Decision Diagrams (BDDs) have been used to represent logic models in a variety of research contexts, such as software product lines, circuit testing, and plasma confinement, among others. Although BDDs have proven to be very useful, the main problem with this technique is that synthesizing BDDs can be a frustratingly slow or even unsuccessful process, due to its heuristic nature. We present an extension of propositional logic to tackle one recurring phenomenon in logic modeling, namely groups of variables related by an exclusive-or relationship, and also consider two other extensions: one in which at least n variables in a group are true and another one for in which at most n variables are true. We add XOR, atLeast-n and atMost-n primitives to logic formulas in order to reduce the size of the input and also present algorithms to efficiently incorporate these constructions into the building of BDDs. We prove, among other results, that the number of nodes created during the process for XOR groups is reduced from quadratic to linear for the affected clauses. the XOR primitive is tested against eight logical models, two from industry and six from Kconfig-based open-source projects. Results range from no negative effects in models without XOR relations to performance gains well into two orders of magnitude on models with an abundance of this kind of relationship.
  • Miniatura
    Publicación
    Improving the accuracy of COPLIMO to estimate the payoff of a software product line
    (Elsevier, 2012-07) Heradio Gil, Rubén; Fernández Amoros, David José; Torre Cubillo, Luis de la; Alberto Perez Garcia-Plaz
    Software product line engineering pursues the efficient development of families of similar products. COPLIMO is an economic model that relies on COCOMO II to estimate the benefits of adopting a product line approach compared to developing the products one by one. Although COPLIMO is an ideal economic model to support decision making on the incremental development of a product line, it makes some simplifying assumptions that may produce high distortions in the estimates (e.g., COPLIMO takes for granted that all the products have the same size). This paper proposes a COPLIMO reformulation that avoids such assumptions and, consequently, improves the accuracy of the estimates. To support our proposal, we present an algorithm that infers the additional information that our COPLIMO reformulation requires from feature diagrams, which is a widespread notation to model the domain of a product line.
  • Miniatura
    Publicación
    Speeding up derivative configuration from product platforms
    (MDPI, 2014-06-18) Pérez Morago, Héctor José; Adán Oliver, Antonio; Heradio Gil, Rubén; Fernández Amoros, David José
    To compete in the global marketplace, manufacturers try to differentiate their products by focusing on individual customer needs. Fulfilling this goal requires that companies shift from mass production to mass customization. Under this approach, a generic architecture, named product platform, is designed to support the derivation of customized products through a configuration process that determines which components the product comprises. When a customer configures a derivative, typically not every combination of available components is valid. To guarantee that all dependencies and incompatibilities among the derivative constituent components are satisfied, automated configurators are used. Flexible product platforms provide a big number of interrelated components, and so, the configuration of all, but trivial, derivatives involves considerable effort to select which components the derivative should include. Our approach alleviates that effort by speeding up the derivative configuration using a heuristic based on the information theory concept of entropy.
  • Miniatura
    Publicación
    Standardizing course assessment in competency-based higher education: an experience report
    (Frontiers Media, 2018-06-18) Vargas, Hector; Arredondo, Emanuel; Heradio Gil, Rubén; Torre Cubillo, Luis de la
    We examine the implementation of Competency-Based Education (CBE) at the Pontifical Catholic University of Valpara´ıso (PUCV) in Chile, focusing on the challenges associated with assessment methods in measuring students’ competencies accurately. To address these issues, we first introduce the Competency Assessment and Monitoring (C-A&M) model, which aims to standardize and improve course evaluation. Then, two complementary studies are reported: a within-groups design involving 20 Engineering courses and a between-groups design assessing the perceptions of 109 instructors across various faculties, including Law, Philosophy, and Education. Findings indicate that CBE is not yet fully realized at PUCV, with considerable room for improvement in evaluation strategies, alignment of learning objectives with competencies, and synchronization of training activities. However, the implementation of the C-A&M model led to significant enhancements in these areas, providing evidence of its effectiveness in advancing CBE practices.
  • Miniatura
    Publicación
    Evidence-Based Control Engineering Education: Evaluating the LCSD Simulation Tool
    (IEEE, 2020-09-25) Marin, Loreto; Vargas, Héctor; Heradio Gil, Rubén; Torre Cubillo, Luis de la; Díaz Martínez, José Manuel; Dormido Canto, Sebastián
    The advance in control engineering education needs well-designed studies that validate what methods and tools work best. This paper addresses the lack of empirical evidence supporting innovations in control engineering education by proposing a methodology that works at different abstraction levels. Hence, innovations' impact on students' performance can be statistically analyzed either globally or locally by examining competencies or fine-grained indicators, respectively. The article reports the application of the methodology for evaluating an interactive simulation tool, named LCSD, on 101 students at the Pontifical Catholic University of Valparaiso in Chile. According to the experimental results, LCSD is an effective free alternative to enhance the student's skills on control system analysis for our automatic control course. Also, some improvements have been identified for future LCSD versions.
  • Miniatura
    Publicación
    Metodología de desarrollo de software basada en el paradigma generativo : realización mediante la transformación de ejemplares
    (Universidad Nacional de Educación a Distancia (España). Escuela Ténica Superior de Ingeniería Informática. Departamento de Ingeniería de Software y Sistemas Informáticos, 2007-03-30) Heradio Gil, Rubén; Cerrada, José Antonio; Estívariz López, José Félix
    Muchos autores consideran que el desarrollo de familias de productos, frente al construcción individual de productos aislados, es un paso decisivo hacia la realización sistemática de software y la obtención de economía de alcance. Esta tesis se adscribe a esta corriente y propone un nuevo proceso de desarrollo de familias de productos, denominados EDD (Exemplar Driven Development), que aprovecha la similitud entre los productos de una familia para construirlos por analogía. La primera actividad de EDD es la realización de un producto concreto de una familia. A continuación, se busca cómo flexibilizar este ejemplar para que satisfaga los requisitos del resto de los productos. Es decir, se trata de definir formalmente una relación de analogía que permita derivar del ejemplar los demás productos de forma automática. Por último, se obtienen los productos de la familia parametrizando la flexibilización del ejemplar. Entre las aportaciones de EDD, cabe destacar: * Abordar el desarrollo y el mantenimiento de una familia de productos mediante una estrategia sistemática e interactiva. Lo primero que se construye es un ejemplar que satisface los requisitos fijos de la familia. Después, se incorporan progresivamente cepas de flexibilización que implementa los requisitos variables. * Los requisitos fijos de una familia de productos suelen ser más estables que los requisitos variables. EDD separa la implementación de los requisitos fijos (el ejemplar) de la implementación de los requisitos variables (los módulos que flexibilizan el ejemplar). * La decisión de elaborar una familia a menudo se toma al detectar trabajo repetitivo en el desarrollo aislado de varios productos de un dominio o al identificar oportunidades de negocio en la ampliación de las prestaciones de un producto de éxito. EDD reconoce esta situación y trata de aprovecharla mediante la reutilización íntegra de un ejemplar. La tesis explora distintas maneras.
  • Miniatura
    Publicación
    Scalable Sampling of Highly-Configurable Systems: Generating Random Instances of the Linux Kernel
    (Association for Computing Machinery (ACM), 2023-01-05) Mayr Dorn, Christoph; Egyed, Alexander; Fernández Amoros, David José; Heradio Gil, Rubén
    Software systems are becoming increasingly configurable. A paradigmatic example is the Linux kernel, which can be adjusted for a tremendous variety of hardware devices, from mobile phones to supercomputers, thanks to the thousands of configurable features it supports. In principle, many relevant problems on configurable systems, such as completing a partial configuration to get the system instance that consumes the least energy or optimizes any other quality attribute, could be solved through exhaustive analysis of all configurations. However, configuration spaces are typically colossal and cannot be entirely computed in practice. Alternatively, configuration samples can be analyzed to approximate the answers. Generating those samples is not trivial since features usually have inter-dependencies that constrain the configuration space. Therefore, getting a single valid configuration by chance is extremely unlikely. As a result, advanced samplers are being proposed to generate random samples at a reasonable computational cost. However, to date, no sampler can deal with highly configurable complex systems, such as the Linux kernel. This paper proposes a new sampler that does scale for those systems, based on an original theoretical approach called extensible logic groups. The sampler is compared against five other approaches. Results show our tool to be the fastest and most scalable one.
  • Miniatura
    Publicación
    A SCADA oriented middleware for RFID technology
    (Elsevier, 2012-09-01) Abad Cardiel, Ismael; Heradio Gil, Rubén; Cerrada Somolinos, Carlos; Cerrada Somolinos, José Antonio
    Radio Frequency IDentification (RFID) has emerged as the new technology paradigm for acquisition and information management. RFID can be used to improve significantly the efficiency of business processes by providing the capability of automatic identification and data capture. This technology introduces new challenges on data and process information management in current systems. RFID data are timedependent and dynamically changing. In addition, data carry implicit semantics. The homogeneous data processing of such implicit semantics allows us to propose RFID middleware as a WHO–WHEN–WHERE data problem. This paper presents DEPCAS, a new middleware for RFID information based on the SCADA architecture for control systems. An application of DEPCAS is the resolution of heterogeneous situations, which solves the WHAT or context–aware to apply the auto identification data received from RFID systems in business applications.
  • Miniatura
    Publicación
    Group Decision-Making Based on Artificial Intelligence: A Bibliometric Analysis
    (MDPI, 2020) Heradio Gil, Rubén; Fernández Amoros, David José; Cobo, Manuel J.; Cerrada Collado, Cristina; https://orcid.org/0000-0002-7131-0482; https://orcid.org/0000-0001-6575-803X
    Decisions concerning crucial and complicated problems are seldom made by a single person. Instead, they require the cooperation of a group of experts in which each participant has their own individual opinions, motivations, background, and interests regarding the existing alternatives. In the last 30 years, much research has been undertaken to provide automated assistance to reach a consensual solution supported by most of the group members. Artificial intelligence techniques are commonly applied to tackle critical group decision-making difficulties. For instance, experts’ preferences are often vague and imprecise; hence, their opinions are combined using fuzzy linguistic approaches. This paper reports a bibliometric analysis of the ample literature published in this regard. In particular, our analysis: (i) shows the impact and upswing publication trend on this topic; (ii) identifies the most productive authors, institutions, and countries; (iii) discusses authors’ and journals’ productivity patterns; and (iv) recognizes the most relevant research topics and how the interest on them has evolved over the years.
  • Miniatura
    Publicación
    Event-based Control: A Bibliometric Analysis of Twenty Years of Research
    (IEEE, 2020-03-04) Aranda Escolástico, Ernesto; Guinaldo Losada, María; Heradio Gil, Rubén; Chacón, Jesús; Vargas Oyarzún, Héctor; Sánchez, José; Sánchez Moreno, José; Dormido Canto, Sebastián
    The potential benefits of networked control systems are tremendous, as they can be easily upgraded by just including new components (i.e., sensors, actuators, or controllers), avoiding any further modifications to their structure. A critical approach to unleash such potential benefits is event-based control, where the system output turns to be sampled on demand, instead of being sampled constantly at rigid periods of time. This paper analyzes from a bibliometric point of view the literature published for the last twenty years on event-based control, identifying the most relevant articles, authors, institutions, and journals. Moreover, the principal topics, motivations, and problems faced by the researchers are discussed, identifying distinct challenges and opportunities for future research.