The idea of creating machines able to reason like humans is not new and has been introduced by Alan Turing in his seminal paper ”Can Machines Think?” which gave raise…
For the last two years, Chuchu Fan and Stanley Bak have served as the SIGBED Blog editors. The blog has continued to publish a stream of content related to technical…
SIGBED is introducing a new program to recognize promising young scholars with an interest in the Internet of Things, embedded systems, or cyber-physical systems. The progam is open to students…
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 Frank Anger Memorial Award is a student award in the name of late Dr. Frank Anger to promote cross-disciplinary research between embedded systems and software engineering. SIGBED solicits applications…
In the domain of cyber-physical systems, linear hybrid automata have emerged as a pivotal tool for modeling and verifying complex behaviors that involve both event-driven (discrete) and time-driven (continuous) changes.…
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…
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)…
