English
Related papers

Related papers: Systematic Hardware Integration Testing for Smart …

200 papers

To fill the lack of research efforts in virtual assembly of modules and training, this paper presents a virtual manipulation of building objects in an Immersive Virtual Environment (IVE). A worker wearing a Virtual Reality (VR) head-mounted…

Computers and Society · Computer Science 2019-02-15 Mojtaba Noghabaei , Khashayar Asadi , Kevin Han

Different hardware platforms and their associated real time operating systems that can be used in an educational laboratory for illustrating engine electronic control unit hardware in the loop testing are presented and compared in this…

Systems and Control · Electrical Eng. & Systems 2020-12-03 Sertac Karaman , Levent Guvenc

PCIe-connected FPGAs are gaining popularity as an accelerator technology in data centers. However, it is challenging to jointly develop and debug host software and FPGA hardware. Changes to the hardware design require a time-consuming FPGA…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-01-28 Shenghsun Cho , Mrunal Patel , Basavaraj Kaladagi , Han Chen , Tapti Palit , Michael Ferdman , Peter Milder

Development of fast methods to conduct in silico experiments using computational models of cellular signaling is a promising approach toward advances in personalized medicine. However, software-based cellular network simulation has…

Molecular Networks · Quantitative Biology 2018-11-20 Kevin Gilboy , Khaled Sayed , Niteesh Sundaram , Kara Bocan , Natasa Miskov-Zivanov

Model checking is an established technique to formally verify automation systems which are required to be trusted. However, for sufficiently complex systems model checking becomes computationally infeasible. On the other hand, testing,…

Software Engineering · Computer Science 2019-07-30 Igor Buzhinsky , Valeriy Vyatkin

A centralized microgrid power management and control system is developed and tested with a Hardware-In-the-Loop (HIL) Real-Time Digital Simulator (RTDS) model of an existing microgrid that communicates in real-time with the controller over…

On a commercial digital still camera (DSC) controller chip we practice a novel SOC test integration platform, solving real problems in test scheduling, test IO reduction, timing of functional test, scan IO sharing, embedded memory built-in…

Hardware Architecture · Computer Science 2011-11-09 Cheng-Wen Wu

As the complexity of the scan algorithm is dependent on the number of design registers, large SoC scan designs can no longer be verified in RTL simulation unless partitioned into smaller sub-blocks. This paper proposes a methodology to…

Other Computer Science · Computer Science 2014-09-12 Bill Jason Tomas , Yingtao Jiang , Mei Yang

For proper planning, operation, control, and protection of the power system, the development of a suitable steady-state mathematical model of FACTS devices is a key issue. The Fast and Flexible Holomorphic Embedding (FFHE) method converges…

Systems and Control · Electrical Eng. & Systems 2021-01-28 Pradeep Singh , Nilanjan Senroy

The Controller Hardware_in_the_loop (CHIL) simulation is gaining popularity as a cost_effective, efficient, and reliable tool in the design and development process of fast_growing electrified transportation power converters. However, it is…

Systems and Control · Electrical Eng. & Systems 2023-11-14 Jialin Zheng , Yangbin Zeng , Han Xu , Weicheng Liu , Di Mou , Zhengming Zhao

Modern Systems-on-Chip (SoCs) incorporate built-in self-test (BIST) modules deeply integrated into the device's intellectual property (IP) blocks. Such modules handle hardware faults and defects during device operation. As such, BIST…

Hardware Architecture · Computer Science 2025-02-18 Saleh Mulhem , Christian Ewert , Andrija Neskovic , Amrit Sharma Poudel , Christoph Hübner , Mladen Berekovic , Rainer Buchty

The design of Systems on Chips (SoCs) is becoming more and more complex due to technological advancements. Missed bugs can cause drastic failures in safety-critical environments leading to the endangerment of lives. To overcome these…

Hardware Architecture · Computer Science 2024-10-25 Bryan Olmos , Daniel Gerl , Aman Kumar , Djones Lettnin

The design and analysis of systems that combine computational behaviour with physical processes' continuous dynamics - such as movement, velocity, and voltage - is a famous, challenging task. Several theoretical results from programming…

Systems and Control · Electrical Eng. & Systems 2024-11-22 Pedro Mendes , Ricardo Correia , Renato Neves , José Proença

The growing complexity of cyber-physical systems (CPSs) calls for early prototyping tools that combine accuracy, speed, and usability. Virtual Platforms (VPs) provide fast functional simulation, but hybrid co-emulation solutions, in which…

Autonomous vehicle (AV) algorithms need to be tested extensively in order to make sure the vehicle and the passengers will be safe while using it after the implementation. Testing these algorithms in real world create another important…

Robotics · Computer Science 2022-12-23 Sukru Yaren Gelbal , Bilin Aksun-Guvenc , Levent Guvenc

Integrated circuit verification has gathered considerable interest in recent times. Since these circuits keep growing in complexity year by year, pre-Silicon (pre-SI) verification becomes ever more important, in order to ensure proper…

Artificial Intelligence · Computer Science 2023-06-26 Cristian Manolache , Cristina Andronache , Alexandru Caranica , Horia Cucu , Andi Buzo , Cristian Diaconu , Georg Pelz

High-speed imaging of cells in flow is essential for probing cellular heterogeneity in large populations. Existing imaging approaches based on single-pixel detection and spatio-temporal encoding provide exceptional speed, but typically rely…

The Power Hardware-In-the-Loop (PHIL) technology provides a powerful tool for testing scenarios where there is a high-power interchange, in which the performance of field tests can be very complex or expensive. When performing PHIL…

Systems and Control · Electrical Eng. & Systems 2024-02-01 Marina Sanz , Daniel Santamargarita , Francisco Huerta , Diego Ochoa , Antonio Lazaro , Andres Barrado

ECG digitization could unlock billions of archived clinical records, yet existing methods collapse on real-world images despite strong benchmark numbers. We introduce \textbf{VLM-in-the-Loop}, a plug-in quality assurance module that wraps…

Computer Vision and Pattern Recognition · Computer Science 2026-04-02 Jiachen Li , Shihao Li , Soovadeep Bakshi , Wei Li , Dongmei Chen

This paper demonstrates a visual servoing method which is robust towards uncertainties related to system calibration and grasping, while significantly reducing the peg-in-hole time compared to classical methods and recent attempts based on…

Robotics · Computer Science 2020-11-13 Rasmus Laurvig Haugaard , Jeppe Langaa , Christoffer Sloth , Anders Glent Buch