English
Related papers

Related papers: Hardware and software build flow with SoCMake

200 papers

With the growing use of embedded systems in various industries, the need for automated platforms for the development and deployment of customized Linux-based operating systems has become more important. This research was conducted with the…

Software Engineering · Computer Science 2025-10-27 Behnam Agahi , Hamed Farbeh

Embedded systems are playing an increasingly important role in control engineering. Despite their popularity, embedded systems are generally subject to resource constraints and it is therefore difficult to build complex control systems on…

Other Computer Science · Computer Science 2008-09-30 Longhua Ma , Feng Xia , Zhe Peng

AI-for-Code (AI4Code) systems are reshaping software engineering, with tools like GitHub Copilot accelerating code generation, translation, and vulnerability detection. Alongside these advances, however, security risks remain pervasive:…

Cryptography and Security · Computer Science 2025-12-23 Qilong Wu , Taoran Li , Tianyang Zhou , Varun Chandrasekaran

This paper presents an open-source, lightweight, yet comprehensive software framework, named RPC, which integrates physics-based simulators, planning and control libraries, debugging tools, and a user-friendly operator interface. RPC…

Robotics · Computer Science 2024-09-17 Seung Hyeon Bang , Carlos Gonzalez , Gabriel Moore , Dong Ho Kang , Mingyo Seo , Luis Sentis

The applications for IEC 61499 that is standard architecture for developing the applications of distributed control and measurement in factory automation, have the connected structure of the graphical elements called BFB(basic function…

Distributed, Parallel, and Cluster Computing · Computer Science 2018-05-24 Won-je Kim , Song-il Cha , Kyong-Jin Sok

As Moore's Law has slowed and Dennard Scaling has ended, architects are increasingly turning to heterogeneous parallelism and domain-specific hardware-software co-designs. These trends present new challenges for simulation-based performance…

RISC-V allows for building general-purpose computing platforms with programmable accelerators around a single open-source ISA. However, leveraging heterogeneous SoCs within high-level applications is a tedious task. In this preliminary…

Hardware Architecture · Computer Science 2025-04-08 Cyril Koenig , Enrico Zelioli , Frank K. Gürkaynak , Luca Benini

Today, our lifestyle revolves around digital devices powered by microprocessors of different instruction set architectures (ISA). Among them, the most common are x86 and ARM, the brainpower of our computers and smartphones. Reduced…

Computational Engineering, Finance, and Science · Computer Science 2024-02-06 Tahmid Noor Rahman , Nusaiba Khan , Zarif Ishmam Zaman

Large language models (LLMs) have shown promise in register-transfer level (RTL) design automation, but direct RTL generation remains difficult to validate, optimize, and integrate with compiler-based hardware design flows. Hardware…

Hardware Architecture · Computer Science 2026-05-19 Shuo Yin , Yihe Wang , Lancheng Zou , Xufeng Yao , Tinghuan Chen , Chen Bai , Zhengrong Wang , Tsung-Yi Ho , Bei Yu

Infrastructure-as-code (IaC) is a practice to implement continuous deployment by allowing management and provisioning of infrastructure through the definition of machine-readable files and automation around them, rather than physical…

Software Engineering · Computer Science 2020-07-08 Stefano Dalla Palma , Dario Di Nucci , Fabio Palomba , Damian A. Tamburri

Modern SoC-FPGA that consists of FPGA with embedded ARM cores is being popularized as an embedded vision system platform. However, the design approach of SoC-FPGA applications still follows traditional hardware-software separate workflow,…

Other Computer Science · Computer Science 2015-09-02 Shaodong Qin , Mladen Berekovic

With the advent of smart industry, Industrial Control Systems (ICS) are increasingly using Cloud, IoT, and other services to meet Industry 4.0 targets. The connectivity inherent in these services exposes such systems to increased…

Cryptography and Security · Computer Science 2023-05-12 Alireza Dehlaghi-Ghadim , Ali Balador , Mahshid Helali Moghadam , Hans Hansson , Mauro Conti

Virtual Prototypes act as an executable specification model, offering a unified behavior reference model for SW and HW engineers. However, between the VP and the HW still exists a gap, as the step from an architectural level VP…

Hardware Architecture · Computer Science 2023-11-02 Sallar Ahmadi-Pour , Pascal Pieper , Rolf Drechsler

The complexity and size increase of software has extended the delay for developers as they wait for code analysis and code merge. With the larger and more complex software, more developers nowadays are developing software with large source…

Software Engineering · Computer Science 2021-02-01 Geunsik Lim , MyungJoo Ham , Jijoong Moon , Wook Song

Fault injection attacks deliberately inject faults into a device via physical channels to disturb its regular execution. Adversaries can effectively deduce secrets by analyzing both the normal and faulty outputs, posing serious threats to…

Cryptography and Security · Computer Science 2026-04-07 Xi Yang , Taolue Chen , Yuqi Chen , Fu Song , Chundong Wang , Zhilin Wu

The electrical and electronic engineering has used parallel programming to solve its large scale complex problems for performance reasons. However, as parallel programming requires a non-trivial distribution of tasks and data, developers…

Distributed, Parallel, and Cluster Computing · Computer Science 2011-07-05 Antonio Wendell De Oliveira Rodrigues , Frédéric Guyomarc'H , Jean-Luc Dekeyser , Yvonnick Le Menach

Secure multi-party computation (SMC) techniques are increasingly becoming more efficient and practical thanks to many recent novel improvements. The recent work have shown that different protocols that are implemented using different…

Cryptography and Security · Computer Science 2016-05-03 Erman Pattuk , Murat Kantarcioglu , Huseyin Ulusoy , Bradley Malin

In recent years, blockchain has been growing rapidly from a niche technology to a promising solution for many sectors, due to its unique properties that empower the design of innovative applications. Nevertheless, the development of…

Software Engineering · Computer Science 2022-08-03 Nicolas Six , Nicolas Herbaut , Roberto Erick Lopez-Herrejon , Camille Salinesi

Quantum resources are increasingly integrated into high-performance computing (HPC) and cloud environments, but quantum high-performance computing (QHPC) software stacks remain isolated, often proprietary, full-stack solutions lacking…

Functional verification is a critical bottleneck in integrated circuit development, with CPU verification being especially time-intensive and labour-consuming. Industrial practice relies on differential testing for CPU verification, yet…

Hardware Architecture · Computer Science 2025-11-11 Jialin Sun , Yuchen Hu , Dean You , Yushu Du , Hui Wang , Xinwei Fang , Weiwei Shan , Nan Guan , Zhe Jiang