Items where authors include "Burns, Alan"

Article

Jones, Cliff and Burns, Alan orcid.org/0000-0001-5621-8816 (2023) Extending Rely-Guarantee thinking to handle Real-Time Scheduling. Formal Methods in System Design. ISSN 0925-9856

Baruah, Sanjoy, Burns, Alan orcid.org/0000-0001-5621-8816 and Davis, Robert Ian orcid.org/0000-0002-5772-0928 (2023) Optimal Synthesis of Robust IDK Classifier Cascades. ACM Transactions in Embedded Computing Systems. 150. pp. 1-26. ISSN 1558-3465

Soares Indrusiak, Leandro orcid.org/0000-0002-9938-2920 and Burns, Alan orcid.org/0000-0001-5621-8816 (2023) Real-Time Guarantees in Routerless Networks-on-Chip. ACM Transactions on Embedded Computing Systems. 88. ISSN 1558-3465

Abdelzaher, Tarek F., Agrawa, Kunal, Baruah, Sanjoy et al. (4 more authors) (2023) Scheduling IDK classifiers with arbitrary dependences to minimize the expected time to successful classification. Real-Time Systems. ISSN 1573-1383

Baruah, Sanjoy, Burns, Alan orcid.org/0000-0001-5621-8816, Davis, Robert Ian orcid.org/0000-0002-5772-0928 et al. (1 more author) (2023) Optimally ordering IDK classifiers subject to deadlines. Real-Time Systems. ISSN 1573-1383

Zhao, Shuai, Chang, Wanli orcid.org/0000-0002-4053-8898, Wei, Ran et al. (4 more authors) (2020) Priority Assignment on Partitioned Multiprocessor Systems with Shared Resources. IEEE Transactions on Computers. ISSN 0018-9340 (In Press)

Chang, Wanli orcid.org/0000-0002-4053-8898, Wei, Ran, Zhao, Shuai et al. (3 more authors) (2020) Development Automation of Real-Time Java: Model-Driven Transformation and Synthesis. ACM Transactions in Embedded Computing Systems. ISSN 1558-3465 (In Press)

Burns, Alan orcid.org/0000-0001-5621-8816, Harbin, James Robert orcid.org/0000-0002-6479-8600, Davis, Robert Ian orcid.org/0000-0002-5772-0928 et al. (3 more authors) (2020) The AirTight Protocol for Mixed Criticality Wireless CPS. ACM Transactions on Cyber-Physical Systems. 19. ISSN 2378-9638

Dai, Xiaotian orcid.org/0000-0002-6669-5234 and Burns, Alan orcid.org/0000-0001-5621-8816 (2020) Period Adaptation of Real-Time Control Tasks with Fixed-Priority Scheduling in Cyber-Physical Systems. Journal of systems architecture. 101691. ISSN 1383-7621

Zhao, Shuai, Garrido, Jorge, Wei, Ran et al. (3 more authors) (2020) A Complete Run-time Overhead-aware Schedulability Analysis for MrsP under Nested Resources. Journal of Systems and Software. ISSN 0164-1212

Dai, Xiaotian orcid.org/0000-0002-6669-5234, Chang, Wanli orcid.org/0000-0002-4053-8898, Zhao, Shuai et al. (1 more author) (2019) A dual-mode strategy for performance-maximisation and resource-efficient CPS design. ACM Transactions on Embedded Computing Systems (TECS). 85. 85:1-85:20.

Burns, Alan orcid.org/0000-0001-5621-8816, Hayes, Ian and Jones, Cliff (2019) Deriving specifications of control programs for cyber physical systems. Computer journal. ISSN 1460-2067

Xu, Hao and Burns, Alan orcid.org/0000-0001-5621-8816 (2019) A Semi-Partitioned Model for Mixed Criticality Systems. Journal of Systems and Software. pp. 51-63. ISSN 0164-1212

Deutschbein, Calvin, Fleming, Thomas David, Burns, Alan orcid.org/0000-0001-5621-8816 et al. (1 more author) (2019) Multi-core cyclic executives for safety-critical systems. Science of Computer Programming. pp. 102-116. ISSN 0167-6423

Nikolic, Borislav, Tobuschat, Sebastian, Soares Indrusiak, Leandro orcid.org/0000-0002-9938-2920 et al. (2 more authors) (2019) Real-Time Analysis of Priority-Preemptive NoCs with Arbitrary Buffer Sizes and Router Delays. Real-Time Systems. pp. 63-105. ISSN 1573-1383

Burns, Alan orcid.org/0000-0001-5621-8816, Davis, Robert Ian orcid.org/0000-0002-5772-0928, Baruah, Sanjoy et al. (1 more author) (2018) Robust Mixed-Criticality Systems. IEEE Transactions on Computers. pp. 1478-1491. ISSN 0018-9340

Burns, Alan orcid.org/0000-0001-5621-8816 and Davis, Robert Ian orcid.org/0000-0002-5772-0928 (2018) A Survey of Research into Mixed Criticality Systems. ACM Comput. Surv.. 82. ISSN 0360-0300

Bate, Iain John orcid.org/0000-0003-2415-8219, Burns, Alan orcid.org/0000-0001-5621-8816 and Davis, Robert Ian orcid.org/0000-0002-5772-0928 (2017) An Enhanced Bailout Protocol for Mixed Criticality Embedded Software. IEEE Transactions on Software Engineering. 7516652. pp. 298-320. ISSN 0098-5589

Burns, Alan orcid.org/0000-0001-5621-8816, Fleming, Thomas David, Baruah, S et al. (3 more authors) (2017) Corrections to and Discussion of "Implementation and Evaluation of Mixed-criticality Scheduling Approaches for Sporadic Tasks". ACM Transactions on Embedded Computing Systems (TECS). 77:1-&&:4.

Davis, Robert Ian orcid.org/0000-0002-5772-0928, Cucu-Grosjean, Liliana, Bertogna, Marko et al. (1 more author) (2016) A Review of Priority Assignment in Real-Time Systems. Journal of systems architecture. pp. 64-82. ISSN 1383-7621

Book Section

Wei, Kun, Woodcock, Jim orcid.org/0000-0001-7955-2702 and Burns, Alan orcid.org/0000-0001-5621-8816 (2012) Modelling Temporal Behaviour in Complex Systems with Timebands. In: Hinchey, Mike and Coyle, Lorcan, (eds.) Conquering Complexity. Springer , London , pp. 277-307.

Conference or Workshop Item

Agrawa, Kunal, Baruah, Sanjoy and Burns, Alan orcid.org/0000-0001-5621-8816 (2019) Fault-tolerant Transmission of Messages of Differing Criticalities Across a Shared Communication Media. In: Real-Time Networks and Systems, 06-08 Nov 2019.

Griffin, David Jack orcid.org/0000-0002-4077-0005, Harbin, James Robert orcid.org/0000-0002-6479-8600, Burns, Alan orcid.org/0000-0001-5621-8816 et al. (3 more authors) (2019) Validating High Level Simulation Results against Experimental Data and Low Level Simulation : A Case Study. In: Real-Time Networks and Systems, 06-08 Nov 2019.

Bletsas, K., Awan, M.A., Souto, P.F. et al. (3 more authors) (2018) Decoupling Criticality and Importance in Mixed-Criticality Scheduling. In: Workshop on Mixed Criticality, 11 Dec 2018.

Harbin, James Robert orcid.org/0000-0002-6479-8600, Griffin, David Jack orcid.org/0000-0002-4077-0005, Burns, Alan orcid.org/0000-0001-5621-8816 et al. (3 more authors) (2018) Supporting Critical Modes in AirTight. In: Workshop on Mixed Criticality, 11 Dec 2018.

Dong, Pan, Burns, Alan orcid.org/0000-0001-5621-8816, Jiang, Zhe et al. (1 more author) (2018) Achieving Performance Balance for Dual-Criticality System Based on ARM TrustZone. In: Design Automation Conference (DAC) 2018, 15 Jul 2018, San Francisco, US.

Burns, Alan orcid.org/0000-0001-5621-8816 and Davis, Robert Ian orcid.org/0000-0002-5772-0928 (2017) Response Time Analysis for Mixed Criticality Systems with Arbitrary Deadlines. In: 5th International Workshop on Mixed Criticality Systems (WMC 2017), 05 Dec 2017.

Burns, Alan orcid.org/0000-0001-5621-8816, Deutschbein, C, Fleming, Thomas David et al. (1 more author) (2017) Multi-core Cyclic Executives for Safety-Critical Systems. In: Dependable Software Engineering Theories, Tools and Application, 23-25 Oct 2017.

Burns, Alan orcid.org/0000-0001-5621-8816 and Baruah, Sanjoy (2017) Migrating Mixed Criticality Tasks within a Cyclic Executive Framework. In: Reliable Software Tecnologies, 01 Jun 2017.

Garrido, Jose, Zhao, Shuai, Burns, Alan orcid.org/0000-0001-5621-8816 et al. (1 more author) (2017) Supporting Nested Resources in MrsP. In: Reliable Software Tecnologies, 01 Jun 2017.

Proceedings Paper

Chen, Nan, Zhao, Shuai, Gray, Ian orcid.org/0000-0003-1150-9905 et al. (3 more authors) (2023) Precise Response Time Analysis for Multiple DAG Tasks with Intra-task Priority Assignment. In: Proc. 29th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS). UNSPECIFIED. IEEE , pp. 174-184.

Burns, Alan orcid.org/0000-0001-5621-8816 and Baruah, S (2023) Multi-Model Specifications and their application to Classification Systems. In: 31st International Conference on Real-Time Networks and Systems, proceedings. 31st International Conference on Real-Time Networks and Systems, 06-08 Jun 2023. ACM , 155–165.

Abdelzaher, Tarek F., Baruah, Sanjoy, Bate, Iain John orcid.org/0000-0003-2415-8219 et al. (3 more authors) (2023) Scheduling Classifiers for Real-Time Hazard Perception Considering Functional Uncertainty. In: RTNS '23: Proceedings of the 31st International Conference on Real-Time Networks and Systems. 31st International Conference on Real-Time Networks and Systems, 06-08 Jun 2023. ACM , pp. 143-154.

Bruggen, G. von der, Burns, Alan orcid.org/0000-0001-5621-8816, Chen, Jian-Jia et al. (2 more authors) (2022) On the Trade-offs between Generalization and Specialization in Real-Time Systems. In: 28th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications. 28th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 23-25 Aug 2022. .

Burns, Alan orcid.org/0000-0001-5621-8816 and Jones, Cliff (2022) An Approach to Formally Specifying the Behaviour of Mixed-Criticality Systems. In: Proceedings, 34th Euromicro Conference on Real-Time Systems (ECRTS 2022). Euromicro Conference on Real-Time Systems, 05-08 Jul 2022. ACM .

Davis, Robert Ian orcid.org/0000-0002-5772-0928, Burns, Alan orcid.org/0000-0001-5621-8816 and Bate, Iain orcid.org/0000-0003-2415-8219 (2022) Compensating Adaptive Mixed Criticality Scheduling. In: Abdeddaïm, Yasmina, Cucu-Grosjean, Liliana, Nelissen, Geoffrey and Pautet, Laurent, (eds.) RTNS 2022 - Proceedings of the 30th International Conference on Real-Time Networks and Systems. 30th International Conference on Real-Time Networks and Systems, RTNS 2022, 07-08 Jun 2022. ACM International Conference Proceeding Series . ACM , FRA , pp. 81-93.

Baruah, Sanjoy, Burns, Alan orcid.org/0000-0001-5621-8816 and Griffin, David Jack orcid.org/0000-0002-4077-0005 (2022) Functional Uncertainty in Real-Time Safety-Critical Systems. In: Proceeding Real-Time Networks and Systems. UNSPECIFIED. ACM .

Bate, Iain John orcid.org/0000-0003-2415-8219, Burns, Alan orcid.org/0000-0001-5621-8816 and Davis, Robert Ian orcid.org/0000-0002-5772-0928 (2022) Analysis-Runtime Co-design for Adaptive Mixed Criticality Scheduling. In: Proceedings 2022 IEEE 28th Real-Time and Embedded Technology and Applications Symposium (RTAS). 2022 IEEE 28th Real-Time and Embedded Technology and Applications Symposium (RTAS), 04-06 May 2022. , pp. 187-200.

Baruah, Sanjoy, Burns, Alan orcid.org/0000-0001-5621-8816 and Wu, Yue (2021) Optimal Synthesis of IDK-Cascades. In: RTNS'2021: 29th International Conference on Real-Time Networks and Systems. Real-Time Networked Systems, 07-09 Apr 2021. ACM , pp. 184-191.

Dai, Xiaotian orcid.org/0000-0002-6669-5234, Zhao, Shuai, Bate, Iain John orcid.org/0000-0003-2415-8219 et al. (3 more authors) (2021) Brief Industry Paper: Digital Twin for Dependable Multi-Core Real-Time Systems --- Requirements and Open Challenges. In: IEEE Real-Time and Embedded Technology and Applications Symposium. UNSPECIFIED. . (In Press)

Burns, Alan orcid.org/0000-0001-5621-8816 and Davis, Robert Ian orcid.org/0000-0002-5772-0928 (2020) Schedulability Analysis for Adaptive Mixed Criticality Systems with Arbitrary Deadlines and Semi-Clairvoyance. In: 2020 IEEE Real-Time Systems Symposium (Proceedings). 2020 IEEE Real-Time Systems Symposium, 01-04 Dec 2020. .

Burns, Alan orcid.org/0000-0001-5621-8816, Soares Indrusiak, Leandro orcid.org/0000-0002-9938-2920, Smirnov, N. et al. (1 more author) (2020) A Novel Flow Control Mechanism to Avoid Multi-Point Progressive Blocking in Hard Real-Time Priority-Preemptive NoCs. In: 26th IEEE Real-Time and Embedded Technology and Applications Symposium:Proceedings. 26th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2020), 21-24 Apr 2020. IEEE , AUS .

Agrawa, Kunal, Baruah, Sanjoy and Burns, Alan orcid.org/0000-0001-5621-8816 (2020) Semi-Clairvoyance in Mixed-Criticality Scheduling. In: 2019 IEEE Real-Time Systems Symposium (RTSS). 40th IEEE Real-Time Systems Symposium (RTSS 2019), 01 Dec 2019. IEEE Real-Time Systems Symposium (RTSS) . IEEE , pp. 458-468.

Agrawa, Kunal, Baruah, Sanjoy, Burns, Alan orcid.org/0000-0001-5621-8816 et al. (1 more author) (2020) Minimizing Execution Duration in the Presence of Learning-Enabled Components. In: DATE '20:Proceedings of the 23rd Conference on Design, Automation and Test in Europe March 2020. Design Automation, 01 Apr - 30 Jun 2020. ACM , pp. 1644-1649.

Zhao, Shuai, Dai, Xiaotian orcid.org/0000-0002-6669-5234, Bate, Iain orcid.org/0000-0003-2415-8219 et al. (2 more authors) (2020) DAG Scheduling and Analysis on Multiprocessor Systems: Exploitation of Parallelism and Dependency. In: IEEE Real-Time Systems Symposium. UNSPECIFIED. IEEE .

Pan, Dong, Jiang, Zhe, Burns, Alan orcid.org/0000-0001-5621-8816 et al. (2 more authors) (2019) Work-In-Progress: : Real-Time RPC for Hybrid Dual-OS System. In: 2019 IEEE Real-Time Systems Symposium (RTSS). UNSPECIFIED. Real-Time Systems Symposium (RTSS) . IEEE , pp. 1-4.

Baruah, Sanjoy and Burns, Alan orcid.org/0000-0001-5621-8816 (2019) Incorporating Robustness and Resilience into Mixed-Criticality Scheduling Theory. In: 2019 IEEE 22nd International Symposium on Real-Time Distributed Computing (ISORC). UNSPECIFIED. nternational Symposium on Real-Time Distributed Computing (ISORC) . IEEE , pp. 155-162.

Chang, Wanli orcid.org/0000-0002-4053-8898, Zhao, Shuai, Wei, Ran et al. (2 more authors) (2019) From Java to real-time Java : A model-driven methodology with automated toolchain. In: LCTES 2019::Proceedings of the 20th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems. 20th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems, 22 Jun 2019. ACM , USA , pp. 123-134.

Dong, Pan, Burns, Alan orcid.org/0000-0001-5621-8816, Jiang, Zhe et al. (1 more author) (2018) TZDKS: A New TrustZone-based Dual-CriticalitySystem with Balanced Performance. In: Proceeding IEEE 24th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA). UNSPECIFIED. IEEE , IEEE Xplore , pp. 59-64.

Burns, Alan orcid.org/0000-0001-5621-8816, Harbin, James Robert orcid.org/0000-0002-6479-8600, Soares Indrusiak, Leandro orcid.org/0000-0002-9938-2920 et al. (3 more authors) (2018) AirTight: A Resilient Wireless Communication Protocol for Mixed-Criticality Systems. In: IEEE Embedded and Real-Time Computing Systems and Applications:RTCSA. UNSPECIFIED. .

Papadopoulos, Alessandro, Bini, Enrico, Baruah, Sanjoy et al. (1 more author) (2018) AdaptMC: A Control-Theoretic Approach for Achieving Resilience in Mixed-Criticality Systems. In: Altmeyer, Sebastian, (ed.) Proceeding ECRTS Conference. UNSPECIFIED. LIPICS , Dagstuhl , 14:1-14:22.

Soares Indrusiak, Leandro orcid.org/0000-0002-9938-2920, Burns, Alan orcid.org/0000-0001-5621-8816 and Nikolic, Borislav (2018) Buffer-aware bounds to multi-point progressive blocking in priority-preemptive NoCs. In: Proceedings of the 2018 Design, Automation & Test in Europe Conference (DATE). Design, Automation and Test in Europe, 19-23 Mar 2018, Dresden. , DEU , pp. 219-224.

Dai, Xiaotian orcid.org/0000-0002-6669-5234 and Burns, Alan orcid.org/0000-0001-5621-8816 (2017) Predicting Worst-Case Execution Time Trends in Long-Lived Real-Time Systems. In: Bader, Markus and Blieberger, Johann, (eds.) Reliable Software Technologies - Ada-Europe 2017 - 22nd Ada-Europe International Conference on Reliable Software Technologies, Proceedings. UNSPECIFIED. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . , pp. 87-101.

Zhao, Shuai, Garrido, Jose, Burns, Alan orcid.org/0000-0001-5621-8816 et al. (1 more author) (2017) New Schedulability Analysis for MrsP. In: 2017 IEEE 23rd International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA). IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 01 Sep 2017. IEEE , p. 1.

Burns, Alan orcid.org/0000-0001-5621-8816, Baruah, Sanjoy and Guo, Zhishan (2016) Preemptive uniprocessor scheduling of dual-criticality implicit-deadline sporadic tasks. In: Proc of ECRTS. UNSPECIFIED. , pp. 1-8.

Wei, Kun, Woodcock, Jim and Burns, Alan orcid.org/0000-0001-5621-8816 (2011) Timed circus : Timed CSP with the miracle. In: Perseil, Isabelle, Breitman, Karin and Sterritt, Roy, (eds.) 16th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2011, Las Vegas, Nevada, USA, 27-29 April 2011. 16th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2011, 27-29 Apr 2011. IEEE Computer Society , GBR , pp. 55-64.

Book

Burns, Alan orcid.org/0000-0001-5621-8816 and Davis, Robert Ian orcid.org/0000-0002-5772-0928 (2022) Mixed Criticality Systems - A Review : (13th Edition, February 2022). , (97pp).