Languages, Compilers, and Tools for Embedded Systems

1. Front Matter

   Pages I-VIII

   PDF

2. Formal Methods and Databases

   1. Randomization-Based Approaches for Dynamic Priority Scheduling of Aperiodic Messages on a CAN Network

      • Lucia Lo Bello, Orazio Mirabella

      Pages 1-18

   2. Complex Reactive Control with Simple Synchronous Models

      • Reinhard Budde, Axel Poigné

      Pages 19-32

   3. Optimistic Secure Real-Time Concurrency Control Using Multiple Data Version

      • Byeong-Soo Jeong, Daeho Kim, Sungyoung Lee

      Pages 33-47

3. Compiler

   1. Array Reference Allocation Using SSA-Form and Live Range Growth

      • Marcelo Cintra, Guido Araujo

      Pages 48-62

   2. PROPAN: A Retargetable System for Postpass Optimisations and Analyses

      • Daniel Kästner

      Pages 63-80

   3. A Framework for Enhancing Code Quality in Limited Register Set Embedded Processors

      • Deepankar Bairagi, Santosh Pande, Dharma P. Agrawal

      Pages 81-95

4. Tools

   1. A Stochastic Framework for Co-synthesis of Real-Time Systems

      • S. Chakraverty, C. P. Ravikumar

      Pages 96-113

   2. A Fault Tolerance Extension to the Embedded CORBA for the CAN Bus Systems

      • Gwangil Jeon, Tae-Hyung Kim, Seongsoo Hong, Sunil Kim

      Pages 114-133

   3. A Real-Time Animator for Hybrid Systems

      • Tobias Amnell, Alexandre David, Wang Yi

      Pages 134-145

5. Hardware

   1. Reordering Memory Bus Transactions for Reduced Power Consumption

      • Bruce R. Childers, Tarun Nakra

      Pages 146-161

   2. A Power Efficient Cache Structure for Embedded Processors Based on the Dual Cache Structure

      • Gi-Ho Park, Kil-Whan Lee, Jae-Hyuk Lee, Tack-Don Han, Shin-Dug Kim

      Pages 162-177

   3. Approximation of Worst-Case Execution Time for Preemptive Multitasking Systems

      • Matteo Corti, Roberto Brega, Thomas Gross

      Pages 178-198

6. Work in Progress

   1. A Design and Implementation of a Remote Debugging Environment for Embedded Internet Software

      • Kwangyong Lee, Chaedeok Lim, Kisok Kong, Heung-Nam Kim

      Pages 199-203

   2. Optimizing Code Size through Procedural Abstraction

      • Johan Runeson, Sven-Olof Nyström, Jan Sjödin

      Pages 204-205

   3. Automatic Validation of Code-Improving Transformations

      • Robert van Engelen, David Whalley, Xin Yuan

      Pages 206-210

   4. Towards Energy-Aware Iteration Space Tiling

      • M. Kandemir, N. Vijaykrishnan, M. J. Irwin, H. S. Kim

      Pages 211-215

   5. An Integrated Push/Pull Buffer Management Method in Multimedia Communication Environments

      • Sungyoung Lee, Hyon Woo Seung, Tae Woong Jeon

      Pages 216-220

7. Back Matter

   Pages 221-221

   PDF

This volume contains the proceedings of the ACM SIGPLAN Workshop on L- guages, Compilers, and Tools for Embedded Systems (LCTES 2000), held June 18, 2000, in Vancouver, Canada. Embedded systems have developed consid- ably in the past decade and we expect this technology to become even more important in computer science and engineering in the new millennium. Interest in the workshop has been con rmed by the submission of papers from all over the world. There were 43 submissions representing more than 14 countries. Each submitted paper was reviewed by at least three members of the program committee. The expert opinions of many outside reviewers were in- luable in making the selections and ensuring the high quality of the program, for which, we express our sincere gratitude. The nal program features one invited talk, twelve presentations, and ve poster presentations, which re?ect recent - vances in formal systems, compilers, tools, and hardware for embedded systems. We owe a great deal ofthanks to the authors, reviewers, and the members of the program committee for making the workshop a success. Special thanks to Jim Larus, the General Chair of PLDI 2000 and Julie Goetz of ACM for all their help and support. Thanks should also be given to Sung-Soo Lim at Seoul National University for his help in coordinating the paper submission and review process. We also thank Professor Gaetano Borriello of the University of Washington for his invited talk on Chinook, a hardware-software co-synthesis CAD tool for embedded systems.

• Architecture
• Code Optimization
• Compilation
• Embedded Systems
• Formal Methods
• Hardware
• Languages
• Multitasking
• Reactive Systems
• Real-Time Systems
• Scheduling
• Systems Validation
• Tools
• compiler
• formal method

• Department of Computer Science, University of Virginia, School of Engineering and Applied Science, Charlottesville, USA

  Jack Davidson

• Department of Computer Engineering, Seoul National University, Seoul, Korea

  Sang Lyul Min

Policies and ethics