Embedded Software: Third International Conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003, Proceedings, Volume 3

Front Cover
Springer Science & Business Media, Sep 29, 2003 - Computers - 372 pages

This book constitutes the refereed proceedings of the Third International Conference on Embedded Software, EMSOFT 2003, held in Philadelphia, PA, USA in October 2003.

The 20 revised full papers presented together with three invited papers were carefully reviewed and selected from 60 submissions. All current topics in embedded software are addressed: formal methods and model-based development, middleware and fault tolerance, modelling and analysis, programming languages and compilers, real-time scheduling, resource-aware systems, and systems on a chip.

 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

A Probabilistic Framework for Schedulability Analysis
1
ResourceEfficient Scheduling for Real Time Systems
16
Emerging Trends in Adaptive Middleware and Its Application to Distributed RealTime Embedded Systems
20
Heterogeneous Reactive Systems Modeling and CorrectbyConstruction Deployment
35
LightWeight Resource Sharing
51
Judgment Day
67
Translating DiscreteTime Simulink to Lustre
84
Minimizing Variables Lifetime in LoopIntensive Applications
100
ClockDriven Automatic Distribution of Lustre Programs
206
Reasoning about Abstract Open Systems with Generalized Module Checking
223
ScheduleCarrying Code
241
EnergyEfficient Multiprocessor Implementation of Embedded Software
257
A Methodology and Tool Support for Generating Scheduled Native Code for RealTime Java Applications
274
ConstraintBased DesignSpace Exploration and Model Synthesis
290
Eliminating Stack Overflow by Abstract Interpretation
306
Language and Semantics
323

Resource Interfaces
117
Clocks as First Class Abstract Types
134
EnergyConscious Memory Allocation and Deallocation for PointerIntensive Applications
156
Space Reductions for Model Checking QuasiCyclic Systems
173
Intelligent Editor for Writing WorstCaseExecutionTimeOriented Programs
190
Generating HeapBounded Programs in a Functional Setting
340
Integrating Offline and Online Scheduling Techniques
356
Author Index
373
Copyright

Other editions - View all

Common terms and phrases

Bibliographic information