Alan Burns

Search results

• 2020

  The Safe and Effective Use of Learning-Enabled Components in Safety-Critical Systems

  Agrawa, K., Baruah, S. & Burns, A., 2020. 20 p.

  Research output: Contribution to conference › Paper › peer-review

• 2019

  Fault-tolerant Transmission of Messages of Differing Criticalities Across a Shared Communication Media

  Agrawa, K., Baruah, S. & Burns, A., 1 Aug 2019.

  Research output: Contribution to conference › Paper › peer-review

  Open Access

  File

• Validating High Level Simulation Results against Experimental Data and Low Level Simulation: A Case Study

  Griffin, D. J., Harbin, J. R., Burns, A., Bate, I. J., Davis, R. I. & Soares Indrusiak, L., 1 Aug 2019.

  Research output: Contribution to conference › Paper › peer-review

  Open Access

  File
• 2018

  Achieving Performance Balance for Dual-Criticality System Based on ARM TrustZone

  Dong, P., Burns, A., Jiang, Z. & Ding, Y., Jul 2018. 7 p.

  Research output: Contribution to conference › Paper › peer-review

  Open Access

  File

• Mixed Criticality Systems with Varying Context Switch Costs

  Davis, R. I., Altmeyer, S. & Burns, A., 9 Aug 2018, p. 140-151. 12 p.

  Research output: Contribution to conference › Paper › peer-review

• Transferring Real-Time Systems Research into Industrial Practice: Four Impact Case Studies

  Davis, R. I., Bate, I. J., Bernat, G., Broster, I., Burns, A., Colin, A., Hutchesson, S. G. & Tracey, N., 3 Jul 2018. 23 p.

  Research output: Contribution to conference › Paper › peer-review

  Open Access
• 2017

  Migrating Mixed Criticality Tasks within a Cyclic Executive Framework

  Burns, A. & Baruah, S., 2017, p. 203-216. 14 p.

  Research output: Contribution to conference › Paper › peer-review

  Open Access

  File

• Multi-core Cyclic Executives for Safety-Critical Systems

  Burns, A., Deutschbein, C., Fleming, T. D. & Baruah, S., Oct 2017, p. 94-109. 16 p.

  Research output: Contribution to conference › Paper › peer-review

  File

• Response Time Analysis for Mixed Criticality Systems with Arbitrary Deadlines

  Burns, A. & Davis, R. I., 5 Dec 2017. 6 p.

  Research output: Contribution to conference › Paper › peer-review

  Open Access

  File

• Supporting Nested Resources in MrsP

  Garrido, J., Zhao, S., Burns, A. & Wellings, A. J., 2017, p. 73-86. 14 p.

  Research output: Contribution to conference › Paper › peer-review

  Open Access

  File
• 2011

  Resource sharing in RTSJ and SCJ systems

  Wellings, A., Lin, S. & Burns, A., Oct 2011.

  Research output: Contribution to conference › Paper › peer-review
• 2010

  A Timed Model of Circus with the Reactive Design Miracle

  Wei, K., Woodcock, J. & Burns, A., 2010, p. 315-319.

  Research output: Contribution to conference › Paper

• Dispatching Domains for Multiprocessor Platforms and Their Representation in Ada

  Burns, A. & Wellings, A. J., 2010, p. 41-53.

  Research output: Contribution to conference › Paper

• Modelling and Implementing Complex Systems with Timebands

  Woodcock, J., Oliveira, M., Burns, A. & Wei, K., 2010, p. 1-13.

  Research output: Contribution to conference › Paper › peer-review

• Realism in Statistical Analysis of Worst Case Execution Times

  Griffin, D. & Burns, A., 2010, p. 44-53.

  Research output: Contribution to conference › Paper › peer-review

• The Evolution of Real-Time Programming Revisited: Programming the Giotto Model in Ada 2005

  Wellings, A. J. & Burns, A., 2010, p. 196-207.

  Research output: Contribution to conference › Paper › peer-review
• 2009

  Combining EDF and FP Scheduling: Analysis and Implementation in Ada 2005

  Burns, A., Wellings, A. J. & Zhang, F., 2009, p. 119-133.

  Research output: Contribution to conference › Paper › peer-review

• Improvement to Quick Processor-Demand Analysis for EDF-Scheduled Real-Time Systems

  Zhang, F. & Burns, A., 2009, p. 76-86.

  Research output: Contribution to conference › Paper › peer-review

• Real-Time Communication Analysis with a Priority Share Policy in On-Chip Networks

  Shi, Z. & Burns, A., 2009, p. 3-12.

  Research output: Contribution to conference › Paper › peer-review
• 2008

  Exact Response Time Scheduling Analysis of Accumulatively Monotonic Multiframe Real Time Tasks

  Zuhily, A. & Burns, A., 2008, p. 410-424.

  Research output: Contribution to conference › Paper › peer-review

• Exact scheduling analysis of accumulatively monotonic multiframe tasks subjected to release jitter and arbitrary deadlines

  Zuhily, A. & Burns, A., 2008, p. 600-607.

  Research output: Contribution to conference › Paper › peer-review

• On the meaning of modes in uniprocessor real-time systems

  Martins, P. & Burns, A., 2008, p. 324-325.

  Research output: Contribution to conference › Paper › peer-review

• Priority Assignment for Real-Time Wormhole Communication in On-Chip Networks

  Shi, Z. & Burns, A., 2008, p. 421-430.

  Research output: Contribution to conference › Paper › peer-review

• Real-Time Communication Analysis for On-Chip Networks with Wormhole Switching

  Shi, Z. & Burns, A., 1 Apr 2008, p. 161 -170.

  Research output: Contribution to conference › Paper › peer-review
• 2007

  Analysis of Hierarchical EDF Pre-emptive Scheduling

  Zhang, F. & Burns, A., 2007, p. 423-434.

  Research output: Contribution to conference › Paper › peer-review

• Delivering Real-Time Behaviour

  Burns, A. & Wellings, A. J., 2007, p. 1-50.

  Research output: Contribution to conference › Paper › peer-review

• Integrating Priority Inheritance Algorithms in the Real-Time Specification for Java

  Wellings, A. J., Burns, A., Santos, O. M. D. & Brosgol, B. M., 2007, p. 115-123.

  Research output: Contribution to conference › Paper › peer-review

• Real-Time Utilities for Ada 2005

  Wellings, A. J. & Burns, A., 2007, p. 1-14.

  Research output: Contribution to conference › Paper › peer-review

• Supporting Deliberative Real-Time AI Systems: A Fixed Priority Scheduling Approach

  Chu, Y. & Burns, A., 2007, p. 259-268.

  Research output: Contribution to conference › Paper › peer-review
• 2006

  FSF: A Real-Time Scheduling Architecture Framework

  Aldea, M., Bernat, G., Broster, I., Burns, A., Dobrin, R., Drake, J. M., Fohler, G., Gai, P., Harbour, M. G., Guidi, G., Gutiérrez, J. J., Lennvall, T., Lipari, G., Martínez, J. M., Medina, J. L. & Trimarchi, M., 2006, p. 113-124.

  Research output: Contribution to conference › Paper › peer-review

• Sustainable Scheduling Analysis

  Baruah, S. K. & Burns, A., 2006, p. 159-168.

  Research output: Contribution to conference › Paper › peer-review
• 2005

  Scheduling Fixed-Priority Hard Real-Time Tasks in the Presence of Faults

  Lima, G. M. D. A. & Burns, A., 2005, p. 154-173.

  Research output: Contribution to conference › Paper › peer-review
• 2004

  Comparing Real-Time Communication Under Electromagnetic Interference

  Broster, I., Burns, A. & Rodríguez-Navas, G., 2004, p. 45-52.

  Research output: Contribution to conference › Paper › peer-review

• Dynamic Ceiling Priorities: A Proposal for Ada0Y

  Real, J., Burns, A., Schonberg, E. & Crespo, A., 2004, p. 261-272.

  Research output: Contribution to conference › Paper › peer-review

• Rewriting History to Exploit Gain Time

  Bernat, G., Broster, I. & Burns, A., 2004, p. 328-335.

  Research output: Contribution to conference › Paper › peer-review

• Supporting Deadlines and EDF Scheduling in Ada

  Burns, A. & Wellings, A. J., 2004, p. 156-165.

  Research output: Contribution to conference › Paper › peer-review
• 2003

  A Consensus Protocol for CAN-Based Systems

  Lima, G. M. D. A. & Burns, A., 2003, p. 420-429.

  Research output: Contribution to conference › Paper › peer-review

• Adding Temporal Annotations and Associated Verification to Ravenscar Profile

  Burns, A. & Lin, T.-M., 2003, p. 80-91.

  Research output: Contribution to conference › Paper › peer-review

• A Probabilistic Framework for Schedulability Analysis

  Burns, A., Bernat, G. & Broster, I., 2003, p. 1-15.

  Research output: Contribution to conference › Paper › peer-review

• A Round Robin Scheduling Policy for Ada

  Burns, A., Harbour, M. G. & Wellings, A. J., 2003, p. 334-343.

  Research output: Contribution to conference › Paper › peer-review
• 2002

  Probabilistic Analysis of CAN with Faults

  Broster, I., Burns, A. & Rodríguez-Navas, G., 2002, p. 269-278.

  Research output: Contribution to conference › Paper › peer-review

• Weakly Hard Real-time Constraints on Controller Area Network

  Broster, I., Bernat, G. & Burns, A., 2002, p. 134-141.

  Research output: Contribution to conference › Paper › peer-review

• Writing Temporally Predictable Code

  Puschner, P. P. & Burns, A., 2002, p. 85-94.

  Research output: Contribution to conference › Paper › peer-review
• 1991

  TARDIS: An Architectural Framework for Timely and Reliable Distributed Information Systems

  Burns, A., Lister, A. M., McDermid, J. A. & Bailes, P. A., 1991, p. 1-15.

  Research output: Contribution to conference › Paper › peer-review

• TARDIS/Z: A Technique for Formal Specification of High Integrity and Real Time Systems

  Coombes, A. C., Burns, A., McDermid, J. A. & Wichmann, B. A., 1991, p. 1-6.

  Research output: Contribution to conference › Paper › peer-review