2. RTAS 1996: Boston, MA, USA

Case Studies and Applications

• Neil C. Audsley, I. J. Bate, Alan Burns:
  Putting fixed priority scheduling theory into engineering practice for safety critical applications. 2-10
  
• David H. Jameson:
  Building real-time music tools visually with Sonnet. 11-18
  
• Carlton Bickford, Marie S. Teo, Gary Wallace, John A. Stankovic, Krithi Ramamritham:
  A robotic assembly application on the Spring real-time system. 19-28
  
• Jesús Fernández-Conde, Alberto García-Martínez, Ángel Viña:
  Implementation of a hardware/software platform for real-time data-intensive applications in hazardous environments. 29-
  

Databases and Concurrency Control

• Young-Kuk Kim, Sang Hyuk Son:
  Supporting predictability in real-time database systems. 38-48
  
• Azer Bestavros:
  AIDA-based real-time fault-tolerant broadcast disks. 49-58
  
• Ching-Shan Peng, Kwei-Jay Lin:
  A semantic-based concurrency control protocol for real-time transactions. 59-
  

Tutorial

• Chia Shen:
  On ATM support for distributed real-time applications. 70-81
  
• Roman Ginis, Victor Fay Wolfe, Janet J. Prichard:
  The design of an open system with distributed real-time requirements. 82-90
  
• Chih Lai, H. Rebecca Callison:
  A framework for simulation of concurrency control policy in real-time systems. 91-99
  
• Michael Gagliardi, Ragunathan Rajkumar, Lui Sha:
  Designing for evolvability: building blocks for evolvable real-time systems. 100-109
  
• Daniel Gaudrau, Paul Freedman:
  Temporal Analysis and Object-Oriented Real-Time Software Development: A Case Study with ROOM/ObjecTime. 110-
  

Communications

• Shobana Balakrishnan, Füsun Özgüner:
  Providing message delivery guarantees in pipelined flit-buffered multiprocessor networks. 120-129
  
• Ashish Mehra, Atri Indiresan, Kang G. Shin:
  Resource management for real-time communication: making theory meet practice. 130-138
  
• Michael J. Markowski, Adarshpal S. Sethi:
  Evaluation of Wireless Soft Real-Time Protocols. 139-
  

Real-Time System Development and Analysis Tools

• Marty Humphrey, John A. Stankovic:
  CAISARTS: a tool for real-time scheduling assistance. 150-159
  
• Matthew F. Storch, Jane W.-S. Liu:
  DRTSS: a simulation framework for complex real-time systems. 160-169
  
• Lo Ko, Christopher A. Healy, Emily Ratliff, Robert D. Arnold, David B. Whalley, Marion G. Harmon:
  Supporting the specification and analysis of timing constraints. 170-
  

Formal Methods and Processor Scheduling

• Farn Wang:
  Scalable compositional reachability analysis of real-time concurrent systems. 182-191
  
• Myla Archer, Constance L. Heitmeyer:
  Mechanical verification of timed automata: a case study. 192-203
  
• José V. Busquets-Mataix, Juan José Serrano, Rafael Ors, Pedro J. Gil, Andy J. Wellings:
  Adding instruction cache effect to schedulability analysis of preemptive real-time systems. 204-
  

Tutorial

• Bran Selic:
  Real-Time Object-Oriented Modeling (ROOM). 214-
  

Operating Systems and Distributed Systems

• Chen Lee, Katsuhiko Yoshida, Clifford W. Mercer, Ragunathan Rajkumar:
  Predictable Communication Protocol Processing in Real-Time Mach. 220-229
  
• Sung-Kwan Kim, Sang Lyul Min, Rhan Ha:
  Efficient worst case timing analysis of data caching. 230-240
  
• Khawar M. Zuberi, Kang G. Shin:
  EMERALDS: a microkernel for embedded real-time systems. 241-249
  
• Tarek F. Abdelzaher, Anees Shaikh, Farnam Jahanian, Kang G. Shin:
  RTCAST: lightweight multicast for real-time process groups. 250-259
  
• Paolo Ancilotti, Giorgio C. Buttazzo, Marco Di Natale, Marco Bizzarri:
  A Flexible Tool Kit for Development of Real-Time Applications. 260-
  

Last update Sun May 26 02:54:15 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page