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

June 21-22, 1995, in Conjunction with ACM SIGPLAN PLDI '95

Session 1: Scheduling & Timing Analysis

• Predicting the worst-case execution time of the concurrent execution of instructions and cycle-stealing DMA I/O operations
  T.-Y. Huang, J. Liu (Univ. Illinois, USA)

• Scheduling of hard-aperiodic tasks in hybrid static/dynamic priority systems
  J. Lee, S. Lee, H. Kim (Korea Telecomm & Kyunghee Univ., KOREA)

• Worst-case execution time analysis on modern processors
  K. D. Nielsen, B. Rygg (Iowa State Univ, USA)

Session 2: Language Design & Development

• Re-usable software design for programmable logic controllers
  F. Bonfatti, G. Gadda, P. D. Monari (Univ. Modena & CMA Spa, ITALY)

• Language constructs and transformation for hard real-time systems
  T. Chung, H. Dietz (Purdue Univ, USA)

• RTsynchronizer: Language support for real-time specifications in distributed systems
  S. Ren, G. Agha (Univ. Illinois, USA)

• Software synthesis for real-time information systems
  F. Thoen, M. Cornero, G. Goossens, H. De Man (IMEC, Belgium)

Session 2: Analysis Methods

• Verus: A tool for quantitative analysis of finite-state real-time systems
  S. Campos, E. Clarke, W. Marrero, M. Minea (Carnegie Mellon Univ, USA)

• Static timing analysis of real-time systems
  M. Jourdan, F. Maraninchi (VERIMAG, FRANCE)

• Performance analysis of embedded software using implicit path enumeration
  Y. Li, S. Malik (Princeton Univ, USA)

Session 4: Tools

• Supporting user-friendly analysis of timing constraints
  L. Ko, D. Whalley (Florida State Univ, USA), Marion Harmon (Florida A&M, USA)

• The Cluster compiler --- a tool for the design of time-triggered real-time systems
  H. Kopetz, R. Nossal (Tech Univ. Wien, Austria)

• WindView: A tool for understanding real-time embedded software through system visualization
  D. Wilner (Wind River Systems, USA)

Panel:

Topic: Appropriate Interfaces Between Design Tools, Languages Compilers and Runtimes in Real-Time Systems

• Rich Gerber (University of Maryland), Moderator
• Steve Tjiang (Synopsys)
• David Whalley (Florida State University)
• David Wilner (Wind River Systems)
• Mike Wolfe (Oregon Graduate Institute)

Session 5: Compilers

• Compiler support for software-based cache partitioning
  F. Mueller (Humboldt-Universitaet zu Berlin, Germany)

• Automatic generation of scheduling and inter-process communication code in parallel real-time programs for transputers
  A. Bakkers, J. Sunter, E. Ploeg (Univ. Twente, Netherlands)

• The ControlShell component-based real-time programming system, and its applications to the Marsokhod Martian rover
  S. Schneider, V. Chen, J. Steele, G. Pardo-Castellote (Real-Time Innovations, Inc. & Recom Technologies, USA)

Co-chairs, LCT-RTS '95:

• Rich Gerber University of Maryland
  rich@cs.umd.edu
• Thomas Marlowe Seton Hall Univ & NJIT
  marlowe@cs.rutgers.edu

Program Committee:

• Alan Burns University of York
• Rich Gerber University of Maryland
• Rajiv Gupta University of Pittsburgh
• Mary Hall California Inst of Technology
• Connie Heitmeyer Naval Research Lab
• Insup Lee University of Pennsylvania
• Thomas Marlowe Seton Hall Univ & NJIT
• Al Mok University of Texas at Austin
• Steve Tjiang Synopsys Inc.

Pointers to Related Information:

• Proceedings of the 1994 ACM SIGPLAN Workshop on Languages, Compilers and Tools for Real-Time Systems
• IEEE-CS Technical Committee on Real-Time Systems
• Real-Time Systems at the University of Maryland

Web Accessibility