Papers published in 2003
A Behavioural Notion of Subtyping for Object-Oriented Programming in SPARK95
T.-M. Lin, J.A. McDermid (2003)
Reliable Software Technologies—Ada-Europe 2003
[ Abstract and Details ]
A Comparison of the Asynchronous Transfer of Control Features in Ada and the Real-Time Specification for Java
B. N. Brosgol, A. J. Wellings (2003)
Reliable Software Technologies—Ada-Europe 2003
[ Abstract and Details ]
A Consensus Protocol for CAN-Based Systems
G.M.A. Lima, A. Burns (2003)
Proceedings of IEEE Real-Time Systems Symposium
[ Abstract and Details ]
A Contract-based Approach to Designing Safe Systems
I. Bate, R. Hawkins, J. McDermid (2003)
Proceedings of the 8th Australian Workshop on Safety Critical Systems and Software
[ Abstract and Details | Download ]
A Probabilistic Framework for Schedulability Analysis
A. Burns, G. Bernat, I. Broster (2003)
Proceedings of the Third International Embedded Software Conference, EMSOFT
[ Abstract and Details | Download ]
A Real-Time RMI Framework for the RTSJ
A. Borg, A. Wellings (2003)
Proceedings of the 15th Euromicro Conference on Real Time Systems
[ Abstract and Details | Download ]
A Round Robin Scheduling Policy for Ada
A. Burns, M. González Harbour, A. J. Wellings (2003)
Reliable Software Technologies—Ada-Europe 2003
[ Abstract and Details ]
Adding Temporal Annotations and Associated Verification to Ravenscar Profile
A. Burns, T.-M. Lin (2003)
Reliable Software Technologies—Ada-Europe 2003
[ Abstract and Details ]
An Analysable Bus-Guardian for Event-Triggered Communication
I. Broster, A. Burns (2003)
Proceedings of the 24th Real-time Systems Symposium
[ Abstract and Details | Download ]
An Approach to Designing Safety Critical Systems using the Unified Modelling Language
I. Bate, R. Hawkins, I. Toyn (2003)
Proceedings of the Workshop on Critical Systems Development with UML
[ Abstract and Details | Download ]
An Integrated Approach to Scheduling in Safety-Critical Embedded Control Systems
I. Bate, A. Burns (2003)
Real-Time Systems Journal
[ Abstract and Details ]
An Optimal Fixed-Priority Assignment Algorithm for Supporting Fault-Tolerant Hard Real-Time Systems
G.M.A. Lima, A. Burns (2003)
IEEE Transactions on Computers
[ Abstract and Details ]
Architectural Considerations in the Certification of Modular Systems
I. Bate, T. Kelly (2003)
Reliability Engineering and System Safety
[ Abstract and Details | Download ]
Assessment of the Java Programming Language for use in High Integrity Systems
J. Kwon, A. Wellings, S. King (2003)
ACM SIGPLAN Notices
[ Abstract and Details | Download ]
Automatic Code Generation for Airborne Systems
N. C. Audsley, I. J. Bate, S. K. Crook-Dawkins (2003)
Proceedings of the IEEE Aerospace Conference
[ Abstract and Details | Download ]
Comparison of Trace Generation Methods for Measurement Based WCET Analysis
Stefan M. Petters (2003)
3nd Intl. Workshop on Worst Case Execution Time Analysis
[ Abstract and Details | Download ]
Deriving Java Machine Timing Models for Portable Worst-Case Execution Time Analysis
E. Yu-Shing Hu, A. J. Wellings, G. Bernat (2003)
On the Move to Meaningfull Internet Systems 2003: Workshop on Java Technologies for Real-Time and Embedded Systems
[ Abstract and Details | Download ]
Developing Safety Contracts for OO Systems
I. Bate, R. Hawkins, J. McDermid (2003)
21st International System Safety Conference
[ Abstract and Details | Download ]
Establishing Timing Requirements and Control Attributes for Control Loops in Real-Time Systems
I. Bate, A. Cervin, P. Nightingale (2003)
Proceedings of the 15th Euromicro Conference on Real-Time Systems
[ Abstract and Details | Download ]
Establishing Timing Requirements for Control Loops in Real-Time Systems
I. Bate, P. Nightingale, J. McDermid (2003)
Microprocessors and Microsystems
[ Abstract and Details ]
Evaluating the Expressive Power of the Real-Time Specification for Java
A. J. Wellings, P. Puschner (2003)
Real-Time Systems
[ Abstract and Details ]
Experimental Evaluation of Code Properties for WCET Analysis
A. Colin, S. M. Petters (2003)
Proceedings of the 24th IEEE International Real-Time Systems Symposium
[ Abstract and Details | Download ]
Extracting Temporal Properties fom Real-Time Systems by Automatic Tracing Analysis
A. Terrasa, G. Bernat (2003)
9th Intl Conf. on Real-Time and Embedded Computing Systems and Applications
[ Abstract and Details | Download ]
Gain Time Reclaiming in High Performance Real-Time Java Systems
E. Yu-Shing Hu, A. Wellings, G. Bernat (2003)
Proceedings of the 6th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing ISORC-2003
[ Abstract and Details | Download ]
Guide for the use of the Ada Ravenscar Profile in high integrity systems
A. Burns, B.Dobbing, T. Vardanega (2003)
University of York
[ Abstract and Details | Download ]
How to Verify a Safe Real-Time System: The Application of Model Checking and Timed Automata to the Production Cell Case Study
A. Burns (2003)
Real-Time Systems Journal
[ Abstract and Details ]
Increasing the Real-Time Expressive Power of Ada 95
A. Burns (2003)
Ada User Journal
[ Abstract and Details ]
Is Java Augmented with the RTSJ a Better Real-Time Systems Implementation Technology than Ada 95?
A. J. Wellings (2003)
Proceedings of IRTAW 12, Ada Letters, Vol XXIII(4)
[ Abstract and Details | Download ]
Mapping Concurrent Real-Time Software to FPGA
N. Audsley, I. Bate, M. Ward (2003)
Proceedings of the 3rd U.K. ACM SIGDA Workshop on Electronic Design Automation
[ Abstract and Details | Download ]
Partitioning Support for the L4 Kernel
M. D. Bennett, N. C. Audsley (2003)
Dept. of Computer Science, University of York
[ Abstract and Details ]
Predictable Memory Utilization in the Ravenscar-Java Profile
J. Kwon, A. Wellings, S. King (2003)
Proceedings of the 6th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing ISORC-2003
[ Abstract and Details | Download ]
Proceedings of the Workshop on Co-design for Embedded Real-time Systems (CERTS'03)
Iain Bate (2003)
Department of Computer Science, University of York
[ Abstract and Details | Download ]
Processing Group Parameters and the Real-Time Specification for Java
A. Burns, A. J. Wellings (2003)
On the Move to Meaningfull Internet Systems 2003: Workshop on Java Technologies for Real-Time and Embedded Systems
[ Abstract and Details | Download ]
Reference Objects for RTSJ Memory Areas
A. Borg, A. J. Wellings (2003)
On the Move to Meaningfull Internet Systems 2003: Workshop on Java Technologies for Real-Time and Embedded Systems
[ Abstract and Details ]
Safety Challenges for Model Driven Development
Audsley, N., Conmy, P., Crook-Dawkins, S.K., Hawkins, R. (2003)
[ Abstract and Details ]
Safety case architectures to complement a contract-based approach to designing safe systems
I. Bate, S. Bates, R. Hawkins, T. Kelly, J. McDermid (2003)
21st International System Safety Conference
[ Abstract and Details | Download ]
Task Attribute-Based Scheduling - Extending Ada's Support for Scheduling
A. Burns, A. J. Wellings (2003)
Proceedings of IRTAW 12, Ada Letters, Vol XXIII(4)
[ Abstract and Details | Download ]
The Measurement and Usage of Utility in Adaptive Real-Time Systems
D. Prasad, A. Burns, M. Atkin (2003)
Journal of Real-Time Systems
[ Abstract and Details ]
The Ravenscar Profile for Real-Time and High Integrity Systems
A. Burns, B. Dobbing (2003)
CrossTalk
[ Abstract and Details ]
Towards a High-Integrity Real-Time Java Virtual Machine
H. Cai, A. J. Wellings (2003)
On the Move to Meaningfull Internet Systems 2003: Workshop on Java Technologies for Real-Time and Embedded Systems
[ Abstract and Details | Download ]
Towards the Codesign of Large Complex Hard Real-Time Embedded Systems
Neil Audsley (2003)
Proceedings Euromicro Workshop on Co-design for Embedded Real-Time Systems (CERTS'03)
[ Abstract and Details ]
COTS-Based Hardware Support to Timeliness in CAN Networks
Gu. Rodríguez-Navas, M. Barranco, J. Proenza, I. Broster (2003)
Proceedings of the 9th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA2003)
[ Abstract and Details ]
XRTJ: An Extensible Distributed High-Integrity Real-Time Java Environment
E. Yu-Shing Hu, J. Kwon, A. J. Wellings (2003)
Proceedings of the 9th International Conference on Real-Time and Embedded Computing Systems and Applications RTCSA-2003
[ Abstract and Details | Download ]
|
