Image

ABOUT

ACM SIGBED is a focal point within the Association for Computing Machinery (ACM) for all aspects of embedded computing systems and cyber-physical systems, including both software and hardware.

Embedded systems is recognized as a key discipline, which includes new computer and systems science foundations, new design technology, and new hardware and software frameworks. SIGBED sponsors major scientific events such as ESWEEK and CPSWEEK. Members of the SIGBED community serve on the editorial boards of ACM Transactions on Embedded Computing Systems, ACM Transactions on Cyber-Physical Systems, ACM Transactions on Sensor Networks, and ACM Transactions on Design Automation of Electronic Systems.

UPCOMING EVENTS

IN THE SPOTLIGHT

Image

Announcement: ACM SIGBED Early Career Researcher Award 2025

We are delighted to announce that the 2025 ACM SIGBED Technical Achievement Award has been awarded to Professor Reinhard Wilhelm of Saarland University. This award, established by ACM SIGBED in…

Image

Announcement: 2025 ACM SIGBED Technical Achievement Award

We are delighted to announce that the 2025 ACM SIGBED Technical Achievement Award has been awarded to Professor Reinhard Wilhelm of Saarland University. This award, established by ACM SIGBED in…

Image

Certifiable, Resilient, and Efficient Real-Time CPS: A Journey in Embedded AI

F1-Tenth racing cars in the RTIS Lab directed by Zhishan Guo When I first encountered an intelligent system missing a deadline—not because of a hardware fault, but due to a…

Image

ACM SIGBED Student Research Competition 2025

ACM SIGBED SRC is the main student research competition in the real-time, embedded, and cyber-physical systems community. There are two categories: Undergraduate and Graduate. The champions will represent SIGBED and…

Image

SIGBED Early Career Researcher Award (2025)

ACM SIGBED in 2017 established the Early Career Researcher Award to recognize contributions by junior researchers in the area of embedded, real-time, and cyber-physical systems. We now encourage SIGBED community…

Image

[EmSoft’24 best paper] Thread Carefully: Preventing Starvation In The ROS 2 Multi-Threaded Executor

Introduction From autonomous vehicles navigating city streets to robots managing packages in warehouses, robotics is reshaping industries across the globe. The Robot Operating System 2 (ROS 2) plays a pivotal…

Image

2024-2025 ACM SIGBED Paul Caspi Memorial Dissertation Award

The SIGBED Paul Caspi Memorial Dissertation Award was established in 2013. The award recognizes outstanding doctoral dissertations that significantly advance the state of the art in the science of embedded…

Image

SIGBED Technical Achievement Award 2025

ACM SIGBED established the Technical Achievement Award in 2022 to recognize significant and sustained contributions to research and/or system implementations relevance to SIGBED, such as those over embedded, real-time, and…

Open Calls

Image

25 Years of Counterexample Guided Abstraction Refinement

Counterexample Guided Abstraction Refinement (CEGAR) has been a powerful paradigm in formal verification. The basic step in CEGAR is to refine the abstraction used in formal verification based on spurious…

Image

CACM Research Highlights Nominations

The SIGBED Research Highlights Nomination (RHN) sub-committee selects papers for consideration in the Communications of the ACM (CACM) Research Highlights (https://cacm.acm.org). The chair or co-chairs of  the SIGBED RHN sub-committee…