This book constitutes the refereed proceedings of the Second International Conference on Embedded Software, EMSOFT 2002, held in Grenoble, France in October 2002.
The book presents 13 invited papers by leading researchers and 17 revised full papers selected during a competitive round of reviewing. The book spans the whole range 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, and communication protocols and fault-tolerance
Author(s): Amir Pnueli (auth.), Alberto Sangiovanni-Vincentelli, Joseph Sifakis (eds.)
Series: Lecture Notes in Computer Science 2491
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2002
Language: English
Pages: 430
Tags: Software Engineering/Programming and Operating Systems; Logics and Meanings of Programs; Special Purpose and Application-Based Systems
Embedded Systems: Challenges in Specification and Verification....Pages 1-14
An Approach to Designing Safe Embedded Software....Pages 15-29
Can Behavioral Requirements Be Executed? (And Why Would We Want to Do So?)....Pages 30-31
Platform-Based Embedded Software Design for Multi-vehicle Multi-modal Systems....Pages 32-45
A Giotto-Based Helicopter Control System....Pages 46-60
Principles of Real-Time Programming....Pages 61-75
Time-Safety Checking for Embedded Programs....Pages 76-92
Compositional Modeling in Metropolis....Pages 93-107
Timed Interfaces....Pages 108-122
Description and Schedulability Analysis of the Software Architecture of an Automated Vehicle Control System....Pages 123-137
Formal Modeling and Analysis of Advanced Scheduling Features in an Avionics RTOS....Pages 138-152
Scalable Applications for Energy-Aware Processors....Pages 153-165
Upgrading Embedded Software in the Field: Dependability and Survivability....Pages 166-181
Real-Time Virtual Resource: A Timely Abstraction for Embedded Systems....Pages 182-196
JCOD: A Lightweight Modular Compilation Technology for Embedded Java....Pages 197-212
Decreasing Memory Overhead in Hard Real-Time Garbage Collection....Pages 213-226
Speedup Prediction for Selective Compilation of Embedded Java Programs....Pages 227-239
Synchronous Modelling of Asynchronous Systems....Pages 240-251
A Protocol for Loosely Time-Triggered Architectures....Pages 252-265
Automatic Production of Globally Asynchronous Locally Synchronous Systems....Pages 266-281
Adaptive and Reflective Middleware for Distributed Real-Time and Embedded Systems....Pages 282-293
Toward an Approximation Theory for Computerised Control....Pages 294-304
A New Facility for Dynamic Control of Program Execution: DELI....Pages 305-318
Design Tools for Application Specific Embedded Processors....Pages 319-333
Processor Pipelines and Their Properties for Static WCET Analysis....Pages 334-348
ILP-Based Interprocedural Path Analysis....Pages 349-363
Enhancing Compiler Techniques for Memory Energy Optimizations....Pages 364-381
FlexCC2: An Optimizing Retargetable C Compiler for DSP Processors....Pages 382-398
Physical Programming: Beyond Mere Logic....Pages 399-406
Processes, Interfaces and Platforms. Embedded Software Modeling in Metropolis....Pages 407-421
