EMSOFT 2021: 21st International Conference on Embedded Software
Real-Time Scheduling and Analysis
A Hierarchical Hybrid Locking Protocol for Parallel Real-Time Tasks
Federated Scheduling of Sporadic DAGs on Unrelated Multiprocessors
Schedulability Analysis for Timed Automata With Tasks
Excluding Parallel Execution to Improve Global Fixed Priority Response Time Analysis
Cyber-Physical Systems: Synthesis and Verification
Compositional Learning and Verification of Neural Network Controllers
Specification Guided Automated Synthesis of Feedback Controllers
Synthesis-guided Adversarial Scenario Generation for Gray-box Feedback Control Systems with Sensing Imperfections
Resource Management
Towards an Integrated Vehicle Management System in DriveOS
HEART: Hybrid Memory and Energy-Aware Real-Time Scheduling for Multi-Processor Systems
Killing Processes or Killing Flash? Escaping from the Dilemma Using Lightweight, Compression-Aware Swap for Mobile Devices
Modeling Languages and Tools
Verified Lustre Normalization with Node Subsampling
Learning Nondeterministic Real-Time Automata
Regime Inference for Sound Floating-Point Optimizations
Declarative Power Sequencing
Testing and Fault Tolerance
Rtkaller: State-aware Task Generation for RTOS Fuzzing
PHiLIP on the HiL: Automated Multi-Platform OS Testing With External Reference Devices
Precise Correlation Extraction for IoT Fault Detection With Concurrent Activities
Tolerating Defects in Low-Power Neural Network Accelerators Via Retraining-Free Weight Approximation
Cyber-Physical Systems: Handling Uncertainty and Attacks
Real-time Attack-recovery for Cyber-physical Systems Using Linear-quadratic Regulator
Structured Proofs for Adversarial Cyber-Physical Systems
Improving Variational Autoencoder based Out-of-Distribution Detection for Embedded Real-time Applications
Predictive Monitoring with Logic-Calibrated Uncertainty for Cyber-Physical Systems
Distributed System Coordination and Scheduling
RT-ZooKeeper: Taming the Recovery Latency of a Coordination Service
MSYNC: A Generalized Formal Design Pattern for Virtually Synchronous Multirate Cyber-physical Systems
HMDS: A Makespan Minimizing DAG Scheduler for Heterogeneous Distributed Systems
Run-Time Adaptation
Cross-Layer Adaptation with Safety-Assured Proactive Task Job Skipping
Guaranteeing Timely Response to Changes of Monitored Objects by Assigning Deadlines and Periods to Tasks
Thermal-aware Adaptive Platform Management for Heterogeneous Embedded Systems