16. RTSS 1995: Pisa, Italy

16th IEEE Real-Time Systems Symposium, December 4-7, 1995, Palazzo dei Congressi, Via Matteotti, 1, Pisa, Italy, Proceedings. IEEE Computer Society Press, 1995, ISBN 0-8186-7337-0

Applications

Simin Nadjm-Tehrani, Jan-Erik Strömberg: Proving Dynamic Properties in an Aerospace Application. 2-10 BibTeX
Nigel Baker, Wayne Harris, Chris S. Wallace, Richard McClatchey, Jean-Marie Le Goff: Modelling a Real Time Control System Based on Distributed Objects. 11-17 BibTeX

Synchronization and OS

Injong Rhee, Graham R. Martin: A Scalable Real-Time Synchronization Protocol for Distributed Systems. 18-27 BibTeX
James H. Anderson, Srikanth Ramamurthy, Kevin Jeffay: Real-Time Computing with Lock-Free Shared Objects. 28-37 BibTeX
Marty Humphrey, Gary Wallace, John A. Stankovic: Kernel-Level Threads for Dynamic, Hard Real-Time Environments. 38-48 BibTeX
Frank Mueller, Viresh Rustagi, Ted Baker: MiThOS - A Real-Time Micro-Kernel Threads Operating System. 49-55 BibTeX

Formal Methods

Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi: HyTech: The Next Generation. 56-65 BibTeX
Conrado Daws, Sergio Yovine: Two Examples of Verification of Multirate Timed Automata with Kronos. 66-75 BibTeX
Kim Guldstrand Larsen, Paul Pettersson, Wang Yi: Compositional and Symbolic Model-Checking of Real-Time Systems. 76-89 BibTeX

Scheduling I

Giorgio C. Buttazzo, Marco Spuri, Fabrizio Sensini: Value vs. Deadline Scheduling in Overload Conditions. 90-99 BibTeX
Robert I. Davis, Andy J. Wellings: Dual Priority Scheduling. 100-109 BibTeX
Gilad Koren, Dennis Shasha: An Approach To Handling Overloaded Systems That Allow Skips. 110-119 BibTeX

Fault Tolerance

Sunondo Ghosh, Rami G. Melhem, Daniel Mossé: Enhancing Real-Time Schedules to Tolerate Transient Faults. 120-129 BibTeX
Scott Dawson, Farnam Jahanian, Todd Mitton: A Software Fault Injection Tool on Real-Time Mach. 130-140 BibTeX
Biao Chen, Sanjay Kamat, Wei Zhao: Fault-tolerant Real-Time Communication in FDDI-Based Networks. 141-151 BibTeX

Distributed Systems

Gerhard Fohler: Joint Scheduling of Distributed Complex Periodic and Hard Aperiodic Tasks in Statically Scheduled Systems. 152-161 BibTeX
Tarek F. Abdelzaher, Kang G. Shin: Optimal Combined Task and Message Scheduling in Distributed Real-Time Systems. 162-171 BibTeX
Chih-wen Hsueh, Kwei-Jay Lin, Nong Fan: Distributed Pinwheel Scheduling with End-to-End Timing Constraints. 172-181 BibTeX
Hermann Kopetz, Martin Braun, Christian Ebner, Andreas Krüger, Dietmar Millinger, Roman Nossal, Anton V. Schedl: The Design of Large Real-Time Systems: The Time-Triggered Approach. 182-189 BibTeX

Scheduling II

Marco Di Natale, John A. Stankovic: Applicability of Simulated Annealing Methods to Real-Time Scheduling and Jitter Control. 190-199 BibTeX
Sanjoy K. Baruah: Fairness in Periodic Real-Time Scheduling. 200-209 BibTeX
Marco Spuri, Giorgio C. Buttazzo, Fabrizio Sensini: Robust Aperiodic Scheduling Under Dynamic Priority Systems. 210-221 BibTeX

Communication

Ching-Chih Han, Chao-Ju Hou, Kang G. Shin: On Slot Reuse for Isochronous Services in DQDB Networks. 222-231 BibTeX
Chao-Ju Hou, Kar Shun Tsoi: Dynamic Real-Time Channel Setup and Tear-Down in DQDB Networks. 232-241 BibTeX
Kevin A. Kettler, Jay K. Strosnider: Modeling Bus Scheduling Policies for Real-Time Systems. 242-255 BibTeX

Specification

Carlos Puchol, Aloysius K. Mok, Douglas A. Stuart: Compiling Modechart Specifications. 256-265 BibTeX
Jin-Young Choi, Insup Lee, Hong-liang Xie: The Specification and Schedulability Analysis of Real-Time Systems using ACSR. 266-275 BibTeX
Hanêne Ben-Abdallah, Insup Lee, Jin-Young Choi: A Graphical Language with Formal Semantics for the Specification and Analysis of Real-Time Systems. 276-287 BibTeX

Timing Analysis

Christopher A. Healy, David B. Whalley, Marion G. Harmon: Integrating the Timing Analysis of Pipelining and Instruction Caching. 288-297 BibTeX
Yau-Tsun Steven Li, Sharad Malik, Andrew Wolfe: Efficient Microarchitecture Modeling and Path Analysis for Real-Time Software. 298-307 BibTeX
Yerang Hur, Young Hyun Bae, Sung-Soo Lim, Sung-Kwan Kim, Byung-Do Rhee, Sang Lyul Min, Chang Yun Park, Heonshik Shin, Chong-Sang Kim: Worst Case Timing Analysis of RISC Processors: R3000/R3010 Case Study. 308-321 BibTeX

Real-Time DB and Window Systems

Y. C. Tay: Some Performance Issues for Database Transactions with Firm Deadlines. 322-331 BibTeX
Matthew R. Lehr, Young-Kuk Kim, Sang Hyuk Son: Managing Contention and Timing Constraints in a Real-Time Database System. 332-341 BibTeX
John E. Sasinowski, Jay K. Strosnider: ARTIFACT: A Platform for Evaluating Real-Time Window System Designs. 342-352 BibTeX