Languages, Compilers, and Tools for Embedded Systems: Acm Sigplan Workshop Lctes 2000, Vancouver, Canada, June 18, 2000 Proceedings

by Davidson, Jack; Min, Sang Lyul

• ISBN13: 9783540417811
• ISBN10: 3540417818
• Format: Paperback
• Copyright: 2001-04-01
• Publisher: Springer Verlag

Summary

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.

Table of Contents

Formal Methods and Databases
Randomization-Based Approaches for Dynamic Priority Scheduling of Aperiodic Messages on a CAN Network	1	(18)
Lucia Lo Bello
Orazio Mirabella
Complex Reactive Control with Simple Synchronous Models	19	(14)
Reinhard Budde
Axel Poigne
Optimistic Secure Real-Time Concurrency Control Using Multiple Data Version	33	(15)
Byeong-Soo Jeong
Daeho Kim
Sungyoung Lee
Compiler
Array Reference Allocation Using SSA-Form and Live Range Growth	48	(15)
Marcelo Cintra
Guido Araujo
PROPAN: A Retargetable System for Postpass Optimisations and Analyses	63	(18)
Daniel Kastner
A Framework for Enhancing Code Quality in Limited Register Set Embedded Processors	81	(15)
Deepankar Bairagi
Santosh Pande
Dharma P. Agrawal
Tools
A Stochastic Framework for Co-synthesis of Real-Time Systems	96	(18)
S. Chakraverty
C. P. Ravikumar
A Fault Tolerance Extension to the Embedded CORBA for the CAN Bus Systems	114	(20)
Gwangil Jeon
Tae-Hyung Kim
Seongsoo Hong
Sunil Kim
A Real-Time Animator for Hybrid Systems	134	(12)
Tobias Amnell
Alexandre David
Wang Yi
Hardware
Reordering Memory Bus Transactions for Reduced Power Consumption	146	(16)
Bruce R. Childers
Tarun Nakra
A Power Efficient Cache Structure for Embedded Processors Based on the Dual Cache Structure	162	(16)
Gi-Ho Park
Kil-Whan Lee
Jae-Hyuk Lee
Tack-Don Han
Shin-Dug Kim
Approximation of Worst-Case Execution Time for Preemptive Multitasking Systems	178	(26)
Matteo Corti
Roberto Brega
Thomas Gross
Work in Progress
A Design and Implementation of a Remote Debugging Environment for Embedded Internet Software	199
Kwangyong Lee
Chaedeok Lim
Kisok Kong
Heung-Nam Kim
Optimizing Code Size through Procedural Abstraction	204	(2)
Johan Runeson
Sven-Olof Nystrom
Jan Sjodin
Automatic Validation of Code-Improving Transformations	206	(5)
Robert van Engelen
David Whalley
Xin Yuan
Towards Energy-Aware Iteration Space Tiling	211	(5)
M. Kandemir
N. Vijaykrishnan
M. J. Irwin
H. S. Kim
An Integrated Push/Pull Buffer Management Method in Multimedia Communication Environments	216	(5)
Sungyoung Lee
Hyon Woo Seung
Tae Woong Jeon
Author Index	221