Papers published since 1999
Developing Predictable Real-Time Embedded Systems using AnvilJ
Ian Gray, Neil C. Audsley (2012)
Proceedings of The 18th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2012) Beijing China, April 17-19 2012
[ Abstract and Details | Download ]
Distributed, Embedded and Real-time Java Systems
Higuera-Toledano, M. Teresa, Wellings, Andy J. (2012)
Springer
[ Abstract and Details ]
FPSL, FPCL and FPZL schedulability analysis
R.I. Davis, S. Kato (2012)
Real Time Systems
[ Abstract and Details ]
Interfacing Java to Hardware Coprocessors and FPGAs
Jack Whitham, Neil Audsley (2012)
Distributed, Embedded and Real-time Java Systems
Springer US
[ Abstract and Details ]
Modelling Temporal Behaviour in Complex Systems with Timebands
K. Wei, J. Woodcock, A. Burns (2012)
Conquering Complexity
Spinger
[ Abstract and Details ]
Partitioned EDF scheduling for multiprocessors using a C=D task splitting
A. Burns, R. I. Davis, P. Wang, F. Zhang (2012)
Real-Time Systems Journal
[ Abstract and Details ]
Programming Embedded Systems: Interacting with the Embedded Platform
Dibble, Peter, Hunt, James, Wellings, Andy J. and (2012)
Distributed, Embedded and Real-time Java Systems
Springer US
[ Abstract and Details ]
RT-OSGi: Integrating the OSGi Framework with the Real-Time Specification for Java
Richardson, Thomas,, Wellings, Andy J. (2012)
Distributed, Embedded and Real-time Java Systems
Springer US
[ Abstract and Details ]
Supporting Multiprocessors in the Real-Time Specification for Java Version 1.1
Wellings, Andy J., Dibble, Peter, Holmes, David (2012)
Distributed, Embedded and Real-time Java Systems
Springer US
[ Abstract and Details ]
A Survey of Hard Real-Time Scheduling for Multiprocessor Systems
R.I. Davis, A. Burns (2011)
ACM Computing Surveys
[ Abstract and Details ]
A model-based development approach for the verification of real-time Java code
Pour, Niusha Hakimi, Strooper, Paul, Wellings, Andy (2011)
Concurrency and Computation: Practice and Experience
[ Abstract and Details ]
Adaptive data-driven error detection in swarm robotics with statistical classifiers
H.K. Lau, I.Bate, P. Cairns, J.Timmis (2011)
Robotics and Autonomous Systems
[ Abstract and Details | Download ]
Assessment of Trace-Differences in Timing Analysis for Complex Real-Time Embedded Systems
Y. Lu, T. Nolte, I. Bate, J. Kraft, C. Norstrom (2011)
Proceedings of the 6th IEEE International Symposium on Industrial Embedded Systems (SIES'11)
[ Abstract and Details | Download ]
Asynchronous event handling and Safety Critical Java
Andy Wellings, Minseong Kim (2011)
Concurrency and Computation: Practice and Experience
[ Abstract and Details ]
Bio-inspired Error Detection for Complex Systems
M. Drozda, I. Bate, J. Timmis (2011)
Proceedings of the 17th IEEE Pacific Rim International Symposium on Dependable Computing
[ Abstract and Details | Download ]
Cache related pre-emption delay aware response time analysis for fixed priority pre-emptive systems
S. Altmeyer, R.I. Davis, C. Maiza (2011)
Real-Time Systems Symposium (RTSS)
[ Abstract and Details | Download ]
Collective Self-detection Scheme for Adaptive Error Detection in a Foraging Swarm of Robots
H.K. Lau, J. Timmis, I. Bate (2011)
ICARIS2011
[ Abstract and Details | Download ]
Comparing Models of Nondeterministic Expression Evaluation
Ian J. Hayes, Alan Burns, Brijesh Dongol, Cliff B. Jones (2011)
Newcastle University
[ Abstract and Details ]
Controller Area Network (CAN) Schedulability Analysis with FIFO queues
R.I. Davis, S. Kollmann, V. Pollex, F. Slomka (2011)
The 23rd Euromicro Conference on Real-Time Systems (ECRTS)
[ Abstract and Details | Download ]
Controller Area Network (CAN) Schedulability Analysis with FIFO queues
R. I. Davis, S. Kollmann, V. Pollex, F. Slomka (2011)
University of York, Department of Computer Science
[ Abstract and Details | Download ]
Developing Safe and Dependable Sensornets
I. Bate, Y. Wu, J. Stankovic (2011)
Proceedings of the 37th EUROMIICRO Conference on Software Engineering and Advanced Applications
[ Abstract and Details | Download ]
Dynamics for WCET
David Griffin, Alan Burns (2011)
11th Intl. Workshop on Worst-Case Execution Time Analysis
[ Abstract and Details | Download ]
Efficient Task Allocation to FPGAs in the Safety Critical Domain
P. Conmy, I. Bate (2011)
Proceedings of the 17th IEEE Pacific Rim International Symposium on Dependable Computing
[ Abstract and Details | Download ]
Evaluating the feasibility of network coding for NoCs
L. S. Indrusiak (2011)
Proc of the 6th Int Workshop on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC)
[ Abstract and Details | Download ]
Exploring Heterogeneous NoC-based MPSoCs: from FPGA to High-Level Modeling
L. Ost, G. M. Almeida, M. Mandelli, E. Wachter, S. Varyani, L. S. Indrusiak, G. Sassatelli, M. Robert, F. Moraes (2011)
Proc of the 6th Int Workshop on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC)
[ Abstract and Details ]
Exploring NoC-Based MPSoC Design Space with Power Estimation Models
L. Ost, G. M. Guindani, F. G. Moraes, L. S. Indrusiak, S. Maatta (2011)
IEEE Design & Test of Computers
[ Abstract and Details ]
FPZL Schedulability Analysis
R.I. Davis, A. Burns (2011)
RTAS
[ Abstract and Details | Download ]
Fast and Accurate Transaction-Level Model of a Wormhole Network-on-Chip with Priority Preemptive Virtual Channel Arbitration
L. S. Indrusiak, O. M. Santos (2011)
Design Automation and Test in Europe (DATE)
[ Abstract and Details ]
Genetic mapping of hard real-time applications onto NoC-based MPSoCs a first approach
P. Mesidis, L. S. Indrusiak (2011)
Proc of the 6th Int Workshop on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC)
[ Abstract and Details | Download ]
IA3: An Interference Aware Allocation Algorithm for Multicore Hard Real-Time Systems
M. Paolieri, E. Quinones, F.J. Cazorla, R.I. Davis, M. Valero (2011)
RTAS
[ Abstract and Details | Download ]
Implementing Mixed Criticality Systems in Ada
S. Baruah, A. Burns (2011)
Proceedings of Reliable Software Technology - Ada Europe 2011
[ Abstract and Details | Download ]
LIPS: A Protocol Suite For Homeostatic Sensornet Management
J. Tate, I. Bate (2011)
Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems
[ Abstract and Details | Download ]
Model-based development of embedded systems - the MADES approach
I. Gray, N. Matragkas, N. Audsley, L. S. Indrusiak, D. Kolovos, R. Paige (2011)
2nd Workshop on Model Based Engineering for Embedded Systems Design (M-BED)
[ Abstract and Details | Download ]
Model-based hardware generation and programming - the MADES approach
I. Gray, N. Matragkas, N. Audsley, L. S. Indrusiak, D. Kolovos, R. Paige (2011)
2nd IEEE International Workshop on Model-Based Engineering for Real-Time Embedded Systems Design (MoBE-RTES)
[ Abstract and Details | Download ]
Multi-Modal Routing to Tolerate Failures
T. H. Lim, I. Bate, J. Timmis (2011)
7th International Conference on Intelligent Sensors, Sensor Networks and Information Processing
[ Abstract and Details | Download ]
Multiprocessors and Asynchronous Event Handling in the Real-Time Specification for Java
Minseong Kim, Andy Wellings (2011)
The Computer Journal
[ Abstract and Details ]
Optimal Priority Assignment Algorithms for Probabilistic Real-Time Systems
D. Maxim, O. Buffet, L. Santinelli, L. Cucu-Grosjean, R. I. Davis (2011)
Proceedings 19th International Conference on Real-Time and Network Systems (RTNS'11)
[ Abstract and Details | Download ]
Practical and Theoretical Considerations on Low-Power Probability-Codes for Networks-on-Chip
A. Garcia-Ortiz, L. Soares Indrusiak (2011)
Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation - 20th International Workshop, PATMOS 2010
[ Abstract and Details ]
Pre-emption cost aware response time analysis for fixed priority pre-emptive systems
S. Altmeyer, R.I. Davis, C. Maiza (2011)
University of York
[ Abstract and Details | Download ]
Predictability as an Emergent Behaviour
A. Burns, D. Griffin (2011)
4th Workshop on Compositional Theory and Technology for Real‐Time Embedded Systems
[ Abstract and Details | Download ]
Probabilistic Instruction Cache Analysis using Bayesian Networks
M. Bartlett, I. Bate, J. Cussens, D. Kazakov (2011)
Proceedings of the 17th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2011)
[ Abstract and Details | Download ]
Programming Langugaes for Real-Time Applications Executing on Parallel hardware
A. Burns (2011)
Proceedings of Reliable Software Technology - Ada Europe 2011
[ Abstract and Details | Download ]
Response-Time Analysis for Mixed Criticality Systems
S.K. Baruah, A. Burns, R. I. Davis (2011)
Real-Time Systems Symposium (RTSS)
[ Abstract and Details | Download ]
Safety-Critical Java Technology Specification, Public draft
Doug Locke, B. Scott Andersen, Ben Brosgol, Mike Fulton, Thomas Henties, James J. Hunt, Johan Olm"utz Nielsen, Kelvin Nilsen, Martin Schoeberl, Joyce Tokar, Jan Vitek, Andy Wellings (2011)
Use of uninitialized value in split at ./paperslist.pl line 114.
[ Abstract and Details ]
Schedulability Analysis of CAN with Non-abortable Transmission Requests
D.A. Khan, R.I. Davis, N. Navet (2011)
Proceedings of the16th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'11)
[ Abstract and Details | Download ]
Sensitivity analysis of arbitrary deadline real-time systems with EDF scheduling
Fengxiang Zhang, Alan Burns, Sanjoy K. Baruah (2011)
Real-Time Systems
[ Abstract and Details ]
Targeting complex embedded architectures by combining the Multicore Communications API (MCAPI) with Compile-Time Virtualisation
Ian Gray, Neil Audsley (2011)
ACM SIGPLAN/SIGBED Conference on Languages, Compilers, Tools and Theory for Embedded Systems (LCTES)
[ Abstract and Details | Download ]
Timing Faults and Mixed Criticality Systems
A. Burns, S. Baruah (2011)
Dependable and Historic Computing
Springer
[ Abstract and Details | Download ]
Trace-Based Statistical Response-Time Analysis of Complex Real-Time Embedded Systems
Y. Lu, T. Nolte, I. Bate, L. Cucu-Grosjean (2011)
Proceedings of the 6th IEEE International Symposium on Industrial Embedded Systems (SIES'11)
[ Abstract and Details | Download ]
Video Subset Selection for Measurement Based Worst Case Execution Time Analysis
Sitsofe Wheeler, Iain Bate, Mark Bartlett (2011)
Proceedings of the 6th IEEE International Symposium on Industrial Embedded Systems (SIES'11)
[ Abstract and Details | Download ]
WCET analysis of modern processors using multi-criteria optimisation
I. Bate, U. Khan (2011)
Empirical Software Engineering
[ Abstract and Details ]
A Feedback-Driven Timing Synchronisation Protocol For Cellular Sensornets
J. Tate, I. Bate (2010)
Proceedings of the 7th IEEE International Conference on Mobile Ad-hoc and Sensor Systems
[ Abstract and Details | Download ]
A Timeband Framework for Modelling Real-Time Systems
Alan Burns, Ian J. Hayes (2010)
Real-Time Systems
[ Abstract and Details | Download ]
A Timed Model of Circus with the Reactive Design Miracle
Kun Wei, Jim Woodcock, Alan Burns (2010)
8th International Conference on Software Engineering and Formal Methods (SEFM)
[ Abstract and Details ]
A case study of hierarchically heterogeneous application modelling using UML and Ptolemy II
Sanna Maatta, Leandro Soares Indrusiak, Luciano Ost, Leandro Moller, Manfred Glesner, Fernando Gehm Moraes, Jari Nurmi (2010)
International Symposium on System on Chip (SoC 2010)
[ Abstract and Details ]
A framework for flexible scheduling in the RTSJ
Alexandros Zerzelidis, Andy Wellings (2010)
ACM Trans. Embed. Comput. Syst.
[ Abstract and Details ]
A locality model for the real-time specification for Java
Abdul Haseeb Malik, Andy Wellings, Yang Chang (2010)
JTRES '10: Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems
[ Abstract and Details ]
Accurate Determination of Loop Iterations for Worst-Case Execution Time Analysis
M. Bartlett, I. Bate, D. Kazakov (2010)
IEEE Transactions on Computers
[ Abstract and Details ]
Ada and cc-NUMA architectures what can be achieved with Ada 2005?
A. J. Wellings, A. H. Malik, N. C. Audsley, A. Burns (2010)
Ada Lett.
[ Abstract and Details ]
Ada and the Software Vulnerabilities Project
A. Burns, J.L. Tokar (2010)
Ada User Journal
[ Abstract and Details ]
Ada and the Software Vulnerabilities Project: The SPARK Annex
A. Burns, J. L. Tokar (2010)
Ada User Journal
[ Abstract and Details ]
An Admission Control Protocol for Real-Time OSGi
T. Richardson, A. Wellings (2010)
The 13th IEEE International Symposium on Object/component/service-oriented Real-time distributed computing
[ Abstract and Details | Download ]
Applying fixed-priority preemptive scheduling with preemption threshold to asynchronous event handling in the RTSJ
Kim, MinSeong, Wellings, Andy (2010)
Concurrency and Computation: Practice and Experience
[ Abstract and Details ]
Asynchronous event handling and safety critical Java
Andy Wellings, MinSeong Kim (2010)
JTRES '10: Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems
[ Abstract and Details ]
Combining Behavioural Real-time Software Modelling with the OSCI TLM-2.0 Communication Standard
Ke Yu, Neil Audsley (2010)
The 7th International Conference on Embedded Software and Systems (ICESS)
[ Abstract and Details | Download ]
Component-Based Safety Analysis of FPGAs
P Conmy, I Bate (2010)
IEEE Transactions on Industrial Informatics
[ Abstract and Details ]
Dispatching Domains for Multiprocessor Platforms and their Representation in Ada
A. Burns, A. J. Wellings (2010)
Proceedings of Reliable Software Technologies - Ada-Europe
[ Abstract and Details ]
Dividing point value selections for Improved Quick Processor-demand Analysis
Fengxiang Zhang, Alan Burns (2010)
Software Technology and Engineering (ICSTE), 2010 2nd International Conference on
[ Abstract and Details ]
Do sensornet protocol variants yield real benefits?
J. Tate, I. Bate (2010)
Proceedings of the 17th IEEE International Conference on the Engineering of Computer Based Systems
[ Abstract and Details | Download ]
Dual Priority Scheduling: Is the Processor Utilisation bound 100%?
A. Burns (2010)
Proceedings of 1st International Real-Time Scheduling Open Problems Seminar, RTSOPS 2010
[ Abstract and Details | Download ]
Efficient asynchronous event handling in the real-time specification for Java
Minseong Kim, Andy Wellings (2010)
ACM Trans. Embed. Comput. Syst.
[ Abstract and Details ]
Evaluating the impact of communication latency on applications running over on-chip multiprocessing platforms: a layered approach
L. S. Indrusiak, L. C. Ost, F. G. Moraes, Sanna Maatta, J. Nurmi, L. Moller, M. Glesner (2010)
Proceedings of the 8th IEEE Int Conference on Industrial Informatics (INDIN)
[ Abstract and Details | Download ]
FPZL Schedulability Analysis
R.I. Davis, A. Burns (2010)
University of York, Department of Computer Science
[ Abstract and Details | Download ]
Garbage Collection for Flexible Hard Real-Time Systems
Yang Chang, Andy Wellings (2010)
IEEE Transactions on Computers
[ Abstract and Details ]
Generalizing the EDF scheduling support in Ada 2005
A. J. Wellings, A. Burns (2010)
Ada Lett.
[ Abstract and Details ]
Improved Schedulability Analysis for Multiprocessor Systems with Resource Sharing
Y. Chang, R.I. Davis, A. Wellings (2010)
University of York
[ Abstract and Details | Download ]
Improved priority assignment for global fixed priority pre-emptive scheduling in multiprocessor real-time systems
Robert Davis, Alan Burns (2010)
Real-Time Systems
[ Abstract and Details ]
Improving QoS of Multi-Layer Networks-on-Chip with Partial and Dynamic Reconfiguration of Routers
L. Moller, P. Fischer, F. G. Moraes, L. S. Indrusiak, M. Glesner (2010)
20th Int Conf on Field Programmable Logic and Applications (FPL)
[ Abstract and Details ]
Instruction Cache Prediction Using Bayesian Networks
M. Bartlett, I. Bate, J. Cussens (2010)
Proceedings of the 19th European Conference on Artificial Intelligence (ECAI 2010)
[ Abstract and Details | Download ]
Instruction Set Simulator for MPSoCs based on NoCs and MIPS Processors
L. Moller, A. Rodrigues, F. Moraes, L. S. Indrusiak, M. Glesner (2010)
Int Workshop on Reconfigurable and Communication-centric Systems-on-Chip (ReCoSoC)
[ Abstract and Details | Download ]
Language Vulnerabilities - Let's not forget Concurrency
A. Burns, A.J. Wellings (2010)
Proceedings of 14th International Real-Time Ada Workshop, IRTAW
[ Abstract and Details ]
Learning Bayesian Networks for Improved Instruction Cache Analysis
Mark Bartlett, Iain Bate, James Cussens (2010)
Proceedings of the 9th International Conference on Machine Learning and Applications
[ Abstract and Details | Download ]
Maintaining Stable Node Populations In Long-Lifetime Sensornets
Jonathan Tate, Iain Bate (2010)
Proceedings of the 15th IEEE International Conference on Engineering of Complex Computer Systems
[ Abstract and Details | Download ]
Measuring and policing blocking times in real-time systems
Osmar Marchi Dos Santos, Andy Wellings (2010)
ACM Trans. Embed. Comput. Syst.
[ Abstract and Details ]
Model-Based Power Estimation of NoC-Based MPSoCs
L. Ost, G. Guindani, L. S. Indrusiak, F. Moraes (2010)
25th South Symposium on Microelectronics (SIM)
[ Abstract and Details ]
Model-based Design Flow for NoC-based MPSoCs
Luciano Ost, Leandro Soares Indrusiak, Sanna Maatta, Marcelo Mandelli, Jari Nurmi, Fernando Moraes (2010)
Proceedings of the 17th IEEE International Conference on Electronics, Circuits, and Systems (ICECS)
[ Abstract and Details ]
Modelling and Implementing Complex Systems with Timebands
Jim Woodcock, Marcel Oliveira, Alan Burns, Kun Wei (2010)
Secure System Integration and Reliability Improvement
[ Abstract and Details ]
On Optimal Priority Assignment for Response Time Analysis of Global Fixed Priority Pre-emptive Scheduling in Multiprocessor Hard Real-Time Systems
R.I. Davis, A. Burns (2010)
University of York, Computer Science Dept.
[ Abstract and Details | Download ]
Partitioned EDF Scheduling for Multiprocessors using a C=D Scheme
A. Burns, R.I. Davis, P. Wang, F. Zhang (2010)
Proceedings of 18th International Conference on Real-Time and Network Systems (RTNS)
[ Abstract and Details | Download ]
Quantifying the Sub-optimality of Uniprocessor Fixed Priority Non-Pre-emptive Scheduling
R. I. Davis, L. George, P. Courbin (2010)
Proceedings of 18th International Conference on Real-Time and Network Systems (RTNS)
[ Abstract and Details | Download ]
Realism in Statistical Analysis of Worst Case Execution Times
D Griffin, A Burns (2010)
10th Intl. Workshop on Worst-Case Execution Time Analysis
[ Abstract and Details | Download ]
Reasoning about the Reliability of Multi-Version, Diverse Real-Time Systems
A. Burns, B. Littlewood (2010)
Proceedings of 31st IEEE Real-Time Systems Symposium
[ Abstract and Details | Download ]
Reducing Queue Lock Pessimism in Multiprocessor Schedulability Analysis
Y. Chang, R. I. Davis, A. J. Wellings (2010)
Proceedings of 18th International Conference on Real-Time and Network Systems (RTNS)
[ Abstract and Details | Download ]
Routing in cellular sensornets with uniquely identified destination nodes
J. Tate, I. Bate (2010)
University of York
[ Abstract and Details | Download ]
Schedulability Analysis for Real Time On-Chip Communication with Wormhole Switching
Z. Shi, A. Burns, L. S. Indrusiak (2010)
Int Journal of Embedded and Real-Time Communication Systems (IJERTCS)
[ Abstract and Details ]
Scheduling and Timing Analysis for Safety-Critical Real-Time Systems
A. Burns, C. Dale (2010)
Electronics World
[ Abstract and Details ]
Sensitivity Analysis for EDF Scheduled Arbitrary Deadline Real-Time Systems
F. Zhang, A. Burns, S. Baruah (2010)
Proceedings of 16th IEEE Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA)
[ Abstract and Details ]
Sensitivity Analysis of the Minimum Task Period for Arbitrary Deadline Real-Time Systems
F. Zhang, A. Burns, S. Baruah (2010)
Proceedings of the 16th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC)
[ Abstract and Details | Download ]
Sensitivity analysis of relative deadline for EDF scheduled real-time systems
F. Zhang, A. Burns, S. Baruah (2010)
Proceedings of 2nd International Conference on Mechanical and Electronics Engineering (ICMEE)
[ Abstract and Details ]
Sensitivity analysis of task period for EDF scheduled arbitrary deadline real-time systems
F. Zhang, A. Burns, S. Baruah (2010)
Proceedings of 3rd IEEE International Conference on Computer Science and Information Technology (ICCSIT)
[ Abstract and Details ]
Sensornet Protocol Tuning Using Principled Engineering Methods
Jonathan Tate, Iain Bate (2010)
The Computer Journal
[ Abstract and Details ]
Stressing Search with Scenarios for Flexible Solutions to Real-Time Task Allocation Problems
P. Emberson, I. Bate (2010)
IEEE Transactions on Software Engineering
[ Abstract and Details ]
Supporting Execution on Multiprocessor Platforms
A. Burns, A.J. Wellings (2010)
Proceedings of 14th International Real-Time Ada Workshop, IRTAW
[ Abstract and Details ]
Supporting Islands of Coherency for highly-parallel embedded architectures using Compile-Time Virtualisation
Ian Gray, Neil Audsley (2010)
13th International Workshop on Software and Compilers for Embedded Systems (SCOPES)
[ Abstract and Details | Download ]
TART: Timed-Automata to Real-Time Java Tool
Niusha Hakimipour, Paul Strooper, Andy Wellings (2010)
8th International Conference on Software Engineering and Formal Methods (SEFM)
[ Abstract and Details ]
Task parameter computations for constraint deadline real-time systems with EDF scheduling
F. Zhang, A. Burns, S. Baruah (2010)
Proceedings of International Conference onComputer Design and Applications (ICCDA)
[ Abstract and Details ]
The Evolution of Real-Time Programming Revisited: Programming the Giotto Model in Ada 2005
A.J. Wellings, A. Burns (2010)
Proceedings of Reliable Software Technologies - Ada-Europe
[ Abstract and Details ]
Timing Analyzing for Systems with Execution Dependencies between Tasks
Y. Lu, T. Nolte, I. Bate, C. Norstrom (2010)
The 25th ACM Symposium on Applied Computing (SAC2010)
[ Abstract and Details | Download ]
Timing Analyzing for Systems with Task Execution Dependencies
Y. Lu, T. Nolte, I. Bate, C. Norstrom (2010)
34th Annual IEEE Computer Software and Applications Conference (COMPSAC 2010)
[ Abstract and Details | Download ]
Towards memory management for service-oriented real-time systems
T. Richardson, A. J. Wellings, J. A. Dianes, M. Diaz (2010)
JTRES '10: Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems
[ Abstract and Details ]
User-defined clocks is it the right time now?
A. J. Wellings, A. Burns (2010)
Ada Lett.
[ Abstract and Details ]
Using the executor framework to implement asynchronous event handling in the RTSJ
MinSeong Kim, Andy Wellings (2010)
JTRES '10: Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems
[ Abstract and Details ]
VHDL Guidance for Safe and Certifiable FPGA Design
P Conmy, C Pygott, I Bate (2010)
IET System Safety Conference
[ Abstract and Details | Download ]
Investigating average versus worst-case timing behavior of data caches and data scratchpads
Jack Whitham, Neil Audsley (2010)
Proc. ECRTS
[ Abstract and Details | Download ]
Studying the Applicability of the Scratchpad Memory Management Unit
Jack Whitham, Neil Audsley (2010)
Proc. RTAS
[ Abstract and Details | Download ]
Time-Predictable Out-of-Order Execution for Hard Real-Time Systems
Jack Whitham, Neil Audsley (2010)
IEEE Transactions on Computers
[ Abstract and Details ]
A Generic and Accurate RTOS-centric Embedded System Modelling and Simulation Framework
K. Yu, N. Audsley (2009)
Fifth UK Embedded Forum (UKEF09)
[ Abstract and Details | Download ]
A Mixed Timing System-Level Embedded Software Modelling and Simulation Approach
K. Yu, N. Audsley (2009)
Proc. of International Conference on Embedded Software and Systems, ICESS
[ Abstract and Details | Download ]
A Survey of Hard Real-Time Scheduling Algorithms and Schedulability Analysis Techniques for Multiprocessor Systems
R.I. Davis, A. Burns (2009)
University of York, Department of Computer Science
[ Abstract and Details | Download ]
A high abstraction, high accuracy power estimation model for networks-on-chip
Luciano Ost, Guilherme Guindani, Leandro Soares Indrusiak, Cezar Reinbrecht, Thiago Raupp, Fernando Moraes (2009)
SBCCI '09: Proceedings of the 22nd Annual Symposium on Integrated Circuits and System Design
[ Abstract and Details | Download ]
An Immuno-engineering Approach for Anomaly Detection in Swarm Robotics
HK Lau, I. Bate, J. Timmis (2009)
Proceedings of the 8th International Conference on Artificial Immune Systems (ICARIS 2009)
[ Abstract and Details | Download ]
An Improved Lightweight Synchronisation Primitive For Sensornets
J. Tate, I. Bate (2009)
Proc. 6th IEEE International Conference on Mobile Ad-hoc and Sensor Systems
[ Abstract and Details | Download ]
An RTSJ-based reconfigurable server component
M. Alrahmawy, A. Wellings (2009)
Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems
[ Abstract and Details | Download ]
Anomaly Detection Inspired by Immune Network Theory: A Proposal
HK Lau, J.Timmis, I.Bate (2009)
Proceedings of the 2009 IEEE Congress on Evolutionary Computation (CEC '09)
[ Abstract and Details | Download ]
Applying fixed-priority preemptive scheduling with preemption threshold to asynchronous event handling in the RTSJ
M-S. Kim, A.J. Wellings (2009)
Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems
[ Abstract and Details ]
Certification of FPGAs - Current Issues and Possible Solutions
P. Conmy, I. Bate (2009)
Safety-critical Systems Symposium 2009
[ Abstract and Details | Download ]
Characterising Embedded Applications using a UML Profile
Sanna Mtt, Leandro Soares Indrusiak, Luciano Ost, Leandro Mller, Manfred Glesner, Fernando Gehm Moraes, Jari Nurmi (2009)
Proc. International Symposium on System-on-Chip (SoC Symposium)
[ Abstract and Details ]
Combining EDF and FP Scheduling: Analysis and Implementation in Ada 2005
A. Burns, A. J. Wellings, F. Zhang (2009)
Proceedings of Reliable Software Technologies - Ada-Europe 2009
[ Abstract and Details | Download ]
Comparing Design Of Experiments and Evolutionary Approaches To Multi-Objective Optimisation Of Sensornet Protocols
J. Tate, B. Woolford-Lim, I. Bate, X. Yao (2009)
Proceedings of the 10th IEEE Congress on Evolutionary Computation
[ Abstract and Details | Download ]
Concurrency Vulnerabilities
A. Burns, A.J. Wellings (2009)
Ada User Journal
[ Abstract and Details ]
Contract based management of the memory resource
I. Ripoll, P. Balbastre, M. Masmano, A. Crespo, A. Burns (2009)
Proceedings17th International Conference on Real-Time and Network Systems (RTNS 2009)
[ Abstract and Details ]
Design patterns for supporting RTSJ component models
M. Alrahmawy, A. Wellings (2009)
Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems
[ Abstract and Details | Download ]
Energy Efficient Duty Allocation Protocols For Wireless Sensor Networks
J. Tate, I. Bate (2009)
14th International IEEE Conference on Engineering of Complex Computer Systems
[ Abstract and Details | Download ]
Enhancing the platform independence of the real-time specification for Java
A.J. Wellings, Y. Chang, T. Richardson (2009)
Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems
[ Abstract and Details ]
Exact Quantification of the Sub-optimality of Uniprocessor Fixed Priority Pre-emptive Scheduling
R. I. Davis, T. Rothvo, S. K. Baruah, A. Burns (2009)
Real Time Systems
[ Abstract and Details ]
Exact Scheduling Analysis of Non-Accumulatively Monotonic Multiframe Tasks
A. Zuhily, A. Burns (2009)
Real-Time Systems Journal
[ Abstract and Details ]
Exposing Non-Standard Architectures to Embedded Software Using Compile-Time Virtualisation
Ian Gray, Neil Audsley (2009)
International Conference on Compilers, Architecture, and Synthesis for Embedded Systems (CASES '09)
[ Abstract and Details | Download ]
Guaranteed Loop Bound Identification from Program Traces for WCET
M. Bartlett, I. Bate, D. Kazakov (2009)
Proceedings of the 15th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS)
[ Abstract and Details | Download ]
Implementing Transactions in a Distributed Real-Time System without Global Time
A. Burns, Y. Chen (2009)
WiP, RTSS
[ Abstract and Details | Download ]
Improvement of Schedulability Analysis with a Priority Share Policy in On-ChipNetworks
Z. Shi, A. Burns (2009)
17th International Conference on Real-Time and Network Systems (RTNS))
[ Abstract and Details | Download ]
Improvement to Quick Processor-demand Analysis for EDF-Scheduled Real-Time Systems
Fengxiang Zhang, Alan Burns (2009)
Proceedings of the 21st Euromicro Conference on Real-Time Systems (ECRTS)
[ Abstract and Details | Download ]
JSR-282 status report
P.C. Dibble, A.J. Wellings (2009)
Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems
[ Abstract and Details ]
Low-Power Coding for Networks-on-Chip with Virtual Channels
A. Garcia-Ortiz, L. S. Indrusiak, T. Murgan, M. Glesner (2009)
J. Low Power Electronics
[ Abstract and Details ]
NoCScope: a Graphical Interface to Improve Networks-on-Chip Monitoring and Design Space Exploration
L. Moller, L. S. Indrusiak, M. Glesner (2009)
Proc 4th IEEE Int Workshop for Design and Test
[ Abstract and Details ]
Priority Assignment for Global Fixed Priority Pre-emptive Scheduling in Multiprocessor Real-Time Systems
R.I. Davis, A. Burns (2009)
University of York, Dept. of Computer Science
[ Abstract and Details | Download ]
Priority Assignment for Global Fixed Priority Pre-emptive Scheduling in Multiprocessor Real-Time Systems
R.I.Davis, A.Burns (2009)
Real-Time Systems Symposium (RTSS)
[ Abstract and Details ]
Probabilistic Methods For Dynamic Node Population Management In Sensornets
J. Tate, I. Bate (2009)
University of York
[ Abstract and Details | Download ]
Providing Memory Management Abstraction for Self-Reconfigurable Video Processing Platforms
K. F. Ackermann, B. Hoffmann, L. S. Indrusiak, M. Glesner (2009)
Int Journal of Reconfigurable Computing
[ Abstract and Details | Download ]
Providing Temporal Isolation in the OSGi Framework
T. Richardson, A.J. Wellings (2009)
7th International Workshop on Java Technologies for Real-Time and Embedded Systems
[ Abstract and Details | Download ]
Quantifying the Sub-optimality of Uniprocessor Fixed Priority Pre-emptive Scheduling for Sporadic Tasksets with Arbitrary Deadlines
R.I. Davis, T. Rothvo, S.K. Baruah, A. Burns (2009)
Real-Time Networks and Systems Conference
[ Abstract and Details | Download ]
Real-Time Communication Analysis with a Priority Share Policy in On-Chip Networks
Z. Shi, A. Burns (2009)
21st Euromicro Conference on Real-Time Systems (ECRTS)
[ Abstract and Details | Download ]
Refactoring Asynchronous Event Handling in the Real-Time Specification for Java
MinSeong Kim, Andy Wellings (2009)
21th Euromicro Conference on Real-Time Systems
[ Abstract and Details | Download ]
Robust priority assignment for messages on Controller Area Network (CAN)
Robert Davis, Alan Burns (2009)
Real-Time Systems
[ Abstract and Details ]
Schedulability Analysis for Real-Time Systems with EDF Scheduling
Fengxiang Zhang, Alan Burns (2009)
IEEE Transactions on Computers
[ Abstract and Details | Download ]
Semi-automated Safety Analysis for Field Programmable Gate Arrays
P. Conmy, I. Bate (2009)
Proceedings of the 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems
[ Abstract and Details | Download ]
Sensitivity Analysis for Real-Time Systems
Fengxiang Zhang, Alan Burns, Sanjoy Baruah (2009)
University of York, Computer Science Dept.
[ Abstract and Details ]
Spare Capacity Distribution Using Exact Response-Time Analysis
Attila Zabos, Robert I. Davis, Alan Burns, Michael González Harbour (2009)
17th International Conference on Real-Time and Network Systems
[ Abstract and Details | Download ]
Synchronising Timing Signals In Cellular Sensornets Using A Hybrid Algorithm
J. Tate, I. Bate (2009)
University of York
[ Abstract and Details | Download ]
Thread-Local Scope caching for Real-time Java
A.J. Welling, M. Schoeberl (2009)
ISORC 2009, 12th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing
[ Abstract and Details ]
Tuning Complex Sensornet Systems Using Principled Engineering Methods
J. Tate, I. Bate (2009)
Proceedings of the 16th Annual IEEE International Conference and Workshop on the Engineering of Computer-Based Systems
[ Abstract and Details | Download ]
Understanding Behavioural Tradeoffs In Large-Scale Sensornet Design
J. Tate, I. Bate (2009)
IEEE International Workshop on Quantitative Evaluation of Large-Scale Systems and Technologies
[ Abstract and Details | Download ]
WCET Analysis of Modern Processors Using Multi-Criteria Optimisation
U. Khan, I. Bate (2009)
Proceedings of the 1st International Symposium on Search Based Software Engineering (SSBSE '09)
[ Abstract and Details | Download ]
Implementing Time-predictable Load and Store Operations
Jack Whitham, Neil Audsley (2009)
Proc. EMSOFT
[ Abstract and Details | Download ]
Predicated Worst-Case Execution-Time Analysis
A. Marref, G. Bernat (2009)
Proceedings of Reliable Software Technologies - Ada-Europe 2009
[ Abstract and Details ]
The Scratchpad Memory Management Unit for Microblaze: Implementation, Testing, and Case Study
Jack Whitham, Neil Audsley (2009)
University of York
[ Abstract and Details | Download ]
Using Hardware Methods to Improve Time-predictable Performance in Real-time Java Systems
Jack Whitham, Neil Audsley, Martin Schoeberl (2009)
Proc. JTRES
[ Abstract and Details | Download ]
A Simplified Executable Model to Evaluate Latency and Throughput of Networks-on-Chip
L. Ost, L. Moller, L. S. Indrusiak, F. Moraes, S. Maatta, J. Nurmi, M. Glesner (2008)
Symposium on Integrated Circuits and Systems Design (SBCCI)
[ Abstract and Details ]
A lightweight SDRAM Controller for Self-Reconfigurable Video Processing
K. F. Ackermann, B. Hoffmann, L. S. Indrusiak, M. Glesner (2008)
Proc. 4th International Workshop on Reconfigurable Communication-centric System-on-Chip (ReCoSoC)
[ Abstract and Details ]
Adaptive Framework for Efficient Resource Management in RTOS
Ameet Patil, Neil Audsley (2008)
Proc. APRES
[ Abstract and Details ]
An Actor-oriented Group Mobility Model for Wireless Ad Hoc Sensor Networks
E. Ochirsuren, L. S. Indrusiak, M. Glesner (2008)
Proc. IEEE International Workshop on Wireless Mesh and Ad Hoc Networks (WiMAN) - 28th International Conference on Distributed Computing Systems (ICDCS)
[ Abstract and Details ]
An Investigation into Server Parameter Selection for Hierarchical Fixed Priority Pre-emptive Systems
R.I. Davis, A. Burns (2008)
Proccedings of Real-Time and Network Systems, RTNS
[ Abstract and Details | Download ]
An efficient and predictable implementation of asynchronous event handling in the RTSJ
MinSeong Kim, Andy Wellings (2008)
JTRES '08: Proceedings of the 6th international workshop on Java technologies for real-time and embedded systems
[ Abstract and Details ]
Application-Defined Virtualisation for Embedded Real-Time Software on Complex Architectures
Ian Gray, Neil Audsley (2008)
2nd Junior Researcher Workshop on Real-Time Computing
[ Abstract and Details | Download ]
Applying UML Interactions and Actor-oriented Simulation to the Design Space Exploration of Network-on-Chip Interconnects
L. S. Indrusiak, L. Ost, L. Moller, F. Moraes, M. Glesner (2008)
Proc. IEEE Computer Society Annual Symposium on VLSI (ISVLSI)
[ Abstract and Details ]
Blocking time monitoring in the Real-Time Specification for Java
Osmar Marchi dos Santos, Andy Wellings (2008)
JTRES '08: Proceedings of the 6th international workshop on Java technologies for real-time and embedded systems
[ Abstract and Details ]
Challenges in Relational Learning for Real Time Systems Applications
Mark Bartlett, Iain Bate, Dimitar Kazakov (2008)
Proceedings of Inductive Logic Programming, 18th International Conference, ILP 2008
[ Abstract and Details | Download ]
Efficient Exact Schedulability Tests for Fixed Priority Real-Time Systems
R. I. Davis, A. Zabos, A. Burns (2008)
IEEE Transactions on Computers
[ Abstract and Details ]
Enabling Self-Reconfiguration on a Video Processing Platform
K. F. Ackermann, B. Hoffmann, L. S. Indrusiak, M. Glesner (2008)
Proc. 3rd IEEE Int. Symposium on Industrial Embedded Systems (SIES)
[ Abstract and Details ]
Exact Response Time Scheduling Analysis of Accumulatively Monotonic Multiframe Real Time Tasks
A. Zuhily, A. Burns (2008)
5th International Colloquium on Theoretical Aspects of Computing (ICTAC)
[ Abstract and Details ]
Exact Scheduling Analysis of Accumulatively Monotonic Multiframe Tasks Subjected to Release Jitter and Arbitrary Deadlines
A. Zuhily, A. Burns (2008)
13th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)
[ Abstract and Details ]
Exact Scheduling Analysis of Non-Accummulatively Monotonic Multiframe Tasks
A. Zuhily, A. Burns (2008)
RTNS
[ Abstract and Details ]
Experimental review of task mapping algorithms for NoC-based Multiprocessor Systems-on-Chip
S. Varyani, T. Lui, L. S. Indrusiak, L. Ost, L. Moller, M. Glesner (2008)
Proc. 4th International Workshop on Reconfigurable Communication-centric System-on-Chip (ReCoSoC)
[ Abstract and Details ]
Extending A Task Allocation Algorithm For Graceful Degradation Of Real-Time Distributed Embedded Systems
Paul Emberson, Iain Bate (2008)
Proceedings 29th Real-Time Systems Symposium (RTSS 08)
[ Abstract and Details | Download ]
Flexible hard real-time scheduling for deliberative AI systems
Y. Chu, A. Burns (2008)
Real-Time Systems Journal
[ Abstract and Details ]
Forming Virtual Traces for WCET Analysis and Reduction
Jack Whitham, Neil Audsley (2008)
Proc. RTCSA
[ Abstract and Details | Download ]
Implementation of a constant-time dynamic storage allocator
M. Masmano, I. Ripoll, J. Real, A. Crespo, A. J. Wellings (2008)
Software: Practice and Experience
[ Abstract and Details ]
Improvement to Quick Processor-demand Analysis for EDF-Scheduled Real-Time Systems
Fengxiang Zhang, Alan Burns (2008)
University of York, Computer Science Dept.
[ Abstract and Details ]
Improving the reliability of real-time embedded systems using innate immune techniques
N. Lay, I. Bate (2008)
Evolutionary Intel.
[ Abstract and Details ]
Limitations of Adaptable System Architectures for WCET Reduction
Jack Whitham, Neil Audsley (2008)
Proc. APRES
[ Abstract and Details ]
Multiprocessors and the Real-Time Specification for Java
A.J. Wellings (2008)
Proceedings of the 11th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing ISORC-2008
[ Abstract and Details ]
New Directions in Worst-Case Execution Time Analysis
Iain Bate, Dimitar Kazakov (2008)
IEEE Congress on Evolutionary Computation (IEEE CEC 2008) within
[ Abstract and Details | Download ]
ON THE MEANING OF MODES IN UNIPROCESSOR REAL-TIME SYSTEMS
P. Martins, A. Burns (2008)
Proceedings of the 23rd Symposium on Applied Computing (SAC 2008)
[ Abstract and Details ]
Priority assignment for real-time wormhole communication in on-chip networks
Z. Shi, A. Burns (2008)
Proceeding of the 29th IEEE Real Time System Symposium (RTSS)
[ Abstract and Details | Download ]
Processing Group Parameters and the Real-Time Specification for Java
Andy Wellings (2008)
JTRES '08: Proceedings of the 6th international workshop on Java technologies for real-time and embedded systems
[ Abstract and Details ]
Quantifying the sub-optimality of uniprocessor fixed-priority scheduling
S. Baruah, A. Burns (2008)
Proccedings of Real-Time and Network Systems, RTNS
[ Abstract and Details | Download ]
Real-time communication analysis for on-chip networks with wormhole switching
Zheng Shi, Alan Burns (2008)
Proceeding of the IEEE International Symposium on Networks-on-Chip(NoCS)
[ Abstract and Details ]
Response Time Upper Bounds for Fixed Priority Real-Time Systems
Robert Davis, Alan Burns (2008)
Real-Time Systems Symposium (RTSS)
[ Abstract and Details | Download ]
Run Time Detection of Blocking Time Violations in Real-Time Systems
Osmar M. dos Santos, Andy J. Wellings (2008)
14th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications
[ Abstract and Details ]
Schedulability Analysis for Real-Time Systems with EDF Scheduling
Fengxiang Zhang, Alan Burns (2008)
Real-Time Systems Group, University of York
[ Abstract and Details ]
Sustainability in Real-time Scheduling
A. Burns, S. Baruah (2008)
Journal of Computing Science and Engineering
[ Abstract and Details ]
Systematic Approaches to Understanding and Evaluating Design Trade-Offs
Iain Bate (2008)
The Journal of Systems & Software
[ Abstract and Details ]
TinyOS Extensions for a Wireless Sensor Network Node based on a Dynamically Reconfigurable Processor
E. Ochirsuren, H. Hinkelmann, L.S. Indrusiak, M. Glesner (2008)
Distributed Embedded Systems: Design, Middleware and Resources - p. 161-170
Springer
[ Abstract and Details ]
Towards Predicated WCET Analysis
A. Marref, G. Bernat (2008)
Proc. WCET
[ Abstract and Details ]
Traces as a Solution to Pessimism and Modeling Costs in WCET Analysis
Jack Whitham, Neil Audsley (2008)
Proc. WCET
[ Abstract and Details | Download ]
Tuning Protocols To Improve The Energy Efficiency Of Sensornets
J. Tate, I. Bate, S. Poulding (2008)
Fourth UK Embedded Forum
[ Abstract and Details | Download ]
Using Trace Scratchpads to Reduce Execution Times in Predictable Real-Time Architectures
Jack Whitham, Neil Audsley (2008)
Proc. RTAS
[ Abstract and Details ]
Utilising Application Flexibility in Energy Aware Computing
Iain Bate (2008)
14th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications
[ Abstract and Details | Download ]
Utilization based Spare Capacity Distribution
Attila Zabos, Robert I. Davis, Alan Burns (2008)
University of York
[ Abstract and Details ]
Validation of Executable Application Models Mapped onto Network-on-Chip Platforms
S. Maatta, L. S. Indrusiak, L. Ost, L. Moller, M. Glesner, J. Nurmi (2008)
Proc. 3rd IEEE Int. Symposium on Industrial Embedded Systems (SIES)
[ Abstract and Details ]
Predictable Out-of-order Execution Using Virtual Traces
Jack Whitham, Neil Audsley (2008)
Proc. RTSS
[ Abstract and Details | Download ]
YASS: A Scaleable Sensornet Simulator For Large Scale Experimentation
J. Tate, I. Bate (2008)
Communicating Process Architectures 2008
[ Abstract and Details | Download ]
A Deterministic Implementation Process for Accurate and Traceable System Timing and Space Analysis
Micheal Ward, Neil Audsley (2007)
Proceedings of the 13th IEEE Real-time and Embedded Computing Systems and Applications Symposium
[ Abstract and Details ]
A FIRST STEP TOWARDS USING REAL-TIME JAVA FOR SPACECRAFT ON-BOARD SOFTWARE
M. Prochazka, R. Ward, A. J. Wellings (2007)
Data Systems in Aerospace (DASIA 2007), ESA SP-638
[ Abstract and Details ]
A Priority-based Consensus Protocol
G. M. A. Lima, A. Burns (2007)
Proc. of the 25th Brazilian Symposium on Computer Networks and Distributed Systems (SBRC 2007)
[ Abstract and Details | Download ]
A Self-Optimising Simulator For a Coarse-Grained Reconfigurable Array
Jack Whitham, Neil Audsley (2007)
[ Abstract and Details | Download ]
A framework for real-time utilities for Ada 2005
A.J. Wellings, A. Burns (2007)
Proceedings of IRTAW 13, Ada Letters, XXVII(2)
[ Abstract and Details ]
A model for real time mobility based on the RTSJ
Mohammed ALRahmawy, Andy Wellings (2007)
JTRES '07: Proceedings of the 5th international workshop on Java technologies for real-time and embedded systems
[ Abstract and Details ]
An Efficient Experimental Methodology for Configuring Search-Based Design Algorithms
S. Poulding, P. Emberson, I. Bate, J. Clark (2007)
Proceedings of 10th IEEE High Assurance System Engineering Symposium (HASE 2007)
[ Abstract and Details | Download ]
An engineering process for the verification of real-time systems
A. Burns, T.-M. Lin (2007)
Formal Aspects of Computing
[ Abstract and Details ]
Analysis of Hierarchical EDF Pre-emptive Scheduling
Fengxiang Zhang, Alan Burns (2007)
Proceedings of IEEE Real-Time Systems Symposium
[ Abstract and Details ]
Applying Artificial Immune Systems to Real-Time Embedded Systems
N. Lay, I. Bate (2007)
Congress on Evolutionary Computation (CEC)
[ Abstract and Details ]
Asynchronous event handling in the real-time specification for Java
MinSeong Kim, Andy Wellings (2007)
JTRES '07: Proceedings of the 5th international workshop on Java technologies for real-time and embedded systems
[ Abstract and Details ]
Beyond Ada 2005: allocating tasks to processors in SMP systems
A.J. Wellings, A. Burns (2007)
Proceedings of IRTAW 13, Ada Letters, XXVII(2)
[ Abstract and Details ]
Concurrent and Real-TIme Programming in Ada
A Burns, A. J. Wellings (2007)
Cambridge University Press
[ Abstract and Details ]
Controller Area Network (CAN) schedulability analysis: Refuted, revisited and revised
R. I. Davis, A. Burns, R. J. Bril, J. J. Lukkien (2007)
Real-Time Systems
[ Abstract and Details ]
Correcting the EDF protocol in Ada 2005
A. Zerzelidis, A. Burns, A.J. Wellings (2007)
Proceedings of IRTAW 13, Ada Letters, XXVII(2)
[ Abstract and Details ]
Cost enforcement in the real-time specification for Java
O. M. Santos, A. Wellings (2007)
Real-Time Systems
[ Abstract and Details ]
Delivering Real-Time Behaviour
A. Burns, A.J. Wellings (2007)
Domain Modeling and Duration Calculus
Springer
[ Abstract and Details ]
Efficient Exact Schedulability Tests for Fixed Priority Real-time Systems
Robert Davis, Attila Zabos, Alan Burns (2007)
Computer Science Dept., University of York
[ Abstract and Details ]
Efficient Page lock/release mechanism in OS for out-of-core Embedded Applications
Ameet Patil, Neil Audsley (2007)
Proceedings of the 13th IEEE Real-time and Embedded Computing Systems and Applications Symposium
[ Abstract and Details ]
Efficiently Accessing Remote Resources in Distributed Real-Time Systems
Paul Usher, Neil Audsley (2007)
Proceedings of the 13th IEEE Real-time and Embedded Computing Systems and Applications Symposium
[ Abstract and Details ]
Evaluating timebands as a tool for structuring the design of socio-technical systems
G. Baxter, A. Burns, K. Tan (2007)
Contemporary Ergonomics 2007
[ Abstract and Details | Download ]
Exact Response Time Analysis for Multiframe Tasks
A. Zuhily (2007)
University of York
[ Abstract and Details ]
Integrating OOP and tasking: the missing requeue
A.J. Wellings, A. Burns (2007)
Proceedings of IRTAW 13, Ada Letters, XXVII(2)
[ Abstract and Details ]
Integrating Priority Inheritance Algorithms in the Real-Time Specification for Java
A. Wellings, A. Burns, O. M. Santos, B. M. Brosgol (2007)
University of York - Computer Science Department
[ Abstract and Details ]
Integrating Priority Inheritance Algorithms in the Real-Time Specification for Java
A. Wellings, A. Burns, O. M. Santos, B. M. Brosgol (2007)
10th IEEE Int. Symp. on Object and Component-Oriented Real-Time Distributed Computing
[ Abstract and Details ]
Knowledge Theoretic Design for Data Transmission Protocols of Wireless Sensor Networks
Ioanna Symeou (2007)
University of York, Computer Science Dept., Real-Time Systems Group
[ Abstract and Details | Download ]
Knowledge-Based Analysis of Directed Diffusion
Ioanna Symeou, Alan Burns (2007)
Proceedings of the 1st IARIA IEEE International Conference on Sensor Technologies and Applications (SENSORCOMM)
[ Abstract and Details ]
Knowledge-Theoretic Protocols for Wireless Sensor Networks
Ioanna Symeou (2007)
Proceedings of the 3rd IET UK Embedded Forum
[ Abstract and Details | Download ]
Minimising Task Migrations and Priority Changes In Mode Transitions
P. Emberson, I. Bate (2007)
Proceedings of the 13th IEEE Real-Time And Embedded Technology And Applications Symposium (RTAS 07)
[ Abstract and Details | Download ]
Optimal (D - J) - monotonic priority assignment
A. Zuhily, A. Burns (2007)
Information Processing Letters
[ Abstract and Details ]
Programming Execution-Time Servers and Supporting EDF Scheduling in Ada 2005
A. Burns, A.J. Wellings (2007)
Handbook of Real-Time and Embedded Systems
Chapman and Hall/CRC
[ Abstract and Details ]
Programming execution-time servers in Ada 2005
A. Burns, A.J. Wellings (2007)
Proceedings of IRTAW 13, Ada Letters, XXVII(2)
[ Abstract and Details ]
Real-Time Java
A.J. Wellings, A. Burns (2007)
Handbook of Real-Time and Embedded Systems
Chapman and Hall/CRC
[ Abstract and Details ]
Real-Time Utilities for Ada 2005
A. J. Wellings, A. Burns (2007)
Reliable Software Technologies - Ada Europe 2007, Lecture Notes in Computer Science
[ Abstract and Details ]
Robust Priority Assignment for Fixed Priority Real-Time Systems
R. I. Davis, A. Burns (2007)
Proceedings of IEEE Real-Time Systems Symposium
[ Abstract and Details ]
Suggestions for stream based parallel systems in Ada
M. Ward, N. C. Audsley (2007)
Proceedings of IRTAW 13, Ada Letters, XXVII(2)
[ Abstract and Details ]
Supporting Deliberative Real-Time AI Systems: A Fixed Priority Scheduling Approach
Yanching Chu, Alan Burns (2007)
Proceedings of ECRTS07
[ Abstract and Details ]
A Comparison of Ada and Real-Time JavaTM for Safety-Critical Applications
B.M. Brosgol, A.J. Wellings (2006)
Reliable Software Technologies - Ada Europe 2006, Lecture Notes in Computer Science
[ Abstract and Details ]
A co-design strategy for embedded Java applications based on a hardware interface with invocation semantics
Andrew Borg, Rui Gao, Neil Audsley (2006)
JTRES '06: Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems
[ Abstract and Details | Download ]
Controller Area Network (CAN) Schedulability Analysis: Refuted, Revisited and Revised
Robert Davis, Alan Burns, Reinder Bril, Johan Lukkien (2006)
Compuer Science Dept., University of York
[ Abstract and Details ]
Efficient OS Resource Management for Distributed Embedded Real-Time Systems
N. Audsley, R. Gao, A. Patil, P. Usher (2006)
Proceedings of Workshop on Operating Systems Platforms for Embedded Real-Time applications
[ Abstract and Details | Download ]
Formal analysis of aperiodic and sporadic real-time threads in the RTSJ
O. M. Santos, A. Wellings (2006)
4th international workshop on Java technologies for real-time and embedded systems
[ Abstract and Details ]
Getting More Flexible Scheduling in the RTSJ
A. Zerzelidis, A. J. Wellings (2006)
Proceedings 9th IEEE ISORC
[ Abstract and Details | Download ]
Hard Real-time Hybrid Garbage Collection with Low Memory Requirement
Y. Chang (2006)
University of York
[ Abstract and Details | Download ]
Hard Real-time Hybrid Garbage Collection with Low Memory Requirements
Y. Chang, A. J. Wellings (2006)
Proceedings of the 27th IEEE Real-Time Systems Symposium
[ Abstract and Details | Download ]
Incorporating Scenarios And Heuristics To Improve Flexibility In Real-Time Embedded Systems
I. Bate, P. Emberson (2006)
12th IEEE Real-Time And Embedded Technology And Applications Symposium
[ Abstract and Details | Download ]
Learning Worst-Case Execution Time Loop Bounds with Inductive Logic Programming
D. Kazakov, I. Bate (2006)
[ Abstract and Details ]
Low Memory Overhead Real-Time Garbage Collection for Java
Yang Chang, Andy Wellings (2006)
Proceedings of the 4th International Workshop on Java Technologies for Real-time and Embedded Systems
[ Abstract and Details | Download ]
MCGREP - A Predictable Architecture for Embedded Real-time Systems
J. Whitham, N. Audsley (2006)
Proc. RTSS
[ Abstract and Details | Download ]
Model-based Verification of a Framework for Flexible Scheduling in the Real-Time Specification for Java
A. Zerzelidis (2006)
University of York - Department of Computer Science
[ Abstract and Details | Download ]
Model-based Verification of a Framework for Flexible Scheduling in the Real-Time Specification for Java
Alexandros Zerzelidis, Andy Wellings (2006)
JTRES '06: Proceedings of the 4th International Workshop on Java Technologies for Real-time and Embedded Systems
[ Abstract and Details | Download ]
Motivations and Support for Single Nested Scoping in the Ravenscar-Java Profile
J. Kwon, A.J. Wellings (2006)
Proceedings of the Fourth IEEE Workshop on Software Technologies for Future Embedded and Ubiquitous Systems 2006 (SEUS 2006)
[ Abstract and Details ]
On Fixed Priority Preemptive Scheduling for Imprecise Computation
Yanching Chu (2006)
Department of Computer Science, University of York, UK
[ Abstract and Details ]
Optimal priority assignment in the presence of blocking
K. Bletsas, N. C. Audsley (2006)
Information Processing Letters
[ Abstract and Details ]
Optimality of (D-J)-monotonic Priority Assignment
A. Zuhily (2006)
University of York, Dept. of Computer Science
[ Abstract and Details | Download ]
Programming Execution-Time Servers in Ada 2005
A. Burns, A.J. Wellings (2006)
Proceedings of the 27th IEEE Real-Time Systems Symposium
[ Abstract and Details | Download ]
Real-Time Memory Management: Life and Times
Andrew Borg, Andy Wellings, Christopher Gill, Ron K. Cytron (2006)
18th Euromicro Conference on Real-Time Systems (ECRTS'06)
[ Abstract and Details | Download ]
Resource Sharing in Hierarchical Fixed Priority Pre-emptiveSystems
R.I Davis, A. Burns (2006)
Pproceedings of the 27th IEEE Real-Time Systems Symposium
[ Abstract and Details ]
Scoped, coarse-grain memory management and the RTSJ scoped memory model in the development of real-time applications
A. Borg, A. J. Wellings (2006)
International Journal of Embedded Systems
[ Abstract and Details ]
Sustainable Scheduling Analysis
S. Baruah, A. Burns (2006)
Proceedings of the 27th IEEE Real-Time Systems Symposium
[ Abstract and Details | Download ]
Towards New Methods for Developing Real-Time Systems: Automatically Deriving Loop Bounds Using Machine Learning
D. Kazakov, I. Bate (2006)
Proceedings of the 11th IEEE International Conference on Emerging Technologies and Factory Automation
[ Abstract and Details | Download ]
Towards a File System Interface for Mobile Resources in Networked Embedded Systems
N. C. Audsley, R. Gao, A. Patil (2006)
Proceedings of the 11th IEEE International Conference on Emerging Technologies and Factory Automation
[ Abstract and Details | Download ]
Tree-Based WCET Analysis on Instrumentation Point Graphs
A. Betts, G. Bernat (2006)
Proceedings of the 9th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC)
[ Abstract and Details | Download ]
Integrating Custom Instruction Specifications into C Development Processes
Jack Whitham, Neil Audsley (2006)
Proc. Int. Workshop on Applied Reconfigurable Computing
[ Abstract and Details | Download ]
Cost Monitoring and Enforcement in the Real-Time Specification for Java - A Formal Evaluation
O. Marchi dos Santos, A. J. Wellings (2005)
Proceedings of the 26th Real-Time Systems Symposium
[ Abstract and Details ]
Dealing with Emergent Properties in Embedded Systems
Iain Bate (2005)
Proceedings of the 11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications
[ Abstract and Details | Download ]
Design For Flexible And Scalable Avionics Systems
I. Bate, P. Emberson (2005)
IEEE Aerospace Conference
[ Abstract and Details | Download ]
Efficient Access of Remote Resources in Embedded Networked Computer Systems
P. S. Usher, N. C. Audsley (2005)
EUC Workshops
[ Abstract and Details | Download ]
Efficient Integration of Bimodal Branch Prediction and Pipeline Analysis
Iain Bate, Ralf Reutemann (2005)
Proceedings of the 11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications
[ Abstract and Details | Download ]
Extended Analysis With Reduced Pessimism For Systems With Limited Paralellism
K. Bletsas, N. C. Audsley (2005)
Proceedings of the 11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA)
[ Abstract and Details | Download ]
Extending The Limited Parallel Model
K. Bletsas (2005)
University of York, Dept. of Computer Science
[ Abstract and Details | Download ]
Guidelines for a graduate curriculum on embedded software and systems
P. Caspi, A. Sangiovanni-Vincentelli, L. Almeida, A. Benveniste, B. Bouyssounouse, G. Buttazzo, I. Crnkovic, W. Damm, J. Engblom, G. Folher, M. Garcia-Valls, H. Kopetz, Y. Lakhnech, F. Laroussinie, L. Lavagno, G. Lipari, F. Maraninchi, Ph. Peti, J. de la Puente, N. Scaife, J. Sifakis, R. de Simone, M. Torngren, P. Veríssimo, A. J. Wellings, R. Wilhelm, T. Willemse, W. Yi (2005)
Trans. on Embedded Computing Sys.
[ Abstract and Details ]
Hierarchical Fixed Priority Pre-emptive Scheduling
R.I. Davis, A. Burns (2005)
University of York, Department of Computer Science
[ Abstract and Details | Download ]
Hierarchical Fixed Priority Scheduling
R.I. Davis, A. Burns (2005)
Proceedings of the 26th IEEE Real-Time Systems Symposium
[ Abstract and Details | Download ]
Impact of Embedded Systems on RTOS Use and Design
D. Andrews, I. Bate, T. Nolte, C.M. Otero-Perez, S.M. Petters (2005)
Proceedings of the Workshop on Operating Systems Platforms for Embedded Real-Time Applications (OSPERT)
[ Abstract and Details | Download ]
Implementing the Styx Network Protocol in Hardware
Ameet Patil, Michael Freeman, Rui Gao, Chris Bailey (2005)
Proc. Work in Progress, Euromicro Conference / DSD Symposium,
[ Abstract and Details ]
Integrating Hybrid Garbage Collection with Dual Priority Scheduling
Yang Chang, Andy Wellings (2005)
Proceedings of the 11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA)
[ Abstract and Details | Download ]
Integrating Hybrid Garbage Collection with Dual Priority Scheduling
Y. Chang (2005)
University of York
[ Abstract and Details | Download ]
Modelling Temporal Behaviour in Complex Socio-Technical Systems
A. Burns, I.J. Hayes, G.Baxter, C.J. Fidge (2005)
University of York
[ Abstract and Details | Download ]
Operating Systems and Supporting Architectures for Embedded Real-Time Systems
N.C. Audsley (2005)
1st International Workshop on Operating System Platforms for Embedded Real-Time Systems
[ Abstract and Details ]
Probabilistic timing analysis: an approach using copulas
G. Bernat, M.J. Newby, A. Burns (2005)
Journal of Embedded Computing
[ Abstract and Details ]
Ravenscar-Java: a High-integrity Profile for Real-time Java
J. Kwon, A. Wellings, S. King (2005)
Concurrency and Computation: Practice and Experience
[ Abstract and Details ]
Real-Time Scheduling for Embedded Systems
M. Caccamo, T. Baker, A. Burns, G. Buttazzo, L. Sha (2005)
173-195
Birkhauser
[ Abstract and Details ]
Real-time Java for Embedded Devices: The JAVAMEN Project
Andrew Borg, Neil Audsley, Andy Wellings (2005)
Proceedings of the ERTSI 2005 - Embedded Real-Time Systems Implementation Workshop, held in conjunction with 26th IEEE International Real-Time Systems
[ Abstract and Details | Download ]
Real-time Java for Embedded Devices: The JAVAMEN Project
Andrew Borg, Neil Audsley, Andy Wellings (2005)
Perspectives in Pervasive Computing
[ Abstract and Details | Download ]
Reliable Software Technology - Ada Europe 2005
T. Vardanega, A.J. Wellings (Eds) (2005)
Springer
[ Abstract and Details ]
Requirements for a real-time .NET framework
A. Zerzelidis, A. J. Wellings (2005)
SIGPLAN Not.
[ Abstract and Details ]
Safe Composition of Real-Time Software
I. Bate, P. Conmy (2005)
Proceedings of the 9th International Conference on High Assurance Systems Engineering
[ Abstract and Details | Download ]
Scheduling Fixed-Priority Hard Real-Time Tasks in the Presence of Faults
G. Lima, A. Burns (2005)
Dependable Computing: Second Latin-American Symposium, LADC
[ Abstract and Details | Download ]
THE STYX IP-CORE FOR UBIQUITOUS NETWORK DEVICE INTEROPERABILITY
N.C. Audsley, R. Gao, A. Patil (2005)
11–126
Cambridge University Press
[ Abstract and Details | Download ]
Temporal Isolation in Ravenscar-Java
Hao Cai, Andy Wellings (2005)
The Eighth IEEE International Symposium On Object-Oriented Real-Time Distributed Computing
[ Abstract and Details ]
The application of compile-time reflection to software fault tolerance using Ada 95
P. Rogers, A.J. Wellings (2005)
Reliable Software Technology - Ada-Europe 2005
[ Abstract and Details ]
Timing Analysis of Real-Time Communication Under Electromagnetic Interference
I. Broster, A. Burns, G. Rodríguez-Navas (2005)
Real-Time Systems
[ Abstract and Details ]
Verifying fault-tolerant distributed systems using object-based graph grammars
F. L. Dotti, O. Mendizabal, O. M. Santos (2005)
Dependable Computing: Second Latin-American Symposium, LADC
[ Abstract and Details ]
Implementing Application-Specific RTOS Policies using Reflection
Ameet Patil, Neil Audsley (2005)
Proceedings of the 11th IEEE Real-time and Embedded Technology and Applications Symposium
[ Abstract and Details ]
The Use of ASIPs and Customised Co-processors in an Embedded Real-Time System
Jack Whitham, Neil Audsley (2005)
Proc. 2nd UK Embedded Forum
[ Abstract and Details | Download ]
A Few What-Ifs on Using Statistical Analysis of Stochastic Simulation Runs to Extract Timeliness Properties
Nuno Pereira, Eduardo Tovar, Berta Batista, Luis Miguel Pinho, Ian Broster (2004)
Proceedings of the 1st International Workshop on Probabilistic Analysis Techniques for Real-time Systems (PARTES2004)
[ Abstract and Details | Download ]
A Real-time Isolate Specification For Ravenscar-Java
Hao Cai, Andy Wellings (2004)
Proceedings of the Seventh IEEE International Symposium on object-oriented Real-time Distributed Computing
[ Abstract and Details ]
A Selection Mechanism Based upon the Explcit Expression of Preference
R. E. Baker, N. C. Audsley (2004)
Proceedings of the Workshop on Self-Managed Systems (WOSS '04)
[ Abstract and Details ]
An Application Adaptive Generic Module-based Reflective Framework for Real-time Operating Systems
A. Patil, N. Audsley (2004)
Proceedings Work in Progress session of Real-time Systems Symposium
[ Abstract and Details | Download ]
An Assessment Framework for Automatic Code Generator Tools
N. Audsley, I. Bate, C. O'Halloran (2004)
Proceedings of the 22nd International System Safety Conference
[ Abstract and Details | Download ]
Applying Random Arrival Models to Fixed Priority Analysis
I. Broster, A. Burns (2004)
Proceedings Work in Progress session of Real-time Systems Symposium
[ Abstract and Details | Download ]
Architecture for dynamically reconfigurable real-time lossless compression
A. J. Carter, N. C. Audsley (2004)
Proceedings of Real-Time Imaging VIII
[ Abstract and Details ]
Comparing Real-time Communication under Electromagnetic Interference
I. Broster, A. Burns, G. Rodríguez-Navas (2004)
Proceedings of the 16th Euromicro Conference on Real-Time Systems
[ Abstract and Details | Download ]
Concurrent and Real-Time Programming in Java
A. J. Wellings (2004)
Wiley
[ Abstract and Details ]
Cost Enforcement and Deadline Monitoring in The Real-Time Specification for Java
A.J. Wellings, G. Bollella, P. Dibble, D. Holmes (2004)
Proceedings of the 7th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing ISORC-2004
[ Abstract and Details | Download ]
Dynamic Ceiling Priorities: A Proposal for Ada OY
J. Real, A. Burns, J. Miranda, E. Schonberg, A. Crespo (2004)
Proccedings Software Technologies - Ada Europe
[ Abstract and Details ]
Fixed Priority Timing Analysis of Real-Time Systems with Limited Parallelism
N. C. Audsley, K. Bletsas (2004)
Proceedings of the 16th Euromicro Conference on Real-Time Systems (ECRTS 04)
[ Abstract and Details | Download ]
Flexible Design of Complex High-Integrity Systems Using Trade Offs
I. Bate, N. Audsley (2004)
8th IEEE International Symposium on High Assurance Systems Engineering
[ Abstract and Details | Download ]
Hard Real-Time Communication with the Timed Token Protocol: Current State and
S. Zhang, A. Burns, J. Chen, E.S. Lee (2004)
Real-Time Journal
[ Abstract and Details ]
High Level Organisation of Safety Arguments
Iain Bate, Simon Bates, John McDermid (2004)
Proceedings of the 22nd International System Safety Conference
[ Abstract and Details | Download ]
Improving Certification Capability Through Autocode Generation
N. Audsley, I. Bate, S. Crook-Dawkins, J. McDermid (2004)
Proceedings of the World Computing Congress
[ Abstract and Details | Download ]
Improving certification capability through automatic code generation
Neil C. Audsley, Iain Bate, Steve Crook-Dawkins, John McDermid (2004)
511-520
Springer Boston
[ Abstract and Details ]
Improving the Efficiency of Remote Resource Usage in Distributed Real-Time Systems
P. S. Usher, N. C. Audsley (2004)
Proceedings of Proceedings Work in Progress session of Real-time Systems Symposium
[ Abstract and Details | Download ]
Memory Management Based on Method Invocation in RTSJ
J. Kwon, A. Wellings (2004)
Lecture Notes in Computer Science (3292) Proceedings of the OTM 2004 Workshops: Workshop on Java Technologies for Real-Time and Embedded Systems (JTRES)
[ Abstract and Details | Download ]
Model Driven Architectures as a Facilitator for Automatic Code Generation
N. Audsley, S.K. Crook-Dawkins (2004)
IASTED conference on Software Engineering
[ Abstract and Details ]
OpenAda: Compile-Time Reflection for Ada 95
P. Rogers, A.J. Wellings (2004)
Proccedings Software Technologies - Ada Europe
[ Abstract and Details ]
Random Arrivals in Fixed Priority Analysis
I. Broster, A. Burns (2004)
Proceedings of the 1st International Workshop on Probabilistic Analysis Techniques for Real-time Systems (PARTES2004)
[ Abstract and Details | Download ]
Real Time Scheduling Theory: A Historical Perspective
Lui Sha, Tarek Abdelzaher, Karl-Erik Arzen, Anton Cervin, Theodore Baker, Alan Burns, Giorgio Buttazzo, Marco Caccamo, John Lehoczky, Aloysious K. Mok (2004)
Real-Time Systems Journal
[ Abstract and Details ]
Realistic Analysis of Limited Parallel Software / Hardware Implementations
N. C. Audsley, K. Bletsas (2004)
Proceedings of the 10th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS2004)
[ Abstract and Details ]
Replication Management in Reliable Real-Time Systems
L. M. Pinho, F. Vasques, A. J. Wellings (2004)
Real-Time Systems
[ Abstract and Details ]
Requirements for a Real-Time .NET Framework
A. Zerzelidis, A. J. Wellings (2004)
University of York - Department of Computer Science
[ Abstract and Details | Download ]
Rewriting History to Exploit Gain Time
G. Bernat, I. Broster, A. Burns (2004)
Proceedings Real-time Systems Symposium
[ Abstract and Details | Download ]
Safety Arguments for use of an Ada to FPGA Compiler
I. Bate, S. Bates, J. McDermid (2004)
Proceedings of the 22nd International System Safety Conference
[ Abstract and Details | Download ]
Supporting Deadlines and EDF Scheduling in Ada
A. Burns, A.J. Wellings, T. Taft (2004)
Proceedings Reliable Software Technologies - Ada Europe
[ Abstract and Details ]
Supporting Mixed Criticality Applications in a Ravenscar-Java Environment
Hao Cai, Andy Wellings (2004)
Lecture Notes in Computer Science
[ Abstract and Details ]
Synthesis of Legacy Real-Time Ada Software to FPGA
N. Audsley, I. Bate (2004)
Proceedings of the 10th International Conference on Real-Time and Embedded Computing Systems and Applications (RTCSA 2004)
[ Abstract and Details | Download ]
The Real-Time Specification for Java: Current Status and Future Work
P. Dibble, A.J. Wellings (2004)
Proceedings of the 7th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing ISORC-2004
[ Abstract and Details | Download ]
Worst-Case Execution Time Analysis for Dynamic Branch Predictors
I. Bate, R. Reutemann (2004)
Proceedings of the 16th Euromicro Conference on Real-Time Systems
[ Abstract and Details ]
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 ]
A Framework for Integrating the Real-Time Specification for Java and Java's Remote Method Invocation
A. J. Wellings, R. Clark, D. Jensen, D. Wells (2002)
Proceedings of the 5th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing
[ Abstract and Details | Download ]
A Meta-model Facility for a Family of UML Constraint Languages
A.N. Clark, A. S. Evans, S. Kent (2002)
Object Modeling with the OCL
Springer-Verlag
[ Abstract and Details ]
A Metamodel for Package Extension with Renaming
A.N. Clark, A. S. Evans, S. Kent (2002)
Proceedings of 5th International Conference on the Unified Modeling Language
[ Abstract and Details ]
A Novel Gain Time Reclaiming Framework Integrating WCET Analysis for Object-Oriented Real-Time Systems
E. Yu-Shing Hu, Andy J. Wellings, G. Bernat (2002)
Proceedings of the 2nd International Workshop on Worst-Case Execution Time Analysis WCET-2002
[ Abstract and Details ]
A Static Timing Analysis Environment Using Java Architecture for Safety Critical Real-Time Systems
E. Yu-Shing Hu, G. Bernat, A. Wellings (2002)
In Proceedings of 7th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS-2002)
[ Abstract and Details | Download ]
Accessing Delay Queues
A. Burns, A. J. Wellings (2002)
Proceedings of IRTAW11, Ada Letters, Vol XX1I(4)
[ Abstract and Details ]
Addressing Dynamic Dispatching Issues in WCET Analysis for Object-Oriented Hard Real-Time Systems
E. Yu-Shing Hu, G. Bernat, A. Wellings (2002)
Proceedings of the 5th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing ISORC-2002
[ Abstract and Details | Download ]
Architectural Considerations in the Certification of Modular Systems
I. Bate, T. Kelly (2002)
Computer Safety, Reliability and Security - 21st International Conference, SAFECOMP 2002
[ Abstract and Details | Download ]
Architecture Trade-off Analysis and Codesign for Safety-Related Real-Time Embedded Systems
I. Bate, N. Audsley (2002)
Proceedings of 1st International Workshop on Embedded Systems Codesign
[ Abstract and Details | Download ]
Architecture Trade-off Analysis and the Influence on Component Design
Iain Bate, Neil Audsley (2002)
Proceedings of the Workshop on Component-based Software Engineering
[ Abstract and Details | Download ]
Assessment of the Java Programming Language for use in High Integrity Systems
J. Kwon, A. Wellings, S. King (2002)
Department of Computer Science, University of York
[ Abstract and Details | Download ]
Asynchronous Event Handling and Real-time Threads in the Real-Time Specification for Java
A. J. Wellings, A. Burns (2002)
Proceedings of the 8th IEEE Real-Time and Embedded Technology and Applications Symposium
[ Abstract and Details | Download ]
Communication Response Time in P-Net Networks: Worst-Case Analysis Considering the Actual Token Utilization
E. Tovar, F. Vasques, A. Burns (2002)
Real-Time Systems
[ Abstract and Details ]
Cycle-Time Properties of the Timed Token Medium Access Control Protocol
Sijing Zhang, A. Burns, Tee-Hiang Cheng (2002)
IEEE Transactions on Computers
[ Abstract and Details ]
Dependable and ubitquitous Autocode Generation
N. Audsley, I. J.Bate, S.K. Crook-Dawkins (2002)
Proceedings of the 7th CaberNet Radicals Workshop, Bertinoro, Italy
[ Abstract and Details | Download ]
HARTEX - A safe real-time kernel for distributed computer control systems
C.K. Angelov, I.E. Ivanov, A. Burns (2002)
Software Practice and Experience
[ Abstract and Details ]
Hardware Implementation of Programming Languages for Real-Time
M. Ward, N. Audsley (2002)
Proceedings of the 8th IEEE Real-Time and Embedded Technology and Applications Symposium
[ Abstract and Details | Download ]
Hardware Implementation of the Ravenscar Ada Tasking Profile
M. Ward, N. C. Audsley (2002)
Proceeedings of CASES 2002
[ Abstract and Details ]
Hardware Implementation of the Ravenscar Tasking Profile
M.Ward, N. Audsley (2002)
Proceedings of CASES 2002
[ Abstract and Details ]
How much Worst Case is Needed in WCET Estimation?
Stefan M. Petters (2002)
2nd International Workshop on Worst Case Execution Time Analysis 2002
[ Abstract and Details | Download ]
Java Virtual Machine Support for Portable Worst-Case Execution Time Analysis
I. Bate, G. Bernat, P. Puschner (2002)
ISORC. IEEE International Symposium on Object-Oriented Real-Time Distributed Computing
[ Abstract and Details | Download ]
Language Issues of Compiling Ada to Hardware
M. Ward, N. Audsley (2002)
Proceedings of 7th Ada-Europe International Conference on Reliable Software Technology
[ Abstract and Details | Download ]
Language Issues of Compiling Ada to Hardware
M. Ward, N. C Audsley (2002)
Proceedings of IRTAW11, Ada Letters, Vol XX1I(4)
[ Abstract and Details ]
Multiple Servers and Capacity Sharing for Implementing Flexible Scheduling
G. Bernat, A. Burns (2002)
Real-Time Systems Journal
[ Abstract and Details ]
Object-Oriented Theories for Model Driven Architecture.
A.N. Clark, A. S. Evans, S. Kent (2002)
Proceedings of the OOIS MDA workshop,
[ Abstract and Details ]
Probabilistic Analysis of CAN with Faults
I. Broster, A. Burns, G. Rodríguez-Navas (2002)
Proceedings of the 23rd Real-time Systems Symposium
[ Abstract and Details | Download ]
Protected Ceiling Changes
J. Real, A. Crespo, A. Burns, A. J. Wellings (2002)
Proceedings of IRTAW11, Ada Letters, Vol XX1I(4)
[ Abstract and Details ]
Ravenscar-Java: A High Integrity Profile for Real-Time Java
Jagun Kwon, Andy Wellings, Steve King (2002)
Department of Computer Science, University of York
[ Abstract and Details | Download ]
Ravenscar-Java: A High Integrity Profile for Real-Time Java
J. Kwon, A. J. Wellings, S. King (2002)
Proceedings of the Joint ACM Java Grande - ISCOPE 2002 Conference
[ Abstract and Details | Download ]
Re-targetable Framework for Worst-Case Execution Time Analysis
I. Bate (2002)
Proceedings of the 4th Plenary Cabernet Workshop
[ Abstract and Details | Download ]
Real-Time Systems
A. Burns (2002)
Encyclopedia of Physical Science and Technology
Academic Press
[ Abstract and Details ]
Scope-tree: a Program Representation for Symbolic Worst-Case Execution Time Analysis
A. Colin, G. Bernat (2002)
Proceedings of the 14th Euromicro Conference on Real-Time Systems
[ Abstract and Details | Download ]
Testing the Schedulability of Synchronous Traffic for the Timed Token Medium Access Control Protocol
S. Zhang, A. Burns, A. Mehaoua, E.S. Lee, H. Yang (2002)
Real-Time Systems
[ Abstract and Details ]
Weakly Hard Constraints on Controller Area Network
I. Broster, G. Bernat, A. Burns (2002)
Proceedings of 14th Euromicro Conference on Real-time Systems
[ Abstract and Details | Download ]
Timing-Independent Safety on Top of CAN
G. M. A. Lima, A. Burns (2002)
Proc. of the 1st Intl. Workshop on Real-Time LANs in the Internet Age (RTLIA)
[ Abstract and Details | Download ]
WCET Analysis of Probabilistic Hard Real-Time Systems
G. Bernat, A. Colin, S. M. Petters (2002)
Proceedings of the 23rd Real-Time Systems Symposium RTSS 2002
[ Abstract and Details | Download ]
Writing Temporally Predictable Code
P. Puschner, A. Burns (2002)
Proceedings of the 7th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems
[ Abstract and Details ]
A Profile for High-Integrity Real-Time Java Programs
P. Puschner, A. J. Wellings (2001)
Proceedings of the 4th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing
[ Abstract and Details ]
A Reference Implementation for UML
A. N. Clark, A.S. Evans, S. Kent (2001)
L'Objet
[ Abstract and Details | Download ]
A Safe Mobile Code Representation and Run-time Architecture for High-Integrity Real-Time Java Programs
J. Kwon, A. Wellings, S. King (2001)
Proceedings of the Work-In-Progress Session, 22nd IEEE Real-Time Systems Symposium, YCS 337
[ Abstract and Details | Download ]
A Tool Architecture for Application of Portable Code to Future Avionic Systems
A. Grigg, N. C. Audsley, I. J. Bate, M. A. Fletcher, A. S. Wake (2001)
Proceedings of ERA Avionics Conference
[ Abstract and Details | Download ]
A Timely Distributed Consensus Solution in a Crash/Omission-Fault Environment
G. M. A. Lima, A. Burns (2001)
Proc. of the Work-in-Progress Session of the 22nd IEEE Real-Time Symposium.
[ Abstract and Details | Download ]
An Action Semantics for MML
J. Álvarez, A. N. Clark, A. Evans, P. Sammut (2001)
Proceedings of the 4th International Conference on the Unified Modeling Language, UML 2001 : Modeling Languages, Concepts, and Tools
[ Abstract and Details | Download ]
An Effective Schedulability Analysis for Fault-Tolerant Hard Real-Time Systems
G. M. A. Lima, A. Burns (2001)
13th Euromicro Conference on Real-Time Systems
[ Abstract and Details | Download ]
Analysis of Checkpointing for Real-Time Systems
S. Punnekkat, A. Burns, R. Davis (2001)
Real-Time Systems Journal
[ Abstract and Details ]
Architecture Development Environment
L. Beus-Dukic, A. J. Wellings, P. Coppola, A. Paganone (2001)
A Generic Fault-Tolerant Architecture for Real-Time Dependable Systems
Kluwer Academic Publishers
[ Abstract and Details ]
Defining New Non-Preemptive Dispatching and Locking Policies for Ada
A. Burns (2001)
Proceedings of Reliable Software Technologies—Ada Europe 2001
[ Abstract and Details ]
Developing a Real-Time Microkernel Design Process
M. D. Bennett, N. C. Audsley (2001)
Proceedings Work in Progress, Real-Time Systems Symposium
[ Abstract and Details ]
Extending Java for Heterogeneous Embedded System Description
G. J. Plumbridge, N. C. Audsley (2001)
Proc of the 6th Int Workshop on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC)
[ Abstract and Details | Download ]
Extensible Protected Types: Proposal Status
A. J. Wellings, B. Johnson, B. Sanden, J. Kienzle, T. Wolf, S. Michell (2001)
Proceedings of IRTAW10, Ada Letters, Vol XX1(1)
[ Abstract and Details ]
Guaranteed On-Line Weakly-Hard Real-Time Systems
G. Bernat, R. Cayssials (2001)
22nd IEEE Real-Time Systems Symposium
[ Abstract and Details | Download ]
Hardware Compilation of Sequential Ada
M. Ward, N. C. Audsley (2001)
Proceedings of CASES 2001
[ Abstract and Details | Download ]
Implementing a Flexible Scheduler in Ada
G. Bernat, A. Burns (2001)
Proceedings of Reliable Software Technologies—Ada Europe 2001
[ Abstract and Details | Download ]
Implementing a High-Integrity Executive using Ravenscar
N. C. Audsley, A. Burns, A. J. Wellings (2001)
Proceedings of IRTAW10, Ada Letters, Vol XX1(1)
[ Abstract and Details ]
Issues with using Ravenscar and the Ada Distributed Systems Annex
N. C. Audsley, A. J. Wellings (2001)
Proceedings of IRTAW10, Ada Letters, Vol XX1(1)
[ Abstract and Details ]
Jorvik: A framework for effective scheduling
G. Bernat, A. Burns (2001)
Department of Computer Science, University of York
[ Abstract and Details | Download ]
MML and the Metamodel Architecture
José Álvarez, Andy Evans, Paul Sammut (2001)
WTUML: Workshop on Transformation in UML 2001
[ Abstract and Details | Download ]
Making Java Hard Real-Time
P. Puschner, G. Bernat, A. Wellings (2001)
Annals of the Marie-Curie Fellowship Association
[ Abstract and Details | Download ]
Mapping between Levels in the Metamodel Architecture
José Álvarez, Andy Evans, Paul Sammut (2001)
Proceedings of UML 2001 : Modeling Languages, Concepts, and Tools
[ Abstract and Details | Download ]
Modelling and verification of an atomic action protocol implemented in Ada
A. Burns, A. J. Wellings, F. Burns, A. M. Koelmans, M. Koutny, A. Romanovsky, A. Yakovlev (2001)
Int. J. Computer Systems Science and Engineering
[ Abstract and Details ]
Multilevel Integrity Mechanisms
E. Totel, L. Beus-Dukic, J-P Blanquart, Y. Deswarte, V. Nicomette, D. Powell, A. J. Wellings (2001)
A Generic Fault-Tolerant Architecture for Real-Time Dependable Systems
Kluwer Academic Publishers
[ Abstract and Details ]
Non-Preemptive Dispatching and Locking Policies
A. Burns (2001)
Ada Letters
[ Abstract and Details ]
On Developing and Verifying Design Abstractions for Reliable Concurrent Programming in Ada
A. Burns, A. J. Wellings, A. M. Koelmans, M. Koutny, A. Romanovsky, A. Yakovlev (2001)
Proceedings of IRTAW10, Ada Letters, Vol XX1(1)
[ Abstract and Details ]
Practical UML-Based Rigorous Development.
A.S. Evans, R.B. France, A. Moreira, B. Rumpe (2001)
Springer
[ Abstract and Details ]
Predictable and Efficient Virtual Addressing for Safety-Critical Real-Time Systems
M D Bennett, N C Audsley (2001)
Proceedings of the 13th Euromicro Conference on Real Time Systems, Delft, The Netherlands
[ Abstract and Details | Download ]
Proceedings of the IEEE/IEE Workshop on Real-Time Embedded Systems
I. Bate, S. Liu (2001)
[ Abstract and Details ]
Real-Time Systems and Programming Languages:
A. Burns, A. J. Wellings (2001)
Addison Wesley
[ Abstract and Details ]
Reservation-Based Timing Analysis - A Practical Engineering Approach for Distributed Real-Time Systems
Alan Grigg, Neil Audsley (2001)
Proceedings of 8th IEEE International Conference on Engineering Computer-Based Systems
[ Abstract and Details | Download ]
Scheduling
L. Beus-Dukic, A. J. Wellings (2001)
A Generic Fault-Tolerant Architecture for Real-Time Dependable Systems
Kluwer Academic Publishers
[ Abstract and Details ]
Statistical Analysis of WCET for Scheduling
S. Edgar, A. Burns (2001)
Proceedings IEEE RTSS 2001
[ Abstract and Details | Download ]
The Babbling Idiot in Event-triggered Real-time Systems
I. Broster, A. Burns (2001)
Proceedings of the Work-In-Progress Session, 22nd IEEE Real-Time Systems Symposium, YCS 337
[ Abstract and Details | Download ]
The Meta-Modeling Language Calculus: Foundation Semantics for
A. N. Clark, A. S. Evans, S. Kent (2001)
Proceedings of FASE Workshop, European Conference of Theory and Practice of Software
[ Abstract and Details ]
The DEAR-COTS Replication Framework
L. Pinho, F. Vasques, A. J. Wellings (2001)
Proceedings of the Work-In-Progress and Industrial Sessions, 13th Euromicro Conference on Real-Time Systems, ISBN 90-407-2202-1
[ Abstract and Details ]
Three obstacles to flexible scheduling
G. Bernat, A. Burns (2001)
Proceedings of the 13th Euromicro International Conference on Real-Time Systems
[ Abstract and Details | Download ]
Timely Use of the CAN Protocol in Critical Hard Real-time Systems With Faults
I. Broster, A. Burns (2001)
Euromicro Conference on Real-time Systems
[ Abstract and Details | Download ]
Towards a Framework for Integrating the Real-Time Specification for Java and Java's Remote Method Invocation
A. J. Wellings, R. Clark, D. Jensen, D. Wells (2001)
Proceedings of the Work-In-Progress Session, 22nd IEEE Real-Time Systems Symposium, YCS 337
[ Abstract and Details ]
Use of modern processors in safety-critical applications
I. Bate, P. Conmy, T. Kelly, J. McDermid (2001)
The Computer Journal
[ Abstract and Details ]
Weakly-Hard Real-Time Systems
G. Bernat, A. Burns, A. Llamosí (2001)
IEEE Transactions on Computers
[ Abstract and Details ]
MOPping up exceptions
(2001)
Proceedings of Exception Handling for a 21st Century Programming Language, Ada Letters, Vol XX1(3)
[ Abstract and Details ]
On Priority Assignment in Fixed Priority Scheduling
N. C. Audsley (2001)
Information Processing Letters
[ Abstract and Details ]
WCET Analysis of Reusable Portable Code
P. Puschner, G. Bernat (2001)
Proceedings of the 13th Euromicro International Conference on Real-Time Systems
[ Abstract and Details | Download ]
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 ]
A Framework for Scheduling in Safety-Critical Embedded Control Systems
I. Bate, A. Burns (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, N. C. Audsley, M. A. Fletcher, A. S. 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
I. Bate, A. Burns (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
N. Audsley, I. Bate, A. Grigg (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 ]
Index
|
