EMSOFT 2022: 22nd International Conference on Embedded Software
Memory and Compilers
iNVMFS: An Efficient File System for NVRAM-Based Intermittent Computing Devices
Mercury: Instruction Pipeline Aware Code Generation for Simulink Models
An I/O Virtualization Framework With I/O-Related Memory Contention Control for Real-Time Systems
Toward Register Spilling Security Using LLVM and ARM Pointer Authentication
Safety and Security
Safety Analysis of Embedded Controllers Under Implementation Platform Timing Uncertainties
Verified Train Controllers for the Federal Railroad Administration Train Kinematics Model: Balancing Competing Brake and Track Forces
Verifying Controllers With Vision-Based Perception Using Safe Approximate Abstractions
NASA: NVM-Assisted Secure Deletion for Flash Memory
Machine Learning, Networks, and IoT
Adaptive Edge Offloading for Image Classification Under Rate Limit
Online Rerouting and Rescheduling of Time-Triggered Flows for Fault Tolerance in Time-Sensitive Networking
NExG: Provable and Guided State-Space Exploration of Neural Network Control Systems Using Sensitivity Approximation
Tinkertoy: Build Your Own Operating Systems for IoT Devices
Theory and Security
Online Reset for Signal Temporal Logic Monitoring
Vulnerability Detection of ICS Protocols Via Cross-State Fuzzing
Characterising the Effect of Deadline Misses on Time-Triggered Task Chains
MIDAS: Safeguarding IoT Devices Against Malware via Real-Time Behavior Auditing
Energy and Efficiency
DynLiB: Maximizing Energy Availability of Hybrid Li-ion Battery Systems
Stochastic Guarantees for Adaptive Energy Harvesting Systems
Throughput Maximization in Wireless Communication Systems Powered by Hybrid Energy Harvesting
Power, Energy, and Analysis
CapOS: Capacitor Error Resilience for Energy Harvesting Systems
Cyber-Physical Verification of Intermittently Powered Embedded Systems
Sparsity-Aware Intelligent Spatiotemporal Data Sensing for Energy Harvesting IoT System
Verification and Machine Learning
An MILP Encoding for Efficient Verification of Quantized Deep Neural Networks
Efficient Complete Verification of Neural Networks via Layerwised Splitting and Refinement
Tardis: Coverage-Guided Embedded Operating System Fuzzing
Formal Verification of Resource Synchronization Protocol Implementations: A Case Study in RTEMS
Theory and Control
Differentiable Inference of Temporal Logic Formulas
Efficient Backward Reachability Using the Minkowski Difference of Constrained Zonotopes
Towards Minimum WCRT Bound for DAG Tasks Under Prioritized List Scheduling Algorithms
Response-Time Analysis of Limited-Preemptive Sporadic DAG Tasks
Program Committee
- David Broman (KTH Royal Institute of Technology, Sweden)
- Claire Pagetti (Onera / ENSEEIHT, France)
- James H. Anderson (University of North Carolina at Chapel Hill, USA)
- Stanley Bak (Stony Brook University, USA)
- Sanjoy K. Baruah (Washington University in St. Louis, USA)
- Jan Beutel (University of Innsbruck, Austria)
- Alessandro Biondi (Scuola Superiore Sant’Anna, Italy)
- Timothy Bourke (Inria, France)
- Björn B. Brandenburg (Max Planck Institute for Software Systems, Germany)
- Franck Cassez (Macquarie University, Australia)
- Samarjit Chakraborty (University of North Carolina at Chapel Hill, USA)
- Li-Pin Chang (National Yang Ming Chiao Tung University, Taiwan)
- Sudipta Chattopadhyay (Singapore University of Technology and Design, Singapore)
- Jian-Jia Chen (TU Dortmund, Germany)
- Chih-Hong Cheng (Fraunhofer IKS, Germany)
- Remi Delmas (Amazon Web Services, USA)
- Patricia Derler (Kontrol GmbH, USA)
- Petru Eles (Linköping University, Sweden)
- Rolf Ernst (TU Braunschweig, Germany)
- Heiko Falk (Hamburg University of Technology, Germany)
- Christopher D. Gill (Washington University in St. Louis, USA)
- Alain Girault (Inria, France)
- Guy Gogniat (University of South Brittany, France)
- Susanne Graf (CNRS/Verimag, France)
- Nan Guan (City University of Hong Kong, China)
- Ichiro Hasuo (National Institute of Informatics, Japan)
- Oana Hotescu (ISAE-SUPAERO, France)
- Yu Jiang (Tsinghua University, China)
- Hokeun Kim (Hanyang University, South Korea & UC Berkeley, USA)
- Hanjun Kim (Yonsei University, South Korea)
- Shan Lin (Stony Brook University, USA)
- Franck Mamalet (IRT Saint Exupéry, France)
- Tulika Mitra (National University of Singapore, Singapore)
- Frank Mueller (North Carolina State University, USA)
- Geoffrey Nelissen (Eindhoven University of Technology, The Netherlands)
- André Platzer (Carnegie Mellon University, USA)
- Indranil Saha (IIT Kanpur, India)
- Selma Saidi (TU Dortmund, Germany)
- Martin Schoeberl (Technical University of Denmark, Denmark)
- Donatella Sciuto (Polytechnic University of Milan)
- Stavros Tripakis (Northeastern University, USA)
- Matthias Wählisch (Freie Universität Berlin, Germany)
- Bryan Ward (MIT Lincoln Laboratory, USA)
- Haibo Zeng (Virginia Tech, USA)