EMSOFT 2025: 25th International Conference on Embedded Software
Real-Time Scheduling
Transfer Schedulability in Periodic Real-Time Systems
Schedule synthesis for synchronous dataflow models with lower and upper timing bounds
Quasi-Static Scheduling for Deterministic Timed Concurrent Models on Multi-Core Hardware
Shaokai Lin,
Erling Jellum,
Mirco Theile,
Tassilo Tanneberger,
Binqi Sun,
Chadlia Jerad,
Ruomu Xu,
Guangyu Feng,
Magnus Mæhlum,
Martin Schoeberl,
Linh Thi Xuan Phan,
Jeronimo Castrillon,
Sanjit A. Seshia, and
Edward A. Lee
FC-GPU: Feedback Control GPU Scheduling for Real-time Embedded Systems
Cyber-Physical Systems
A Tunable Generic Meta-Heuristic Framework for Balancing Assembly Line Systems in Manufacturing
SecureRide: Detecting Safety-threatening Behavior of E-Scooters Using Battery Information
Real-Time Video-based Human Action Recognition on Embedded Platforms
A Discrete Partial Charging enabled Dynamic Programming Strategy for Optimal Fixed-Route Electric Vehicle Charging
Resource Allocation
The Case for HW/SW Harmony in Real-Time Systems: Tightening Memory Latency of Streaming Applications
Towards Efficient Multi-Frame Clustering in Response Time Analysis for Large Object Communication
Rasco: Resource Allocation and Scheduling Co-design for DAG Applications on Multicore
Hybrid and Control Systems
Checking Bounded Reachability of Compositional Linear Hybrid Automata Using Interaction Relations
Contract Embeddings for Layered Control Architectures
A Formal Approach towards Safe and Stable Schedule Synthesis in Weakly Hard Control Systems
Deductive Verification of Cooperative RTOS Applications
Logic and Verification
Efficient Black-Box Checking with Specification-Guided Abstraction
STL-GO: Spatio-Temporal Logic with Graph Operators for Distributed Systems with Multiple Network Topologies
A Tree-Shaped Tableau for Checking the Satisfiability of Signal Temporal Logic with Bounded Temporal Operators
Cumulative-Time Signal Temporal Logic
Embedded Artificial Intelligence and Machine Learning
SAPar: A Surrogate-Assisted DNN Partitioner for Efficient Inferences on Edge TPU Pipelines
TimelyNet: Adaptive Neural Architecture for Autonomous Driving with Dynamic Deadline
Dynamic Layer Routing Defense for Real-Time Embedded Vision
Star-set based efficient reachable set computation of anytime sensing-based neural network-controlled dynamical systems
Under the hood
App-Aware Swap Resource Allocation for Enhancing User-Perceived Latency on Mobile Devices
LazyTick: Lazy and Efficient Management of Job Release in Real-Time Operating Systems
Ember: Task Wakeup Sequence Based Energy Optimization for Mobile Web Browsing
Wasm-IO: Enabling Low-Level Device Interaction in WebAssembly for Industry Automation
Program Committee
- Martina Maggio (Saarland University, Germany)
- Borzoo Bonakdarpour (Michigan State University, USA)
- Houssam Abbas (Oregon State University, USA)
- Erika Abraham (RWTH-Aachen, Germany)
- Sebastian Altmeyer (University of Augsburg, Germany)
- Matthias Becker (KTH, Sweden)
- Timothy Bourke (INRIA, France)
- Eli Bozorgzadeh (University of California – Irvine, USA)
- Daniel Casini (Scuola Superiore Sant’Anna, Italy)
- Sandip Chakraborty (IIT Kharagpur, India)
- Jyotirmoy V. Deshmukh (University of Southern California, USA)
- Oyendrila Dobe (Amazon, USA)
- Petru Eles (Linkoping University, Sweden)
- Georgios Fainekos (Toyota Motor North America R&D, USA)
- Miriam García Soto (Complutense University of Madrid, Spain)
- Andrés Goens (UvA, Netherlands)
- Nan Guan (City University of Hong Kong, China)
- Arne Hamann (Bosch GmBH, Germany)
- Po-Chun Huang (National Taiwan University of Science, Taiwan)
- Hanjun Kim (Yonsei University, South Korea)
- Claudio Mandrioli (University of Luxembourg, Luxembourg)
- Anca Molnos (CEA, France)
- Frank Mueller (North Carolina State University, USA)
- Dejan Nikovi (Austrian Institute of Technology, Austria)
- Miroslav Pajic (Duke University, USA)
- Giulia Pedrielli (Arizona State University, USA)
- Rodolfo Pellizzoni (University of Waterloo, Canada)
- Pavithra Prabhakar (Kansas State University, USA)
- Akshay Rajhans (Mathworks, USA)
- Ivan Ruchkin (University of Florida, USA)
- Nurani Saoda (University of Illinois Urbana-Champaign, USA)
- Jean-Luc Scharbarg (IRIT, France)
- Paulo Tabuada (University of California – Los Angeles, USA)
- Nils Ole Tippenhauer (CISPA, Germany)
- Ashutosh Trivedi (University of Colorado, USA)
- Sara Vinco (Politecnico di Torino, Italy)
- Marcus Völp (University of Luxembourg, Luxembourg)
- Georg von der Brüggen (TU Dortmund, Germany)
- Chun-Feng Wu (National Yang-Mong Chiao Tung University, Taiwan)
- Qiben Yan (Michigan State University, USA)
- Majid Zamani (University of Colorado, USA)
- Marco Zimmerling (TU Darmstadt, Germany)