Items where authors include "Bate, Iain John"

Article

Zhao, Shuai, Dai, Xiaotian orcid.org/0000-0002-6669-5234 and Bate, Iain John orcid.org/0000-0003-2415-8219 (2022) DAG Scheduling and Analysis on Multi-core Systems by Modelling Parallelism and Dependency. IEEE Transactions on Parallel and Distributed Systems. 9779935. ISSN 1558-2183

Davis, Robert Ian orcid.org/0000-0002-5772-0928, Griffin, David Jack orcid.org/0000-0002-4077-0005 and Bate, Iain John orcid.org/0000-0003-2415-8219 (2022) A Framework for Multi-core Schedulability Analysis Accounting for Resource Stress and Sensitivity. Real-Time Systems. ISSN 1573-1383

Fang, Xinwei and Bate, Iain John orcid.org/0000-0003-2415-8219 (2020) An Improved Sensor Calibration with Anomaly Detection and Removal. SENSORS AND ACTUATORS B-CHEMICAL. 127428. ISSN 0925-4005

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

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

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

Conference or Workshop Item

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.

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.

Proceedings Paper

Zhao, Shuai, Dai, Xiaotian orcid.org/0000-0002-6669-5234, Lesage, Benjamin Michael Jean-Rene et al. (1 more author) (2023) Cache-Aware Allocation of Parallel Jobs on Multi-cores based on Learned Recency. In: Proceedings of the 31st International Conference on Real-Time Networks and Systems. UNSPECIFIED. , pp. 177-187.

Lesage, Benjamin Michael Jean-Rene, Dai, Xiaotian orcid.org/0000-0002-6669-5234, Zhao, Shuai et al. (1 more author) (2023) Reducing Loss of Service for Mixed-Criticality Systems through Cache-and Stress-Aware Scheduling. In: Proceedings of the 31st International Conference on Real-Time Networks and Systems. UNSPECIFIED. , pp. 188-199.

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.

Dai, Xiaotian orcid.org/0000-0002-6669-5234, Zhao, Shuai, Lesage, Benjamin Michael Jean-Rene et al. (1 more author) (2022) Using digital twins in the development of complex dependable real-time embedded systems. In: International Symposium on Leveraging Applications of Formal Methods:. Leveraging Applications of Formal Methods, Verification and Validation. Practice, 22-30 Oct 2022. Lecture Notes in Computer Science (LNCS) . Springer , GRC , pp. 37-53.

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.

Fang, Xinwei, Bate, Iain John orcid.org/0000-0003-2415-8219 and Griffin, David Jack orcid.org/0000-0002-4077-0005 (2021) Are Neural Networks Really the Holy Grail? A Comparison of Multivariate Calibration for Low-cost Environmental Sensors. In: Science and Technologies for Smart Cities:6th EAI International Conference, SmartCity360°, Virtual Event, December 2-4, 2020, Proceedings. UNSPECIFIED. Springer , LNICST , pp. 442-461.

Davis, Robert Ian orcid.org/0000-0002-5772-0928, Griffin, David Jack orcid.org/0000-0002-4077-0005 and Bate, Iain John orcid.org/0000-0003-2415-8219 (2021) Schedulability Analysis for Multi-core Systems Accounting for Resource Stress and Sensitivity. In: 33rd Euromicro Conference on Real-Time Systems 2021 (proceedings). 33rd Euromicro Conference on Real-Time Systems 2021, 05-09 Jul 2021. ACM , 7:1-7:26. (In Press)

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)

Griffin, David Jack orcid.org/0000-0002-4077-0005, Bate, Iain John orcid.org/0000-0003-2415-8219 and Davis, Robert Ian orcid.org/0000-0002-5772-0928 (2020) Generating Utilization Vectors for the Systematic Evaluation of Schedulability Tests. In: 2020 IEEE Real-Time Systems Symposium (proceedings). 2020 IEEE Real-Time Systems Symposium, 01-04 Dec 2020. .

Zhao, Shuai, Jiang, Zhe, Dai, Xiaotian orcid.org/0000-0002-6669-5234 et al. (3 more authors) (2020) Timing-accurate general-purpose I/O for multi- and many-core systems : scheduling and hardware support. In: Design Automation Conference (DAC). UNSPECIFIED. . (In Press)

Law, Stephen Andrew, Bate, Iain John orcid.org/0000-0003-2415-8219 and Lesage, Benjamin Michael Jean-Rene (2019) Industrial Application of a Partitioning Scheduler to Support Mixed Criticality Systems. In: Proceedings of the 31st Euromicro Conference on Real-Time Systems (ECRTS 2019). UNSPECIFIED. .

Lesage, Benjamin Michael Jean-Rene, Law, Stephen Andrew and Bate, Iain John orcid.org/0000-0003-2415-8219 (2018) TACO: : An industrial case study of Test Automation for COverage. In: Proceedings of the 26th International Conference on Real-Time Networks and Systems. 26th International Conference on Real-Time Networks and Systems, 10-12 Oct 2018. RTNS'18 . ACM , FRA , pp. 114-124.

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. .

Pölzlbauer, Florian, Bate, Iain John orcid.org/0000-0003-2415-8219 and Davis, Robert Ian orcid.org/0000-0002-5772-0928 (2017) Analysis and Optimization of Message Acceptance Filter Configurations for Controller Area Network (CAN). In: International Conference on Real-Time Networks and Systems. UNSPECIFIED. ACM , pp. 247-256.

Griffin, David Jack orcid.org/0000-0002-4077-0005, Lesage, Benjamin Michael Jean-Rene, Bate, Iain John orcid.org/0000-0003-2415-8219 et al. (2 more authors) (2017) Forecast-Based Interference : Modelling Multicore Interference from Observable Factors. In: International Conference on Real-Time Networks and Systems. UNSPECIFIED. ACM , pp. 198-207.

Fang, Xinwei and Bate, Iain John orcid.org/0000-0003-2415-8219 (2017) Issues of using wireless sensor network to monitor urban air quality. In: International Workshop on the Engineering of Reliable, Robust, and Secure Embedded Wireless Sensing Systems (FAILSAFE). UNSPECIFIED. ACM .