Persona: Heradio Gil, Rubén
Cargando...
Dirección de correo electrónico
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
18 resultados
Resultados de la búsqueda
Mostrando 1 - 10 de 18
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énSoftware 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.Publicación A Rule-Learning Approach for Detecting Faults in Highly Configurable Software Systems from Uniform Random Samples(2022) Heradio Gil, Rubén; Fernández Amoros, David José; Ruiz Parrado, Victoria; Cobo, Manuel J.; https://orcid.org/0000-0003-2993-7705; http://orcid.org/ 0000-0001-6575-803XSoftware systems tend to become more and more configurable to satisfy the demands of their increasingly varied customers. Exhaustively testing the correctness of highly configurable software is infeasible in most cases because the space of possible configurations is typically colossal. This paper proposes addressing this challenge by (i) working with a representative sample of the configurations, i.e., a ``uniform'' random sample, and (ii) processing the results of testing the sample with a rule induction system that extracts the faults that cause the tests to fail. The paper (i) gives a concrete implementation of the approach, (ii) compares the performance of the rule learning algorithms AQ, CN2, LEM2, PART, and RIPPER, and (iii) provides empirical evidence supporting our procedurePublicación Pragmatic Random Sampling of the Linux Kernel: Enhancing the Randomness and Correctness of the conf Tool(Association for Computing Machinery, New York, 2024-09-02) Fernández Amoros, David José; Heradio Gil, Rubén; Horcas Aguilera, Jose Miguel; Galindo, José A.; Benavides, David; Fuentes, Lidia; https://orcid.org/0000-0003-3758-0195; https://orcid.org/0000-0002-5677-7156; https://orcid.org/0000-0002-8449-3273; https://orcid.org/0000-0001-9293-9784The configuration space of some systems is so large that it cannot be computed. This is the case with the Linux Kernel, which provides almost 19,000 configurable options described across more than 1,600 files in the Kconfig language. As a result, many analyses of the Kernel rely on sampling its configuration space (e.g., debugging compilation errors, predicting configuration performance, finding the configuration that optimizes specific performance metrics, etc.). The Kernel can be sampled pragmatically, with its built-in tool conf, or idealistically, translating the Kconfig files into logic formulas. The pros of the idealistic approach are that it provides statistical guarantees for the sampled configurations, but the cons are that it sets out many challenging problems that have not been solved yet, such as scalability issues. This paper introduces a new version of conf called randconfig+, which incorporates a series of improvements that increase the randomness and correctness of pragmatic sampling and also help validate the Boolean translation required for the idealistic approach. randconfig+ has been tested on 20,000 configurations generated for 10 different Kernel versions from 2003 to the present day. The experimental results show that randconfig+ is compatible with all tested Kernel versions, guarantees the correctness of the generated configurations, and increases conf’s randomness for numeric and string options.Publicación Finding Near-optimal Configurations in Colossal Spaces with Statistical Guarantees(Association for Computing Machinery (ACM), 2023-11-23) Oh, Jeho; Batory, Don; Heradio Gil, RubénA Software Product Line (SPL) is a family of similar programs. Each program is defined by a unique set of features, called a configuration, that satisfies all feature constraints. “What configuration achieves the best performance for a given workload?” is the SPLOptimization (SPLO) challenge. SPLO is daunting: just 80 unconstrained features yield 1024 unique configurations, which equals the estimated number of stars in the universe. We explain (a) how uniform random sampling and random search algorithms solve SPLO more efficiently and accurately than current machine-learned performance models and (b) how to compute statistical guarantees on the quality of a returned configuration; i.e., it is within x% of optimal with y% confidence.Publicación Scalable Hybrid Laboratories: Application in Industrial Automation(ELSEVIER, 2025-05-27) Vilches, Marco; Vargas, Héctor; Torre Cubillo, Luis de la; Heradio Gil, RubénSome of the most critical competencies that automation and control students must acquire to become capable engineers require hands-on laboratory expe- riences under conditions that closely resemble real-world work environments. However, current practical laboratories often face challenges in recreating re- alistic and scalable industrial contexts, making it difficult to develop these competencies. This article presents the development and implementation of a hybrid laboratory proposal to address these challenges. The prototype, de- signed for training automation engineers, integrates real control devices with simulated digital replicas of processes, allowing the scalability of the system to address a wide variety of industry-like scenarios. The general design, its physical and virtual implementation, the communication of its components, and the installation and operation context are detailed. The article concludes with the potential advantages and benefits of the hybrid laboratory from an academic teaching perspective, the training of industry professionals, and the technical optimization of the engineering problem addressed.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ánThe 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.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-803XDecisions 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.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ánThe 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.Publicación Teaching Automation with Factory I/O under a Competency-Based Curriculum(Springer, 2022-10-22) Vargas Oyarzún, Héctor; Heradio Gil, Rubén; Donoso, Matias; Farias, GonzaloSome of the most critical competencies students need to acquire to become control engineers require performing practices under actual industrial conditions. This means that they must not only master the theoretical aspects of the discipline but also acquire skills and attitudes to face unpredictable real-world situations. Software tools such as Matlab/Simulink are widely used to train the design and validation of controllers, but they fail to provide real industrial contexts. Nowadays, there are 3D simulation tools that support recreating industrial environments to a remarkable extent, making them very attractive for university courses. Nevertheless, their application in engineering courses is scarce yet. This paper presents a methodological framework for seizing into competency-based courses one of these simulation tools, called Factory I/O. Our approach was evaluated in a master’s course on Industrial PID Control at Pontifical Catholic University of Valparaíso (PUCV) in Chile. The evaluation comprised the qualitative analysis of students’ grades over four consecutive course editions and the qualitative study of students’ opinion on Factory I/O educational value. The objectives of our evaluation were (i) testing if Factory I/O helped students develop skills hard to practice in academic contexts, such as detecting faults or recognizing the importance of having well-defined operation protocols; (ii) validating our methodology for competency-based courses; and (iii) surveying our students about Matlab/Simulink and Factory I/O strengths/weaknesses to teach control engineering. According to the results, (a) Factory I/O complements Simulink by providing an adequate virtual environment to learn the aforementioned skills; and (b) our methodology supports courses’ continuous improvement through the statistical analysis of students’ achievements at different abstraction levels.Publicación Using IoT-Type Metadata and Smart Web Design to Create User Interfaces Automatically(Institute of Electrical and Electronics Engineers (IEEE), 2023-02) Chacón, Jesús; Chandramouli, Rajarathnam; Torre Cubillo, Luis de la; Chaos García, Dictino; Heradio Gil, RubénThe advent of the Internet of Things has generated loads of data from the devices that are now connected to the Internet. While the majority of the data corresponds to measurements done by these devices, there is a second type of information (the metadata) that provides information about the devices themselves. Most of this metadata is still underused when used at all. On the other hand, the graphical user interfaces that allow operating and/or monitoring the connected devices from a computer or smartphone, are usually programmed from zero. However, the metadata that describes the main properties of the devices (i.e., inputs, outputs, precision, range, etc.) can be used along with smart web design techniques to automatically create these interfaces. This article proposes a framework to achieve this, and presents an application example consisting of an online lab of a servo-motor.