EMSOFT 2011: 11th International Conference on Embedded Software
Modeling
Heterogeneous Actor Modeling
Resource Allocation Contracts for Open Analytic Runtime Models
A Practical Ontology Framework for Static Model Analysis
Systems
Repeatability, Reproducibility, and Rigor in Systems Research
RT-Xen: Towards Real-Time Hypervisor Scheduling in Xen
Aciom: Application Characteristics-Aware Disk and Network I/O Management on Android Platform
Synchronization and Allocation
Automated Distributed Implementation of Component-Based Models with Priorities
Real-Time Resource-Sharing Under Clustered Scheduling: Mutex, Reader-Writer, and k-Exclusion Locks
Task Synchronization and Allocation for Many-Core Real-Time Systems
Hybrid Systems
On Under-Determined Dynamical Systems
Computing Semi-Algebraic Invariants for Polynomial Dynamical Systems
Synthesis of Optimal Switching Logic for Hybrid Systems
Languages, Analysis, and Transformation
Precise Control Flow Reconstruction using Boolean Logic
Automated Addition of Fault Recovery to Cyber-Physical Component-Based Models
A Hybrid Synchronous Language with Hierarchical Automata: Static Typing and Translation to Synchronous Code
Verification and Assurance
From Boolean to Quantitative Synthesis
Safety-Assured Development of the GPCA Infusion Pump Software
Relating Average and Discounted Costs for Quantitative Analysis of Timed Systems
Networking
Reliability-Aware Frame Packing for the Static Segment of Flexray
Multi-Level Hierarchical Scheduling in Ethernet Switches
Hard-Real-Time Scheduling of Data-Dependent Tasks in Embedded Streaming Applications
Certification
Software Certification: Coding, Code, and Coders
New Challenges in Certification for Aircraft Software
Software Certification Experience in the Canadian Nuclear Industry: Lessons for the Future
Challenges in the Regulatory Approval of Medical Cyber-Physical Systems
Real-Time Scheduling
Demand Bound Server: Generalized Resource Reservation for Hard Real-Time Systems
Real-Time Communication Analysis for Networks with Two-Stage Arbitration
Dynamic Scheduling Algorithm and its Schedulability Analysis for Certifiable Dual-Criticality Systems
Automotive Control Software
Cross-layer Analysis, Testing and Verification of Automotive Control Software
Verification
Formal Verification of Hybrid Systems
Model-Checking Behavioral Programs
ARMor: Fully Verified Software Fault Isolation
Control Systems
Performance-Aware Scheduler Synthesis for Control Systems
Synchronous Control of Reconfiguration in Fractal Component-Based Systems: a Case Study
WCET Analysis and Flash Memory
Symbolic Simulation on Complicated Loops for WCET Path Analysis
A Synergetic Approach to Accurate Analysis of Cache-Related Preemption Delay
ExLRU: A Unified Write Buffer Cache Management for Flash Memory