EDBT 2026 Demo / reviewers in the wild / expert
Hipólito Guzmán-Miranda
dblp:29/6403
· DBLP profile ↗
12ranked-venue papers
1as first author
3since 2021 · last 2024
0000-0002-2896-5897ORCID · verified
Domains — the database's venue-derived domains; a paper can count in several
Systems, architecture and hardware · 8 · 2 since 2021Software engineering, systems software and programming languages · 3Applied, interdisciplinary, general and emerging computing · 2 · 1 first-author · 1 since 2021Security and privacy · 1
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Computer architecture, parallel and distributed computing, and storage systems
1 paper |
Hardware reliability and fault tolerance · 50% Distributed systems · 50% | |
| Software engineering, system software, and programming languages
1 paper |
Compilers and program optimization · 100% |
Topics — the 2 heaviest of 3, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Distributed systems › fault tolerance
fault-tolerant embedded system |
0.1 | 1 | 2012 | Compiler-Directed Soft Error Mitigation for Embedded Systems · IEEE Trans. Dependable Secur. Comput. 2012 |
Hardware reliability and fault tolerance › soft errors
soft error mitigation |
0.1 | 1 | 2012 | Compiler-Directed Soft Error Mitigation for Embedded Systems · IEEE Trans. Dependable Secur. Comput. 2012 |
Methods — techniques the papers use, named apart from their topics
software-based mitigation · 0.3selective protection · 0.3SWIFT-R · 0.3
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2024 | WalkIES robotic walker and brief description of standard and robotic walkersabstractAccording to the World Health Organization (WHO), the population of people over 80 years of age is projected to triple by 2050, due to advances in quality of life, as well as continued progress in medicine and technology. With this context in mind, this article focuses on conducting a comprehensive study on conventional walkers, which represent a fundamental tool to improve the mobility of elderly people. The main objective of this study is to establish the foundations for the design of walkers, with the purpose of identifying the functional and end user requirements under the WalkIES project funded by IEEE’s Industrial Electronics Society (IES). In this initial phase, we seek to define the ergonomic design of a conventional walker, evaluating its advantages and disadvantages, in addition to establishing the standards that these devices must meet. Based on the results obtained, the specific characteristics of the WalkIES walker will be determined. Additionally, international manufacturing standards for walkers are examined and detailed, taking into account the specific features necessary to ensure the effectiveness and safety of these devices for elderly people. Special attention is paid to the individual characteristics of each component that makes up the walkers, with the aim of optimizing their functionality and comfort for the user. In summary, the study of walkers and the establishment of standards are essential to address the mobility needs of the elderly population and those who require assistance to walk, guaranteeing their safety, comfort, and quality of life, as well as to define the requirements of design and manufacturing for robotic walker WalkIES. Larisa Dunai 0001, Isabel Seguí-Verdú, Alin Tisan, Hipólito Guzmán-Miranda, Victor Huang, Cheng-Jen Allen Chen, Daswin De Silva, Stamatis Karnouskos, Daisuke Chugo, Valeriy Vyatkin |
IECON | 4 |
| 2024 | Lynx: An Efficient and Flexible Communication Schema for On-Chip and Off-Chip Applications in Distributed Static Industrial NetworksabstractIn this article, an efficient and flexible communication schema for on-chip and off-chip communication is presented. With a reduced header size, the proposal can achieve high communication efficiency among the devices of a distributed static network or the internal components in a system-on-chip. In addition, the proposal is very versatile in terms of network configurations and topologies. An FPGA implementation of the proposal has been developed and thoroughly verified, both in simulation and when implemented in two different FPGA devices. The prototypes are exhibiting good results which validate the expected performance, with an efficient use of device resources. As a result, the proposed schema can both improve existing applications whose performance is affected by communication overhead and enable new industrial applications that require efficient communications in distributed static networks. Hipólito Guzmán-Miranda, Abraham Marquez 0001 |
IEEE Trans. Ind. Informatics | 1 |
| 2021 | A Cross-Disciplinary View of Industrial Electronics: Change, Chance, and ChallengeabstractThis paper presents a cross-disciplinary view of industrial electronics for building a sustainable society. After explaining efforts and challenges from human factors, professional education, electronic systems on chip, technology ethics and society, and standards, we suggest a methodology for cross-disciplinary technology integrating the above-mentioned fields, in which the technical committees in Cluster 4, Industrial Electronics Society, play an active part. Jinhua She, Hipólito Guzmán-Miranda, Victor K. L. Huang, Allen C. Chen, Stamatis Karnouskos, Larisa Dunai 0001, Alin Tisan, Sho Yokota |
IECON | 2 |
| 2014 | Early assessment of SEU sensitivity through untestable fault identificationabstractModern digital circuits are, with each technological evolution, increasingly affected by Single Event Upsets (SEUs). In this paper we propose a static analysis approach for the estimation of the SEU sensitivity of the system under design by identifying untestable faults. The approach relies on a formal specification language to model circuits at the gate-level and on the Linear Temporal Logic (LTL) to express untestability properties that are then evaluated using a model-checking tool. The proposed approach can be applied early during the design process, since it can be individually applied to sub-systems as soon as they are designed, before the whole system is implemented and since it does not require a specific workload to be defined. The approach has been implemented and applied to a set of circuits from the ITC99 benchmark and has been validated against fault injection experiments. Luca Cassano, Hipólito Guzmán-Miranda, Miguel A. Aguirre |
IOLTS | 2 |
| 2014 | Two complementary approaches for studying the effects of SEUs on HDL-based designsabstractIn this paper, a comparison between two HDL-based fault-injection methods, FT-UNSHADES and NETFI, is presented. Fault-injection campaigns were performed on a third party example, named KECCAK sponge function family circuit dedicated for cryptography which is available as an open core. The comparison of both methodologies shows a similarity in the results and enlightens a problem that affects fault-injection systems related to how the synthesis and the simulation is made. Wassim Mansour, Miguel A. Aguirre, Hipólito Guzmán-Miranda, Javier Barrientos Rojas, Raoul Velazco |
IOLTS | 3 |
| 2013 | Implementation of a machine vision system for real-time traffic sign recognition on FPGAabstractReal-time traffic sign recognition has been object of in-depth studies in the last years, and it has become one of the main pillars of Driver Support Systems (DSS). The purpose of this paper is to show a complete implementation of a real-time traffic sign recognition working on reconfigurable logic. The system has been proved to work at 60 frames per second with a video resolution of 1280×720 pixels, and is able to handle simultaneously up to 8 road signs in the same frame. Nicolas Aguirre-Dobernack, Hipólito Guzmán-Miranda, Miguel A. Aguirre |
IECON | 2 |
| 2013 | Exploiting Fault Model Correlations to Accelerate SEU Sensitivity AssessmentabstractNowadays, integrated circuit technologies are increasingly being more susceptible to ionizing radiation effects. In order to assess the reliability of a digital system performing a specific application and to identify the most critical failure effects, radiation experiments and fault injection campaigns are usually performed, which may be costly and time-expensive. This paper proposes a fully automated, practical methodology for accelerating Single-Event-Upset (SEU) fault injection campaigns in digital circuits. The main underlying principle is based on the correlation between the effects of the SEU fault model with the Stuck-At (SA) one. Circuital and functional analysis and experimental case studies confirm the effectiveness of the proposed solutions. Michelangelo Grosso, Hipólito Guzmán-Miranda, Miguel A. Aguirre |
IEEE Trans. Ind. Informatics | 2 |
| 2012 | Compiler-Directed Soft Error Mitigation for Embedded SystemsabstractThe protection of processor-based systems to mitigate the harmful effect of transient faults (soft errors) is gaining importance as technology shrinks. At the same time, for large segments of embedded markets, parameters like cost and performance continue to be as important as reliability. This paper presents a compiler-based methodology for facilitating the design of fault-tolerant embedded systems. The methodology is supported by an infrastructure that permits to easily combine hardware/software soft errors mitigation techniques in order to best satisfy both usual design constraints and dependability requirements. It is based on a generic microprocessor architecture that facilitates the implementation of software-based techniques, providing a uniform isolated-from-target hardening core that allows the automatic generation of protected source code (hardened code). Two case studies are presented. In the first one, several software-based mitigation techniques are implemented and evaluated showing the flexibility of the infrastructure. In the second one, a customized fault tolerant embedded system is designed by combining selective protection on both hardware and software. Several trade-offs among performance, code size, reliability, and hardware costs have been explored. Results show the applicability of the approach. Among the developed software-based mitigation techniques, a novel selective version of the well known SWIFT-R is presented. Antonio Martínez-Álvarez, Sergio Cuenca-Asensi, Felipe Restrepo-Calle, Francisco R. Palomo, Hipólito Guzmán-Miranda, Miguel A. Aguirre |
IEEE Trans. Dependable Secur. Comput. | 5 |
| 2011 | Soft core based embedded systems in critical aerospace applications
Sergio Cuenca-Asensi, Antonio Martínez-Álvarez, Felipe Restrepo-Calle, Francisco R. Palomo, Hipólito Guzmán-Miranda, Miguel A. Aguirre |
J. Syst. Archit. | 5 |
| 2010 | Rapid Prototyping of Radiation-Tolerant Embedded Systems on FPGAabstractTechnological advances of Field Programmable Gate Array (FPGA) are making that this technology becomes the most preferred platform for the rapid prototyping of highly integrated digital systems. In addition, protection of processor-based systems to mitigate the harmful effects of radiation-induced upset events is gaining importance while technology shrinks. In this context, the main contribution of this work is a novel rapid prototyping approach for the co-design of dependable embedded systems using FPGA. This is supported by a hardening platform that allows combining software-only fault-tolerance techniques with hardware-only approaches, representing several trade-offs among design constraints, reliability and cost. As case study, several radiation-tolerant embedded systems have been developed based on a technology-independent version of the Picoblaze processor. Felipe Restrepo-Calle, Antonio Martínez-Álvarez, Francisco R. Palomo, Hipólito Guzmán-Miranda, Miguel A. Aguirre, Sergio Cuenca-Asensi |
FPL | 4 |
| 2010 | A compiler-based infrastructure for fault-tolerant co-designabstractThe protection of processor-based systems to mitigate the harmful effects of transient faults (hardening) is gaining importance as technology shrinks. Hybrid hardware/software hardening approaches are promising alternatives in the design of such fault tolerant systems. This paper presents a compiler-based infrastructure for facilitating the exploration of the design space between hardware-only and software-only fault tolerant techniques. The compiler design is based on a generic architecture that facilitates the implementation of software-based techniques, providing an uniform isolated-from-target hardening core. In this way, these methods can be implemented in an architecture independent way and can easily integrate new protection mechanisms to automatically produce hardened code. The infrastructure includes a simulator that provides information about memory and execution time overheads to aid the designer in the co-design decisions. The tool-chain is complemented by a hardware fault emulation tool that allows to measure the fault coverage of the different solutions running on the real system. A case study was implemented allowing to evaluate the flexibility of the infrastructure to fit the reliability requirements of the system within their memory and performance restrictions. Felipe Restrepo-Calle, Antonio Martínez-Álvarez, Hipólito Guzmán-Miranda, Francisco R. Palomo, Miguel A. Aguirre, Sergio Cuenca-Asensi |
SCOPES | 3 |
| 2008 | On the design of tunable fault tolerant circuits on SRAM-based FPGAs for safety critical applicationsabstractMission-critical applications such as space or avionics increasingly demand high fault tolerance capabilities of their electronic systems. Among the fault tolerance characteristics, the performance and costs of an electronic system remain the leader factors in the space and avionics market. In particular, when considering SRAM-based FPGAs, specific hardening techniques generally based on Triple Modular Redundancy need to be adopted in order to guarantee the desired fault tolerance degree. While effectively increasing the fault tolerance capability, these techniques introduce an important performance degradation and a dramatic area overhead, that results in higher design costs. In this paper, we propose an innovative design flow that allow the implementation of fault tolerance circuits in SRAM-based FPGA devices with different fault tolerance capability degrees. We introduce a new metric that allows a designer to precisely estimate and set the desired fault tolerance capabilities. Experimental analysis performed on a realistic industrial-type case study demonstrates the efficiency of our methodology. Luca Sterpone, Miguel A. Aguirre, Jonathan Noel Tombs, Hipólito Guzmán-Miranda |
DATE | 4 |