Embedded Software: Second International Conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002. Proceedings

Front Cover
Alberto Sangiovanni-Vincentelli, Joseph Sifakis
Springer Science & Business Media, Sep 25, 2002 - Computers - 430 pages
The purpose of the EMSOFT Workshop, inaugurated last year at Lake Tahoe, is to bring together researchers and practitioners interested in the foundations and methods of embedded software design with the goal of improving subst- tially the state of the art and stimulating the debate between researchers and designers. The scope of the EMSOFT Workshop spans all aspects of embedded software, including operating systems and middleware, programming languages and compilers, modeling and validation, software engineering and programming methodologies, scheduling and execution-time analysis, formal methods, c- munication protocols and fault tolerance. While the rst Workshop included only invited papers because of the need to establish a common framework and a basis for the scienti?c contributions, for this second EMSOFT, we attempted to strike a balance between invited and selected contributions. The program included 17 selected and 13 invited c- tributions. The invited speakers were: Giorgio Buttazzo (University of Pavia), PaoloFaraboschi(Hewlett-PackardLaboratories), NicolasHalbwachs(Verimag), DavidHarel(WeizmannInstitute), ChristophKirsch(UniversityofCaliforniaat Berkeley), Luciano Lavagno (Politecnico di Torino and Cadence Research Labs), Nancy Leveson (MIT), Sharad Malik (Princeton), Al Mok (University of Texas at Austin), Amir Pnueli (Weizmann Institute), Lui Sha (University of Illinois at Urbana-Champaign), Douglas Schmidt (University of California at Irvine), and Bran Selic (Rational).
 

What people are saying - Write a review

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

Contents

Challenges in Specification and Verification
1
An Approach to Designing Safe Embedded Software
15
Can Behavioral Requirements Be Executed? And Why Would We Want to Do So?
30
PlatformBased Embedded Software Design for Multivehicle Multimodal Systems
32
A GiottoBased Helicopter Control System
46
Principles of RealTime Programming
61
TimeSafety Checking for Embedded Programs
76
Compositional Modeling in Metropolis
93
Speedup Prediction for Selective Compilation of Embedded Java Programs
227
Synchronous Modelling of Asynchronous Systems
240
A Protocol for Loosely TimeTriggered Architectures
252
Automatic Production of Globally Asynchronous Locally Synchronous Systems
266
Adaptive and Reflective Middleware for Distributed RealTime and Embedded Systems
282
Toward an Approximation Theory for Computerised Control
294
DELI
305
Design Tools for Application Specific Embedded Processors
319

Timed Interfaces
108
Description and Schedulability Analysis of the Software Architecture of an Automated Vehicle Control System
123
Formal Modeling and Analysis of Advanced Scheduling Features in an Avionics RTOS
138
Scalable Applications for EnergyAware Processors
153
Dependability and Survivability
166
A Timely Abstraction for Embedded Systems
182
A Lightweight Modular Compilation Technology for Embedded Java
197
Decreasing Memory Overhead in Hard RealTime Garbage Collection
213
Processor Pipelines and Their Properties for Static WCET Analysis
334
ILPBased Interprocedural Path Analysis
349
Enhancing Compiler Techniques for Memory Energy Optimizations
364
An Optimizing Retargetable C Compiler for DSP Processors
382
Beyond Mere Logic
399
Processes Interfaces and Platforms Embedded Software Modeling in Metropolis
407
Author Index
422
Copyright

Other editions - View all

Common terms and phrases

Bibliographic information