Languages, Compilers, and Tools for Embedded Systems

"This book constitutes the thoroughly refereed post-proceedings of the ACM SIGPLAN Workshop on Languages, Compilers, and Tools for Embedded Systems, LCTES 2000, held in Vancouver, Canada, in June 2000.
The 12 revised full papers presented together with five posters were carefully reviewed and selected from a total of 43 submissions. The book presents topical sections on formal methods and databases, compilers, tools, hardware, and work in process."

Formal Methods and Databases
Randomization-Based Approaches for Dynamic Priority Scheduling of Aperiodic Messages on a CAN Network
Complex Reactive Control with Simple Synchronous Models
Optimistic Secure Real-Time Concurrency Control Using Multiple Data Version
Compiler
Array Reference Allocation Using SSA-Form and Live Range Growth
PROPAN: A Retargetable System for Postpass Optimisations and Analyses
A Framework for Enhancing Code Quality in Limited Register Set Embedded Processors
Tools
A Stochastic Framework for Co-synthesis of Real-Time Systems
A Fault Tolerance Extension to the Embedded CORBA for the CAN Bus Systems
A Real-Time Animator for Hybrid Systems
Hardware
Reordering Memory Bus Transactions for Reduced Power Consumption
A Power Efficient Cache Structure for Embedded Processors Based on the Dual Cache Structure
Approximation of Worst-Case Execution Time for Preemptive Multitasking Systems
Work in Progress
A Design and Implementation of a Remote Debugging Environment for Embedded Internet Software
Optimizing Code Size through Procedural Abstraction
Automatic Validation of Code-Improving Transformations
Towards Energy-Aware Iteration Space Tiling
An Integrated Push/Pull Buffer Management Method in Multimedia Communication Environments
Author Index