Papers published in 1998
Asynchonous Data Sharing in Multiprocessor Real-Time Systems Using Process Consensus
J. Chen and A. Burns (March 1998)
J. Chen and A. Burns (March 1998)
Asynchronous Data Sharing in Multiprocessor Real-Time Systems Using Process Consensus
J. Chen and A. Burns (17 - 19 June 1998)
J. Chen and A. Burns (17 - 19 June 1998)
Concurrency in Ada (Second Edition)
A. Burns and A.J. Wellings (1998)
A. Burns and A.J. Wellings (1998)
Distributed Atomic Actions in Ada 95
S.E. Mitchell, A.J. Wellings and and A. Romanovsky (March 1998)
S.E. Mitchell, A.J. Wellings and and A. Romanovsky (March 1998)
Distributed Atomic Actions in Ada 95
S.E. Mitchell, A.J. Wellings and A. Romanovsky (March 1998)
S.E. Mitchell, A.J. Wellings and A. Romanovsky (March 1998)
Distributed Atomic Actions in Ada 95
S.E. Mitchell, A.J. Wellings and A. Romoanovsky (1998)
S.E. Mitchell, A.J. Wellings and A. Romoanovsky (1998)
Distributed Fault-Tolerant Avionic Systems - A Real-Time Perspective
N.C. Audsley and M. Burke (1998)
N.C. Audsley and M. Burke (1998)
Dynamic Value-Density for Scheduling Real-Time Systems
S. A. Aldarmi and and A. Burns (November 1998)
S. A. Aldarmi and and A. Burns (November 1998)
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)
E. Tovar, F. Vasques and A. Burns (2- 4 December 1998)
Extensible Protected Types
O.P. Kiddle and A.J. Wellings (November 1998)
O.P. Kiddle and A.J. Wellings (November 1998)
Extensible Protected Types in Ada-EPT
O.P. Kiddle and A.J. Wellings (1998)
O.P. Kiddle and A.J. Wellings (1998)
Extreme Interleavings
M. Ben-Ari and A. Burns (July-September 1998)
M. Ben-Ari and A. Burns (July-September 1998)
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)
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)
Integrating real-time structured design and formal techniques
D. Priddin and and A. Burns (1998)
D. Priddin and and A. Burns (1998)
Integration of AI Techniques into Integrated Modular Avionics
A. Burns, A.J. Wellings and and J. Austin (November 1998)
A. Burns, A.J. Wellings and and J. Austin (November 1998)
Integration of AI Techniques into Integrated Modular Avionics
A. Burns, A.J. Wellings and J. Austin (18 - 19 November 1998)
A. Burns, A.J. Wellings and J. Austin (18 - 19 November 1998)
Integrity Management in GUARDS
E. Totel, Ljerka Beus-Dukic, J-P. Blanquart, Y. Deswarte, D. Powell and and A.J. Wellings (1998)
E. Totel, Ljerka Beus-Dukic, J-P. Blanquart, Y. Deswarte, D. Powell and and A.J. Wellings (1998)
Investigation of the Pessimism in Distributed Systems Timing Analysis
I. Bate and A. Burns (June 1998)
I. Bate and A. Burns (June 1998)
Life-Cycle Timing Analysis of IMA Systems
N.C. Audsley, I.J. Bate and A. Grigg (1998)
N.C. Audsley, I.J. Bate and A. Grigg (1998)
On Fixed Priority Scheduling, Offsets and Co-Prime Task Periods
N.C. Audsley and A. Burns (1998)
N.C. Audsley and A. Burns (1998)
Portable Code in Future Avionic Systems
N.C. Audsley, I.J. Bate, M. Fletcher, A. Grigg and A. Wake (1998)
N.C. Audsley, I.J. Bate, M. Fletcher, A. Grigg and A. Wake (1998)
Probabilistic Scheduling Guarantees for Fault-Tolerant Real-Time Systems
A. Burns, S. Punnekkat, L. Stringini and D.R. Wright (December 1998)
A. Burns, S. Punnekkat, L. Stringini and D.R. Wright (December 1998)
Real-Time Database Systems: Concepts and Design
S. A. Aldarmi and and A. Burns (April 1998)
S. A. Aldarmi and and A. Burns (April 1998)
Real-Time Scheduling in a Generic Fault-Tolerant Architecture
A.J. Wellings, L. Beus-Dukic and D. Powell (2 - 4 December 1998)
A.J. Wellings, L. Beus-Dukic and D. Powell (2 - 4 December 1998)
Schedulability Analysis for Mode Changes in Flexible Real-Time Systems
P. Pedro and and A. Burns (June 1998)
P. Pedro and and A. Burns (June 1998)
State Restoration in Ada 95: A Portable Approach to Supporting Software Fault Tolerance
P. Rogers and A.J. Wellings (March 1998)
P. Rogers and A.J. Wellings (March 1998)
The Ceiling Protocol in Multi-Moded Real-Time Systems
J. Real and A. Wellings (November 1998)
J. Real and A. Wellings (November 1998)
The Ravenscar Tasking Profile for High Integrity Real-Time Programs
A. Burns, B. Dobbing and and G. Romanski (1998)
A. Burns, B. Dobbing and and G. Romanski (1998)
The Ravenscar Tasking Profile for High Integrity Real-Time Programs
B. Dobbing and A. Burns (8-12 November 1998)
B. Dobbing and A. Burns (8-12 November 1998)
The Requirements for a COTS Software Component: A Case Study
L. Beus-Dukic and A.J. Wellings (19-20 October 1998)
L. Beus-Dukic and A.J. Wellings (19-20 October 1998)
The Requirements for a COTS Software Component: A Case Study
L. Beus-Dukic and A.J. Wellings (1998)
L. Beus-Dukic and A.J. Wellings (1998)
The Role of Timing Analysis in the Certification of IMA Systems
N.C. Audsley, I.J. Bate and A. Grigg (1998)
N.C. Audsley, I.J. Bate and A. Grigg (1998)
Time-Cognizant Value Functions for Scheduling Real-Time Systems
S. A. Aldarmi and A. Burns (October 1998)
S. A. Aldarmi and A. Burns (October 1998)
Time-Related Dependability Mechanisms in GUARDS
Ljerka Beus-Dukic and and A.J. Wellings (July 1998)
Ljerka Beus-Dukic and and A.J. Wellings (July 1998)
Towards a Scheduling and Timing Analysis Solution for IMA Systems
A. Grigg and N.C. Audsley (1998)
A. Grigg and N.C. Audsley (1998)
Value-Based Scheduling of Flexible Real-Time Systems for Intelligent Autonomous Vehicle Control
A. Burns and D. Prasad (March 1998)
A. Burns and D. Prasad (March 1998)