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.

LATEST UPDATES

UPCOMING EVENTS

IN THE SPOTLIGHT

[HSCC 23 Best Paper] Distributionally Robust Strategy Synthesis for Switched Stochastic Systems

Introduction Cyber-physical systems (CPS), such as automated vehicles or robotics systems, are often characterized by two common features: i) they are safety-critical, hence formal guarantees of correctness are required, ii)…

[IPSN’23 Best Paper] Network On or Off? Instant Global Binary Decisions over UWB with Flick

In a nutshell: Flick is a novel network primitive that can establish a binary decision over a large wireless network in a fraction of a millisecond, with order-of-magnitude improvement over…

2023 Annual CPS Rising Stars Workshop Trip Report

CPS Rising Star Workshop Poster Session SIGBED was proud to sponsor the Second Annual CPS Rising Stars Workshop hosted by the University of Virginia on May 31, 2023. Executive Committee…

[NSF CAREER Award] NeuralSAT: A CDCL-based constraint solving approach to DNN Verification

Deep Neural Networks (DNNs)  are an incredibly powerful tool for tackling a wide-range of real-world problems, including image recognition, autonomous driving, power grid control, fake news detection, drug synthesis and…

Safety for learned control systems: data-driven proofs via neural certificates

For almost as long as people have been designing control systems, they have been asking “how can we prove that our controller will be safe?” For simple systems (e.g. linear…

[EMSOFT’22 Best Paper ] Tinkertoy: Build your own operating systems for IoT devices

The Evolution of IoT: Diverging Application Requirements The Internet, long the domain of large and/or expensive devices, is now so pervasive that it is possible for tiny devices ranging from…

SIGBED Early Career Researcher Award (2023)

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…

The Next Ten Years of Robotics

As of 2023, the progress in deploying robots in the real world is hard to miss: autonomous vehicles actively drive passengers without safety drivers in San Francisco and Phoenix, personal…

Open Calls

SIGBED Early Career Researcher Award (2022)

ACM SIGBED in 2017 established the Early Career Researcher Award to recognize contributions by junior researchers in the area of…

SIGBED Distinguished Leadership Award 2022

ACM SIGBED established the Distinguished Leadership Award in 2022 to recognize individuals who have exemplary and substantive leadership in leading…

SIGBED Technical Achievement Award 2022

ACM SIGBED established the Technical Achievement Award in 2022 to recognize significant and sustained contributions to research and/or system implementations…

SIGBED Paul Caspi Memorial Dissertation Award 2021-2022

The SIGBED Paul Caspi Memorial Dissertation Award was established in 2013. The award recognizes outstanding doctoral dissertations that significantly advance…

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…