
Post by: Alessandro Biondi, Claire Pagetti in SIGBED Blog
Welcome to the report on the 23rd ACM SIGBED International Conference on Embedded Software (EMSOFT’23)! EMSOFT is held as part of Embedded Systems Week (ESWEEK), the annual highlight event of the embedded systems community. ESWEEK also features the International Conference on Compilers, Architectures, and Synthesis for Embedded Systems (CASES) and the International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS).…

Post by: Ibon Gracia, Dimitris Boskos, Luca Laurenti, Manuel Mazo Jr. in SIGBED Blog
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) they are affected by uncertainty, which is generally modeled through stochastic noise. Various formal verification and synthesis algorithms have been developed for these systems, with approaches including stochastic barrier functions…

Post by: Gian Pietro Picco, Enrico Soprana, Matteo Trobinger, Davide Vecchia in SIGBED Blog
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 state of the art. Introduction: Low-power wireless & concurrent transmissions Low-power wireless networks are used in a wide range of applications, from sensing to localization. With no cabling involved, installation…

Post by: sigbedadmin in SIGBED Blog
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 member, Wanli Chang, represented SIGBED and delivered a welcome talk. Thirty-four Rising Stars were selected from a competitive applicant pool of 117. The workshop also exceeded its aim to increase…

Post by: ThanhVu Nguyen, Hai Duong in SIGBED Blog
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 discovery, and even COVID-19 detection and diagnosis. However, similar to any software system, DNNs can have "bugs" that cause unexpected results when presented with inputs that are different from those…

Post by: Charles Dawson, Chuchu Fan in SIGBED Blog
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 or low-dimensional polynomial dynamics), we might be able to hand-analyze the system and prove that it will be safe, but this manual analysis quickly becomes untenable as the systems dynamics…

Post by: Jerry Wang, Margo Seltzer in SIGBED Blog
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 fitness trackers to doorbells to be interconnected, forming a bridge between the physical and digital worlds. Unfortunately, general-purpose operating systems, such as Windows and Linux, cannot run on these tiny…

Post by: Sylvia Herbert, Andrea Bajcsy, David Fridovich-Keil, Shreyas Kousik in SIGBED Blog
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 drones for videography can autonomously track human movement despite hard-to-sense obstacles like tree branches, and lightweight robotic manipulators have become more accessible to people with motor impairments. Nevertheless, these robots…

Post by: sigbedadmin in SIGBED Blog
Copyright free image from Pixabay.com The second Cyber Physical Systems (CPS) Rising Stars Workshop, which is sponsored by the National Science Foundation, will be held at the University of Virginia (Charlottesville, VA) on May 31, 2023. This workshop aims to identify and mentor outstanding PhD students and postdocs who are interested in pursuing academic careers in CPS related areas. It…

Post by: Marilyn Wolf in SIGBED Blog
Deep Samal, Dung Tran, and Marilyn Wolf are organizing a new workshop at CPS-IoT Week this year: the International Workshop on Perception for Safety-Critical Cyber-Physical Systems (PerCPS ’23). This workshop is intended to provide a bridge between machine learning for perception and cyber-physical systems. Perception is a critical capability for autonomous cyber-physical systems. Cyber-physical automatons need to be able to…