University of York, Department of Computer Science
Real-Time Systems Research Group

Papers published in 1998

On Fixed Priority Scheduling, Offsets and Co-Prime Task Periods
N.C. Audsley and A. Burns (1998)
Information Processing Letters, Vol. 67, pp.65-69, Elsevier

Distributed Fault-Tolerant Avionic Systems - A Real-Time Perspective
N.C. Audsley and M. Burke (1998)
Proceedings of IEEE Aerospace, IEEE Computer Society Press, Aspen, U.S.A. (pp. 8.104.1 - 8.104.18)

The Role of Timing Analysis in the Certification of IMA Systems
N.C. Audsley, I.J. Bate and A. Grigg (1998)
Proceedings of IEE Symposium on the Certification of Ground/Air Systems, Institute of Electrical Engineers, London, U.K. (pp. 6/1 - 6/6)

Portable Code in Future Avionic Systems
N.C. Audsley, I.J. Bate, M. Fletcher, A. Grigg and A. Wake (1998)
Proceedings of the IEE Colloquium on Real-Time Systems, Institute of Electrical Engineers, York, U.K. (pp. 3/1 - 3/6)

Life-Cycle Timing Analysis of IMA Systems
N.C. Audsley, I.J. Bate and A. Grigg (1998)
Proceedings of the IEE Colloquium on Systems Engineering of Aerospace Projects, Institute of Electrical Engineers, London (pp. 7/1 - 7/5)

Extreme Interleavings
M. Ben-Ari and A. Burns (July-September 1998)
IEEE Concurrency (Parallel, Distributed & Mobile Computing), IEEE Computer Society (Vol. 6(3), p. 90)

The Requirements for a COTS Software Component: A Case Study
L. Beus-Dukic and A.J. Wellings (19-20 October 1998)
Proceedings of the Conference on European Industrial Requirements Engineering (CEIRE '98), London, U.K.

The Requirements for a COTS Software Component: A Case Study
L. Beus-Dukic and A.J. Wellings (1998)
Requirements Engineering, Springer-Verlag (pp. 115 - 120)

Guidance for the Use of the Ada Programming Language in High Integrity Systems
P.V. Bhansali, A. Burns, B. Carr'e, D. Craigen, N. Johnson, S. Michell, G. Motet, G. Romanski, M. Saatlink, G. Rowlands, A. Tacy, P. Thornley, D. Tombs, T. Vardanega and B. Wichmann (August/September 1998)
Ada Letters

Integration of AI Techniques into Integrated Modular Avionics
A. Burns, A.J. Wellings and J. Austin (18 - 19 November 1998)
Proceedings of the 1998 Avionics Conference & Exhibition, ERA Technology Ltd , Heathrow (pp. 2.3.1 - 2.3.12)

How to Verify a Safe Real-Time System. The Application of Model Checking and a Timed Automata to the Production Cell Case Study
A. Burns (November 1998)
YCS 309, Department of Computer Science, University of York

Concurrency in Ada (Second Edition)
A. Burns and A.J. Wellings (1998)
Cambridge University Press.

Probabilistic Scheduling Guarantees for Fault-Tolerant Real-Time Systems
A. Burns, S. Punnekkat, L. Stringini and D.R. Wright (December 1998)
YCS 311, Department of Computer Science, University of York

The Ravenscar Tasking Profile for High Integrity Real-Time Programs
B. Dobbing and A. Burns (8-12 November 1998)
Proceedings of ACM SigAda Annual Conference, ACM Press, Washington DC, U.S.A. (pp. 1 - 6)

Towards a Scheduling and Timing Analysis Solution for IMA Systems
A. Grigg and N.C. Audsley (1998)
Aircraft Engineering and Aerospace Technology (Vol. 70(4), pp. 271 - 280)

Distributed Atomic Actions in Ada 95
S.E. Mitchell, A.J. Wellings and A. Romoanovsky (1998)
Computer Journal (Vol. 41(7), pp. 486 - 502)

Distributed Atomic Actions in Ada 95
S.E. Mitchell, A.J. Wellings and A. Romanovsky (March 1998)
YCS 298, Department of Computer Science, University of York

The Ceiling Protocol in Multi-Moded Real-Time Systems
J. Real and A. Wellings (November 1998)
YCS 308, Department of Computer Science, University of York

Evaluating P-NET Message's Response Time with Fixed Priority Queuing at Application Process Level
E. Tovar, F. Vasques and A. Burns (2- 4 December 1998)
Work in Progress handout of 19th IEEE Real-Time Systems Symposium, IEEE Computer Society Press, Madrid, Spain (pp. 19 - 22)

Real-Time Scheduling in a Generic Fault-Tolerant Architecture
A.J. Wellings, L. Beus-Dukic and D. Powell (2 - 4 December 1998)
Proceedings of the 19th IEEE Real-Time Systems Symposium, IEEE Computer Society Press, Madrid, Spain (pp. 390 - 398)

Dynamic Value-Density for Scheduling Real-Time Systems
S. A. Aldarmi, and A. Burns (November 1998)
YCS 310, Department of Computer Science, University of York

Integration of AI Techniques into Integrated Modular Avionics
A. Burns, A.J. Wellings, and J. Austin (November 1998)
Proceedings of ERA 1998 Avionics Conference (pp. 2.3.1-2.3.12)

Extensible Protected Types
O.P. Kiddle and A.J. Wellings (November 1998)
Proceedings of ACM SIGAda Annual International Conference (SIGAda 98) (pp. 229-239)

Value-Based Scheduling of Flexible Real-Time Systems for Intelligent Autonomous Vehicle Control
A. Burns and D. Prasad (March 1998)
Proceedings of the 3rd IFAC Symposium on Intelligent Autonomous Vehicles, Editors M.A. Salichs and A. Halme, Universidad Carlos III De Madrid, Spain (pp. 127-132)

Integrating real-time structured design and formal techniques
D. Priddin, and A. Burns (1998)
Formal techniques in real-time and fault-tolerant systems, Lecture notes in computer science, Eitors (Anders Ravn and Hans Rischel), (Vol. 1486, pp. 92-103)
ISSN_ISBN 3540650032

Time-Cognizant Value Functions for Scheduling Real-Time Systems
S. A. Aldarmi and A. Burns (October 1998)
YCS 306, Department of Computer Science, University of York

Schedulability Analysis for Mode Changes in Flexible Real-Time Systems
P. Pedro, and A. Burns (June 1998)
Proceedings of the 10th Euromicro Workshop on Real-Time Systems, IEEE Computer Society, Berlin, Germany (pp. 17 - 19)

Integrity Management in GUARDS
E. Totel, Ljerka Beus-Dukic, J-P. Blanquart, Y. Deswarte, D. Powell, and A.J. Wellings (1998)
Middleware'98 (Proceedings of IFIP International Conference on Distributed Systems Platforms and Open Distributed Processing), The Lake District, U.K., Springer (pp. 105-122)

The Ravenscar Tasking Profile for High Integrity Real-Time Programs
A. Burns, B. Dobbing, and G. Romanski (1998)
Reliable Software Technologies - Ada-Europe '98, Lars Asplund, Springer Verlag (pp. 263-275)

Investigation of the Pessimism in Distributed Systems Timing Analysis
I. Bate, A. Burns (June 1998)
Proceedings of the 10th Euromicro Workshop on Real-Time Systems, Berlin, Germany, IEEE Computer Society (pp. 107-114)

Time-Related Dependability Mechanisms in GUARDS
Ljerka Beus-Dukic, and A.J. Wellings (July 1998)
Proceedings of the DASIA '98 Conference on 'Data Systems in Aerospace', Athens, Greece, ESA Publications Division (pp. 335-40)

Extensible Protected Types in Ada-EPT
O.P. Kiddle and A.J. Wellings (1998)
YCS 299, Department of Computer Science, University of York

Asynchonous Data Sharing in Multiprocessor Real-Time Systems Using Process Consensus
J. Chen and A. Burns (March 1998)
YCS 295, Department of Computer Science, University of York

State Restoration in Ada 95: A Portable Approach to Supporting Software Fault Tolerance
P. Rogers and A.J. Wellings (March 1998)
YCS 297, Department of Computer Science, University of York

Distributed Atomic Actions in Ada 95
S.E. Mitchell, A.J. Wellings, and A. Romanovsky (March 1998)
YCS 298, Department of Computer Science, University of York

Real-Time Database Systems: Concepts and Design
S. A. Aldarmi, and A. Burns (April 1998)
YCS 303, Department of Computer Science, University of York

Asynchronous Data Sharing in Multiprocessor Real-Time Systems Using Process Consensus
J. Chen and A. Burns (17 - 19 June 1998)
Proceedings of the 10th Euromicro Workshop on Real-Time Systems, Berlin, Germany, IEEE Computer Society (pp. 2-9)