PROGRAM AND ON-LINE PROCEEDINGS

SIGPLAN 1997 Workshop on
Languages, Compilers, and Tools for Real-Time Systems

Las Vegas, Nevada, Sunday, 15 June 1997
(In Conjunction with ACM SIGPLAN PLDI and PPoPP)

On Sunday June 15, immediately preceding PLDI, the Workshop on Languages, Compilers, and Tools for Real-Time Systems (LCT-RTS) workshop was held. This workshop explored the interface between two dynamic field of computer science and engineering: programming language implementation and real-time systems. Researchers in these areas are addressing many similar problems, but with different backgrounds and approaches. LCT-RTS is intended to expose researchers from either area to relevant work and interesting problems in the other area and to provide a forum where they can interact.

Until recently real-time systems development was performed by experienced specialists using a variety of custom kernels, non-standard languages, and vendor-specific device interfaces. System integration involved a complicated process of obtaining timing measurements, hand-tuning code, and re-measuring. These ad-hoc techniques do not scale well for modern systems. Also, the majority of real-time developers is no longer composed of embedded control experts. New software approaches are needed to support these new systems and provide appropriate tools for real-time programmers.

Twelve papers exploring the above issues, selected by the program committee, were presented at the workshop. The workshop also included panel discussions on language support and timing analysis support for real time systems.

PROGRAM COMMITTEE

CO-CHAIRS

Rajiv Gupta Computer Science Department University of Pittsburgh Pittsburgh, PA 15260 voice: (412) 624-8421 fax: (412) 624-5249 gupta@cs.pitt.edu

David Whalley Computer Science Department Florida State University Tallahassee, FL 32306-4019 voice: (904) 644-3506 fax: (904) 644-0058 whalley@cs.fsu.edu

ONLINE WORKSHOP REGISTRATION

WORKSHOP PROGRAM

"Source Code Level Infeasibility Detection on Declarative Timing Constraints Specified with RTsynchronizers,"
by Shangping Ren and Gul Agha from University of Illinois at Urbana Champaign.

"SERT: Implicitly Parallel Real-Time Signal Processing,"
by Phillip Nico from Univ. of California at Davis; John Feo from Tera Computer; and Robert Yates from Lawrence Livermore National Laboratory.

"Gnu Ada'95 Tasking Implementation: Real-Time Features and Optimization"
by Dong-Ik Oh and T.P. Baker from Florida State University.

"Timing Predictions for Multi-Level Caches,"
by Frank Mueller from Humboldt-Universitat zu Berlin.

"Applying Compiler Techniques to Cache Behavior Prediction,"
by Christian Ferdinand, Florian Martin, and Reinhard Wilhelm from Universitat des Saarlandes.

"Worst-Case Execution Time Analysis for Modern Hardware Architectures,"
by Greger Ottosson and Mikael Sjodin from Uppsala University.

"Timed-GC for a Real-Time Lisp System,"
by Takayasu Ito and Toshihiro Asai from Tohoku University.

"Solving NP-Complete Problems in Real-Time System Design by Multichromosome Genetic Algorithms,"
by Roman Nossal and Thomas Galla from Vienna University of Technology.

"Compiling Rule-Based Programs for Real-Time Environments,"
by E. V. Rubio and V. B. Navarro from Universidad Politecnica de Valencia.

"Imprecise Computation in RTM,"
by Ami Silberman from New Jersey Institute of Technology.

"Run-Time Monitoring of Self-Interruptible Tasks in Intelligent Real-Time Systems,"
by Martin Adelantado from ONERA-CERT.

"An Architectural Approach for Integrating Real-Time Systems,"
by Steve Vestal from Honeywell Technology Center.