EMSOFT 2016: 16th International Conference on Embedded Software
Timing and Energy-Aware Modeling and Programming of Embedded Systems
Energy and Timing Aware Synchronous Programming
Flexible Support for Time and Costs in Scenario-Aware Dataflow
Providing QoS for Distributed Real-Time Systems
Lessons Learned on Assumptions and Scalability with Time-Aware Instrumentation
Making DDS Really Real-Time with Openflow
Exploring the Performance of ROS2
Verification and Synthesis of Embedded Control Systems
Locally Optimal Reach Set Over-Approximation for Nonlinear Systems
Underminer: A Framework for Automatically Identifying Non-Converging Behaviors in Black Box System Models
Robust Controller Synthesis of Switched Systems using Counterexample Guided Framework
Verification of Hybrid Systems
An Algorithmic Approach to Global Asymptotic Stability Verification of Hybrid Systems
Verifying Cyber-Physical Systems by Combining Software Model Checking with Hybrid Systems Reachability
Darboux-Type Barrier Certificates for Safety Verification of Nonlinear Hybrid Systems
Efficient and Adaptive Resource Management and Hardware Abstraction
A Flattened Hierarchical Scheduler for Real-Time Virtualization
RMC: An Integrated Runtime System for Adaptive Many-Core Computing
Automatic HAL Generation for Embedded Multiprocessor Systems
Timing Analysis and Cache Management with Multi-Level Caches in Real-Time Systems
Real-Time Cache Management for Multi-Core Virtualization
Cache-Related Preemption Delay Analysis for Multi-Level Inclusive Caches
Autonomous Systems and their Verification
Modular Deductive Verification of Sampled-Data Systems
The SMT-Based Automatic Road Network Generation in Vehicle Simulation Environment
Formal Methods for Robust and Predictable Embedded Systems
PCFIRE: Towards Provable Preventative Control-Flow Integrity Enforcement for Realistic Embedded Software
A Refinement Theory for Timed-Dataflow Analysis with Support for Reordering
Techniques for Real-Time Task and Communication Scheduling
Schedulability analysis of mixed-criticality systems with multiple frequency specifications
On-the-Fly Fast Overrun Budgeting for Mixed-Criticality Systems
Synthesizing Time-Triggered Schedules for Switched Networks with Faulty Links
Management of Flash-Based and Hybrid Memory Systems for Improved Latency, Lifetime, and Reliability
I/O Scheduling with Mapping Cache Awareness for Flash Based Storage Systems
The Design of an Efficient Swap Mechanism for Hybrid DRAM-NVM Systems
A Fast, Lightweight, and Reliable File System for Wireless Sensor Networks