EMSOFT 2005: 5th ACM International Conference on Embedded Software
Communication and Devices
HAIL: A Language for Easy and Correct Device Access
A Structural Approach to Quasi-Static Schedulability Analysis of Communicating Concurrent Programs
Centralized End-to-End Flow Control in a Best-Effort Network-on-Chip
Communication Strategies for Shared-Bus Embedded Multiprocessors
Modeling
Using Separation of Concerns for Embedded Systems Design
Toward a Semantic Anchoring Infrastructure for Domain-Specific Modeling Languages
Uniform Object Modeling Methodology and Reuse of Real-Time System using UML
From Statecharts to ESP*: Programming With Events, States and Predicates for Embedded Systems
Languages
High Performance Annotation-Aware JVM for Java Cards
Deeply Embedded XML Communication — Towards an Interoperable and Seamless World
High-level Real-Time Programming in Java
Scheduling
Real-Time Interfaces for Interface-Based Design of Real-Time Systems with Fixed Priority Scheduling
QoS Control for Optimality and Safety
Model-Based Run-Time Monitoring of End-to-End Deadlines
A GA-based Scheduling Method for FlexRay Systems
Optimization
Using De-optimization to Re-optimize Code
A Sink-N-Hoist Framework for Leakage Power Reduction
Exploiting Last Idle Periods of Links for Network Power Management
A UML 2.0 Profile for SystemC: Toward High-Level SoC Design
Design Methodologies
Towards Real-Time Enabled Microsoft Windows
Systems Architecture: the Empirical Way — Abstract Architectures to 'Optimal' Systems
A Unified HW/SW Interface Model to Remove Discontinuities Between HW and SW Design
Specification and Semantics
A Denotational Semantics for Stateflow
A Conservative Extension of Synchronous Data-flow with State Machines
Rialto: a Bridge between Description and Implementation of Control Algorithms for Wireless Sensor Networks
Efficient Embedded Software Design with Synchronous Models
Compilation and Power
Code Aware Resource Management
Compiler-Guided Register Reliability Improvement Against Soft Errors
Distributed-Code Generation from Hybrid Systems Models for Time-Delayed Multirate systems
Power Consumption Profile Analysis for Security Attack Simulation in Smart Cards at High Abstraction Level
Clocks and Energy
AutoDVS: an Automatic, General-Purpose, Dynamic Clock Scheduling System for Hand-Held Devices
Optimizing Inter-Processor Data Locality on Embedded Chip Multiprocessors
A Formal Approach to Fault Tree Synthesis for the Analysis of Distributed Fault Tolerant Systems
(1+ε) Approximation Clock Rate Assignment for Periodic Real-Time Tasks on a Voltage-Scaling Processor
Minimizing Expected Energy in Real-Time Embedded Systems
Formal Methods
SHIM: a Deterministic Model for Heterogeneous Embedded Systems
Semantics-Based Optimization Across Uncoordinated Tasks in Networked Embedded Systems
From Multi-Clocked Synchronous Processes to Latency-Insensitive Modules
The Formal Verification of a Reintegration Protocol
Software Testing
Random Testing of Interrupt-Driven Software
Testing Real-Time Embedded Software using UPPAAL-TRON: an Industrial Case Study
Cutpoints for Formal Equivalence Verification of Embedded Software
Specification and Dynamic Properties
Pinapa: an Extraction Tool for SystemC Descriptions of Systems-on-a-Chip
Distributing Synchronous Programs using Bounded Queues
Dynamic Online Reconfiguration for Customizable and Self-Optimizing Operating Systems
Synchronization of Periodic Clocks
Real-Time Properties
Passive Mid-Stream Monitoring of Real-Time Properties
Semantics-Preserving and Memory-Efficient Implementation of Inter-Task Communication on Static-Priority or EDF Schedulers
Dual Face Phased Array Radar Scheduling with Multiple Constraints
Model-Based Analysis of Distributed Real-Time Embedded System Composition