THIS FILE CONTAINS AN INDEX TO THE REAL-TIME PAPERS IN THIS ARCHIVE. Note that the directory /pub/realtime/programs contains the source code and RS6000 binaries for some tools implementing the theory described in these papers and reports. Currently tools exist for the theory described in reports YCS189, YCS197, and YCS204. Queries can be e-mailed to authors via ken@minster.york.ac.uk. *************************************************************************** PLEASE E-MAIL ken@minster.york.ac.uk IF ANY OF THE PAPERS FAIL TO PRINT CORRECTLY (paper copies can be forwarded if all else fails). *************************************************************************** Note that these reports and papers are formatted for A4 paper size. Some of the earlier reports have margin set outside US letter-size paper. The file memory.ps contains a program to test the available virtual memory in your printer: if a document fails to print please print this file and report the results (a printer with less than 300K of VM may have problems printing some of thse documents). The postscript for a research prospectus of the group is available in the file PROSPECTUS.ps.Z. "Fixed Priority Scheduling with Deadlines Prior to Completion", by A. Burns, YCS212, Department of Computer Science, University of York, October 1993, File: YCS212.ps.Z "The Use of Preemptive Priority-Based Scheduling for Space Applications", C.M. Bailey and E. Fyfe, T. Vardanega, A.J. Wellings, Proceedings Real-Time Systems Symposium, December 1993, File: RTSS93_BFVW.ps.Z "Scheduling Slack Time in Fixed Priority Pre-emptive Systems", R. I. Davis, K. W. Tindell, A. Burns, Proceedings of 14th Real-Time Systems Symposium, Raleigh Durham, North Carolina, December 1993, file: RTSS93_DTB.ps.Z "Implementing Analysable Hard Real-time Sporadic Tasks in Ada 9X", A. Burns and A.J. Wellings, YCS209, Department of Computer Science, University of York, September 1993, File: YCS209.ps.Z "A Standard for Finite TAM", D.J. Scholefield, H.S.M. Zedan, YCS 206, Department of Computer Science, University of York, August 1993, File: YCS206.ps.Z "Scheduling Hard Real-Time Multi-Media Disk Traffic", K. Tindell , A. Burns, YCS 204, Department of Computer Science, University of York, File: YCS204.ps.Z "A Practical Method for Increasing Processor Utilisation", by A. Burns, A. J. Wellings, File: dual.ps.Z (this is an extended version of the paper that was presented at the 5th Euromicro Workshop, Oulu, Finland, June, 1993) "Data Consistency in Hard Real-Time Systems", N. C. Audsley, A. Burns, M. F. Richardson, A. J. Wellings, YCS 203, Department of Computer Science, University of York, File: YCS203.ps.Z "Using the Worst-Case Execution Analyser", Charles Forsyth, Task 8 vol. D deliverable to European Space Agency `Hard Real Time Operating System Kernel Study', ESTEC contract number 9198/90/NL/SF, File: task8d.ps.Z "Implementation of the Worst-Case Execution Analyser", Charles Forsyth, Task 8 vol. E deliverable to European Space Agency `Hard Real Time Operating System Kernel Study', ESTEC contract number 9198/90/NL/SF, File: task8e.ps.Z "The Impact of an Ada Runtime System's Performance Charactersitics on Scheduling Models", A. Burns, A. J. Wellings, A. D. Hutcheon, Proceedings of 12th Ada Europe conference, Springer-Verlag Lecture Notes in Computer Science 688, File: adaeurope93_BW.ps.Z "HRT-HOOD: A Design Method for Hard Real-time Ada", A. Burns and A.J. Wellings, YCS 199, Department of Computer Science, University of York, UK, File: YCS199.ps.Z (also to appear in the Journal of Real-time Systems). "Pipelined Processors and Worst Case Execution Times" N.Zhang, A. burns, M.Nicholson, YCS198, Department of Computer Science, University of York, UK, May 1993 (a version of this report is to appear in Journal of Real-Time Systems, Vol 5(4), October 1993), File: pipelinewcet.ps.Z "Holistic Schedulability Analysis for Distributed Hard Real-Time Systems", K. Tindell, Department of Computer Science Technical Report YCS 197, April 1993, File: YCS197.ps.Z (a version of this report will appear in the Special Issue of the Euromicro Journal on Parallel Embedded Systems in February 1994) "The End of The Line for Static Cyclic Scheduling?" N. Audsley, K. Tindell, A. Burns, Proceedings of the 5th Euromicro Workshop on Real-time Systems, Oulu, Finland, June 22-24 1993, File: euromicro5_ATB.ps.Z "A Specification Oriented Semantics for the Refinement of Real-Time Systems", by D. Scholefield, H.S.M. Zedan, J. He, University of York, Department of Computer Science Technical Report YCS 192, February 1993, File: YCS192.ps.Z "The Olympus Attitude and Orbital Control System: A Case Study in Hard Real-Time Systems Design and Implementation", A. Burns, A.J. Wellings, C. M. Bailey, E. Fyfe, Department of Computer Science, University of York, report YCS 190 (1993), File: YCS190.ps.Z "An Extendible Approach for Analysing Fixed Priority Hard Real-Time Tasks", by K. W. Tindell, Department of Computer Science, University of York, report YCS 189 (1992), File: YCS189.ps.Z (a version of this report will appear in the Journal of Real-Time Systems) "Guaranteeing Hard Real Time End-to-End Communications Deadlines", Dec 1991, by K. W. Tindell, A. Burns, A. J. Wellings, Report number RTRG/91/107, File: RTRG91107.ps.Z (Figure 5 was omitted from this report; it can be found in rtcommsfig5.ps.Z) "Allocating Real-Time Tasks (An NP-Hard Problem made Easy)", June 1991, by K. Tindell, A. Burns, A. Wellings, Report number RTRG/91/108, File: RTRG91108.ps.Z (A version of this report also appears in the Journal of Real-Time Systems, Vol.4, No. 2, June 1992, pp.145-165) "Applying New Scheduling Theory to Static Priority Pre-emptive Scheduling", Feb 1992, by N. Audsley, A. Burns, M. Richardson, K. Tindell, A. Wellings, Software Engineering Journal, July 1993, File: SEJ_sep_93.ps.Z (an obsolete version of this is stored in dmspaper4.ps.Z; the file was originally called SEJ_jul_93 because of an incorrect publication date given by the journal) "Resource Control for Hard Real Time Systems: A Review", Aug 1991, by N. C. Audsley, Department of Computer Science, University of York, Report number YCS 159, File: YCS159.ps.Z "Optimal Priority Assignment and Feasibility of Static Priority Tasks With Arbitrary Start Times", Dec 1991, by N. C. Audsley, Report number YCS 164, File: YCS164.ps.Z "Hard Real-Time Scheduling: The Deadline Monotonic Approach", May 1991, by N. C. Audsley, A. Burns, M. F. Richardson, A. J. Wellings, Proceedings 8th IEEE Workshop on Real-Time Operating Systems and Software, Atlanta, File: atlanta_ABRW.ps.Z "Incorporating Unbounded Algorithms Into Predictable Real-Time Systems", Sep 1991, by N. C. Audsley, A. Burns, M. F. Richardson and A. J. Wellings, Report number RTRG/91/102, File: RTRG91102.ps.Z "Deadline Monotonic Scheduling", Sep 1991, by N. C. Audsley, Report number YCS146, File: YCS146.ps.Z "Absolute and Relative Temporal Constraints in Hard Real-Time Databases", Feb 1992, by N. C. Audsley, A. Burns, M. F. Richardson and A. J. Wellings, Proceedings of 1992 IEEE EuroMicro Workshop on Real Time Systems, File: euromicro4_ABRW.ps.Z "The Refinement of Real-Time Systems", Feb 1992, by D. Scholefield, H.S.M. Zedan, Proceedings of 1992 IEEE EuroMicro Workshop on Real Time Systems, File: euromicro4_SZ.ps.Z "TAM: A Formal Framework for the Development of Real-Time Systems", Jan 1992, by D. Scholefield, H.S.M. Zedan, in "Formal Techniques in Real-Time and Fault-Tolerant Systems" (ed. J. Vyotopil). Springer-Verlag Lecture Notes in Computer Science Vol 571, p411. File: nijmegen92_SZ.ps.Z "The Temporal Agent Model: Theory and Practice", Nov 1991, by D. Scholefield, H.S.M. Zedan, University of York, Department of Computer Science YCS 163. File: YCS163.ps.Z "The Formal Development of Real-Time Systems: A Review", Nov 1990, by D. Scholefield, University of York, Department of Computer Science YCS 145. File: YCS145.ps.Z "The STRESS Hard Real-Time System Simulator", April 1992, by M. F. Richardson, Real-Time Systems Research Group report, File: stressguide.ps.Z "Weakest Preconditions for Time and Concurrency", August 1992, by D. Scholefield, H.S.M. Zedan, Report No. FSRG 92-10, File: FSRG9210.ps.Z (this report is to appear in Information Processing Letters). "Mode Changes in Priority Pre-emptively Scheduled Systems", December 1992, by K. Tindell, A Burns, A. Wellings, File: RTSS92_TBW.ps.Z (Proceedings 1992 Real Time Systems Symposium, December 1992, Phoenix Arizona, U.S.A.) "Using Offset Information to Analyse Static Priority Pre-emptively Scheduled Task Sets", September 1992, by K. Tindell, Department of Computer Science, University of York, report number YCS-182, File: YCS182_1.ps.Z and YCS182_2.ps.Z (the postscript for this report has been re-generated and has been tested and found to work on an Apple Laserwriter II NTX and Ghostscript 2.6) "Real-Time System Scheduling", Jan 1990, by N. Audsley, and A. Burns, Department of Computer Science, University of York, Report YCS 134, File: YCS134.ps.Z