EMSOFT 2012: 12th International Conference on Embedded Software
Testing and Characterization of Embedded Software
Debugging Embedded Multimedia Application Traces Through Periodic Pattern Mining
Smart Layers and Dumb Result: IO Characterization of an Android-Based Smartphone
XEMU: an Efficient QEMU Based Binary Mutation Testing Framework for Embedded Software
Theoretical Aspects of Embedded Systems
Finite Automata with Time-Delay Blocks
Synthesis from Incompatible Specifications
Timed Model Checking with Abstractions: Towards Worst-Case Response Time Analysis in Resource-Sharing Manycore Systems
Operating Systems
Server-Based Scheduling of Parallel Real-Time Tasks
Operating System Support for Redundant Multithreading
Flattening Hierarchical Scheduling
Control Theory
Trigger Memoization in Self-Triggered Control
Feedback Thermal Control of Real-Time Systems on Multicore Processors
Synthesis of Minimal-Error Control Software
Hardware Support
Shared Hardware Data Structures for Hard Real-Time Systems
A Low-Overhead Dedicated Execution Support for Stream Applications on Shared-Memory CMP
Partitioned Scheduling for Real-Time Tasks on Multiprocessor Embedded Systems with Programmable Shared SRAMs
Timing Analysis
Estimation of Probabilistic Bounds on Phase CPI and Relevance in WCET Analysis
Assessing the Suitability of the NGMP Multi-Core Processor in the Space Domain
Compositional Temporal Analysis Model for Incremental Hard Real-Time System Design
Languages, Formal Models and Algorithms
Programming Parallelism with Futures in Lustre
Towards Network-on-Chip Agreement Protocols
Input-Output Robustness for Discrete Systems
On Model Based Synthesis of Embedded Control Software
A New Data Flow Analysis Model for TDM