Papers published in 2000
A Review of Worst-Case Execution-Time Analysis (editorial)
P. Puschner, A. Burns (2000)
Real-Time Systems
[ Abstract and Details ]
A Value-Based Scheduling Approach for Real-Time Autonomous Vehicle Control
D. Prasad, A. Burns (2000)
Robotica
[ Abstract and Details ]
Ada Yearbook: Millenium Edition
N. C. Audsley (2000)
Ada Language UK Ltd.
[ Abstract and Details ]
An approach to symbolic worst-case execution time analysis
G. Bernat, A. Burns (2000)
25th IFAC Workshop on Real-Time Programming. Palma (Spain).
[ Abstract and Details | Download ]
An incremental recovery cache supporting software fault tolerance mechanisms
P Rogers, A J Wellings (2000)
Computer Systems Science and Engineering
[ Abstract and Details ]
Developing fault tolerance systems with Ada
A. Romanovsky, A J Wellings(Editors) (2000)
Computer Systems Science and Engineering
[ Abstract and Details ]
Generating Evidence for Certification of Modern Processors for use in Safety-Critical Systems
I. Bate, P. Conmy, J McDermid (2000)
Proceedings of the 5th International High Assurance Systems Engineering Symposium
[ Abstract and Details | Download ]
Generating and maintaining a Safety Argument for Integrated Modular Systems
M. Nicholson, P. Conmy, I. Bate, J. McDermid (2000)
5th Australian Workshop on Safety Critical Systems and Software
[ Abstract and Details | Download ]
Implementing a High-Integrity Executive using Ravenscar
N. C. Audsley, A. Burns, A. J. Wellings (2000)
Proceedings 10th International Real-Time Ada Workshop
[ Abstract and Details ]
Integrating Object-Oriented Programming and Protected Types in Ada 95
A. J. Wellings, B. Johnson, B. Sanden, J. Kienzle, T. Wolf, S. Michell (2000)
ACM TOPLAS
[ Abstract and Details ]
Issues with using Ravenscar and the Ada Distributed Systems Annex for High-Integrity Systems
N. C. Audsley, A. J. Wellings (2000)
Proceedings 10th International Real-Time Ada Workshop
[ Abstract and Details ]
Low-level analysis of a portable WCET analysis framework
I. Bate, G. Bernat, G. Murphy, P. Puschner (2000)
6th IEEE Real-Time Computing Systems and Applications (RTCSA2000)
[ Abstract and Details | Download ]
Object-oriented programming and protected objects in Ada 95
A. J. Wellings, B. Johnson, B. Sanden, J. Kienzle, T. Wolf, S. Michell (2000)
Reliable Software Technologies—Ada-Europe 2000, Lecture Notes in Computer Science
[ Abstract and Details | Download ]
Portable Worst Case execution time analysis using Java Byte Code
G. Bernat, A. Burns, A. Wellings (2000)
Proc. 12th EUROMICRO conference on Real-time Systems
[ Abstract and Details | Download ]
Predicting Computation Time for Advanced Processor Architectures
A. Burns, S. Edgar (2000)
Proceedings 12th EUROMICRO conference on Real-time Systems
[ Abstract and Details | Download ]
Replica Determinism and Flexible Scheduling in Hard Real-Time Dependable Systems
S. Poledna, A. Burns, A. J. Wellings, P. Barrett (2000)
IEEE Transactions on Computers
[ Abstract and Details ]
Scheduling Optional Computations for Adaptive Real-Time Systems
C. McElhone, A. Burns (2000)
Journal of Systems Architectures
[ Abstract and Details ]
The Meaning and Role of Value in Scheduling Flexible Real-Time Systems
A. Burns, D. Prasad, A. Bondavalli, F. Di Giandomenico, K. Ramamritham, J. Stankovic, L. Stringini (2000)
Journal of Systems Architecture
[ Abstract and Details ]
Towards Modelling and Verification of Concurrent Ada Programs Using Petri-Nets
A. Burns, A. J. Wellings, F. Burns, A.M. Koelmans, M. Koutny, A. Romanovsky, A. Yakovlev (2000)
Proc. Workshop Software Engineering and Petri Nets, 21st Int. Conf. App. Theory of Petri Nets, Aarhus, Denmark
[ Abstract and Details ]
|
