EMSOFT 2002: 2nd International Workshop on Embedded Software
Invited Contributions
Scalable Applications for Energy-Aware Processors
A New Facility for Dynamic Control of Program Execution: DELI
Synchronous Modelling of Asynchronous Systems
Can Behavioral Requirements Be Executed? (And Why Would We Want to Do So?)
Principles of Real-Time Programming
Processes, Interfaces and Platforms. Embedded Software Modeling in Metropolis
An Approach to Designing Safe Embedded Software
Design Tools for Application Specific Embedded Processors
Real-Time Virtual Resource: A Timely Abstraction for Embedded Systems
Embedded Systems: Challenges in Specification and Verification
Upgrading Embedded Software in the Field: Dependability and Survivability
Adaptive and Reflective Middleware for Distributed Real-Time and Embedded Systems
Physical Programming: Beyond Mere Logic
Regular Papers
Platform-Based Embedded Software Design for Multi-vehicle Multi-modal Systems
A Giotto-Based Helicopter Control System
Time-Safety Checking for Embedded Programs
Compositional Modeling in Metropolis
Description and Schedulability Analysis of the Software Architecture of an Automated Vehicle Control System
Formal Modeling and Analysis of Advanced Scheduling Features in an Avionics RTOS
JCOD: A Lightweight Modular Compilation Technology for Embedded Java
Decreasing Memory Overhead in Hard Real-Time Garbage Collection
Speedup Prediction for Selective Compilation of Embedded Java Programs
A Protocol for Loosely Time-Triggered Architectures
Automatic Production of Globally Asynchronous Locally Synchronous Systems
Toward an Approximation Theory for Computerised Control
Processor Pipelines and Their Properties for Static WCET Analysis
ILP-Based Interprocedural Path Analysis
Enhancing Compiler Techniques for Memory Energy Optimizations
FlexCC2: An Optimizing Retargetable C Compiler for DSP Processors