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.
Author(s): Alan Burns, Guillem Bernat, Ian Broster (auth.), Rajeev Alur, Insup Lee (eds.)
Series: Lecture Notes in Computer Science 2855
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2003
Language: English
Pages: 378
Tags: Special Purpose and Application-Based Systems; Programming Techniques; Software Engineering; Programming Languages, Compilers, Interpreters; Operating Systems; Logics and Meanings of Programs
Front Matter....Pages -
A Probabilistic Framework for Schedulability Analysis....Pages 1-15
Resource-Efficient Scheduling for Real Time Systems....Pages 16-19
Emerging Trends in Adaptive Middleware and Its Application to Distributed Real-Time Embedded Systems....Pages 20-34
Heterogeneous Reactive Systems Modeling and Correct-by-Construction Deployment....Pages 35-50
HOKES/POKES: Light-Weight Resource Sharing....Pages 51-66
Rate Monotonic vs. EDF: Judgment Day....Pages 67-83
Translating Discrete-Time Simulink to Lustre....Pages 84-99
Minimizing Variables’ Lifetime in Loop-Intensive Applications....Pages 100-116
Resource Interfaces....Pages 117-133
Clocks as First Class Abstract Types....Pages 134-155
Energy-Conscious Memory Allocation and Deallocation for Pointer-Intensive Applications....Pages 156-172
Space Reductions for Model Checking Quasi-Cyclic Systems....Pages 173-189
Intelligent Editor for Writing Worst-Case-Execution-Time-Oriented Programs....Pages 190-205
Clock-Driven Automatic Distribution of Lustre Programs....Pages 206-222
Reasoning about Abstract Open Systems with Generalized Module Checking....Pages 223-240
Schedule-Carrying Code....Pages 241-256
Energy-Efficient Multi-processor Implementation of Embedded Software....Pages 257-273
A Methodology and Tool Support for Generating Scheduled Native Code for Real-Time Java Applications....Pages 274-289
Constraint-Based Design-Space Exploration and Model Synthesis....Pages 290-305
Eliminating Stack Overflow by Abstract Interpretation....Pages 306-322
Event Correlation: Language and Semantics....Pages 323-339
Generating Heap-Bounded Programs in a Functional Setting....Pages 340-355
Pre-Scheduling: Integrating Offline and Online Scheduling Techniques....Pages 356-372
Back Matter....Pages -
