Papers published in 1999
A Framework for Scheduling in Safety-Critical Embedded Control Systems
Bate, I., Burns, A. (1999)
Proceedings of the 6th International Conference on Real-Time Computing Systems and Applications (RTCSA'99)
[ Abstract and Details | Download ]
A Method for Design and Analysis of Next Generation Aircraft Computer Systems
A. Grigg, NC. Audsley, MA. Fletcher, AS. Wake (1999)
Proceedings of the 9th Symposium of the Int. Council on Systems Engineering
[ Abstract and Details | Download ]
Adding Local Priority-Based Dispatching Mechanisms to P-Net Networks: A Fixed Priority Approach
E. Tovar, F. Vasques, A. Burns (9 - 11 Jun 1999)
Proceedings of the 11th Euromicro Conference on Real-Time Systems
[ Abstract and Details ]
An Approach to Task Attribute Assignment for Uniprocessor Systems
Bate, I., Burns, A. (1999)
11th Euromicro Workshop on Real-Time Systems
[ Abstract and Details | Download ]
An Experimental Testbed for Embedded Real Time Ada 95
W. M. Walker, P. T. Woolley, A. Burns (Jun 1999)
Ada Letters
[ Abstract and Details | Download ]
An Incremental Recovery Cache Supporting Software Fault Tolerance
P. Rogers, A. J. Wellings (1999)
Reliable Software Technologies—Ada-Europe 99, Lecture Notes in Computer Science
[ Abstract and Details ]
Communications Response Time in P-NET Networks: Worst-Case Analysis Considering the Actual Token Utilisation
E. Tovar, F. Vasques, A. Burns (1999)
Department of Computer Science, University of York
[ Abstract and Details ]
Developing a Testbed for Distributed Real-Time Applications
P.T. Woolley, W.M. Walker, A. Burns (30 May - 3 Jun 1999)
Proceedings of the 24th IFAC/IFIP Workshop on Real-time Programming (WRTP '99) and the 3rd International Workshop on Active and Real-time Database Systems (ARTDB-99)
[ Abstract and Details ]
Dynamic CPU Scheduling With Imprecise Knowledge Of Computation-Time
S. A. Aldarmi, Alan Burns (1999)
The Joint 24th IFAC/IFIP Workshop on Real Time Programming and Third International Workshop on Active and Real-Time Database Systems
[ Abstract and Details | Download ]
Dynamic CPU Scheduling with Imprecise Knowledge of Computation-Time
S. Aldarmi, A. Burns (1999)
Department of Computer Science University of York, U.K.
[ Abstract and Details | Download ]
Dynamic Ceiling Priorities and Ada 95
J. Real, A. J. Wellings (1999)
Proceedings of the 9th International Real Time Ada Workshop, ACM Ada Letters
[ Abstract and Details ]
Dynamic Value-Density For Scheduling Real-Time Systems
S. A. Aldarmi, A. Burns (1999)
The 11th Euromicro Conference on Real-Time Systems
[ Abstract and Details | Download ]
Finding the Minimum Available Transmission Time for the Timed Token Medium Access Control Protocol
S. Zhang, E. Lee, A. Burns, H. Yang (9 - 11 Jun 1999)
Proceedings of the 11th Euromicro Conference on Real-Time Systems
[ Abstract and Details ]
How to Verify Concurrent Ada Programs. The Application of Model Checking
A. Burns, A. J. Wellings (Jun 1999)
Ada Letters
[ Abstract and Details ]
Implementing Mode Changes and Shared Resources in Ada
J. Real, A. J. Wellings (1999)
Proceedings 11th Euromicro Conference on Real-Time Systems
[ Abstract and Details ]
Loop-Free Asynchronous Data Sharing in Multiprocessor Real-time Systems Based on Timing Properties
J. Chen, A. Burns (1999)
6th International Conference on Real-Time Computing Systems and Applications
[ Abstract and Details ]
New results on fixed priority aperiodic servers
G. Bernat, A. Burns (1999)
20th IEEE Real-Time Systems Symposium
[ Abstract and Details | Download ]
Portable Code for Complex, Critical Systems
Audsley, N., Bate, I., Grigg, A. (1999)
Proceedings of the 6th International Conference on Real-Time Computing Systems and Applications (RTCSA'99)
[ Abstract and Details | Download ]
Probabilistic Scheduling Guarantees for Fault-Tolerant Real-Time Systems
A. Burns, S. Punnekkat, L. Stringini, D.R. Wright (6 - 8 Jan 1999)
Proceedings of the 7th International Working Conference on Dependable Computing for Critical Applications
[ Abstract and Details | Download ]
Requirements Engineering for Hard Real-Time Systems: the Σ Notation and a Case Study
M. Piveropoulos, A. J. Wellings (1999)
Computer Science Department, University of York
[ Abstract and Details | Download ]
The Ceiling Protocol in Multi-moded Real-Time Systems
J. Real, A. J. Wellings (1999)
Reliable Software Technologies—Ada-Europe 99, Lecture Notes in Computer Science
[ Abstract and Details ]
The Ravenscar Profile
Alan Burns (1999)
ACM Ada Letters
[ Abstract and Details ]
The Ravenscar Profile and Implementation Issues
A. Burns, L. Asplund, B. Johnson, K. Lundqvist (Jun 1999)
Ada Letters
[ Abstract and Details ]
Time-Constrained Sorting - A Comparison of Different Algorithms
P. Puschner, A. Burns (9 - 11 Jun 1999)
Proceedings of the 11th Euromicro Conference on Real-Time Systems
[ Abstract and Details ]
Towards a Scheduling and Timing Analysis Solution for Integrated Modular Avionic Systems
A. Grigg, NC. Audsley (1999)
Microprocessors and Microsystems Journal
[ Abstract and Details | Download ]
Weakly hard Real-Time Systems
G. Bernat, A. Burns, A. Llamosi (1999)
Dep. Computer Science. University of York
[ Abstract and Details | Download ]
GUARDS: A Generic Upgradable Architecture for Real-Time Dependable Systems
D. Powell, J. Arlat, Lj. Beus-Dukic, A. Bondavalli, P. Coppola, A. Fantechi, E. Jenn, C. Rabejac, A. J. Wellings (1999)
IEEE Transactions on Parallel and Distributed Systems
[ Abstract and Details ]
|
