Scheduling-context capabilities-Reference-Cited by-同舟云学术

Scheduling-context capabilities

Published:2018-04-23 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the Thirteenth EuroSys Conference
language:
Short-container-title:

Author:

Lyons Anna¹,McLeod Kent²,Almatary Hesham¹,Heiser Gernot¹

Affiliation:

1. CSIRO, UNSW Sydney

2. CSIRO, Sydney

Funder

DHS

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3190508.3190539

Reference58 articles.

1. Resource Reservation in Dynamic Real-Time Systems

2. ARINC 2012. Avionics Application Software Standard Interface. ARINC. ARINC Standard 653. ARINC 2012. Avionics Application Software Standard Interface. ARINC. ARINC Standard 653.

3. Response-Time Analysis for Mixed Criticality Systems

4. Timing Analysis of a Protected Operating System Kernel

5. Improving interrupt response time in a verifiable protected microkernel

Cited by 25 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Minimal Partitioning Kernel with Time Protection and Predictability;2024 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW);2024-07-08

2. Core-Local Reasoning and Predictable Cross-Core Communication with M³;2024 IEEE 30th Real-Time and Embedded Technology and Applications Symposium (RTAS);2024-05-13

3. Priority-based concurrency and shared resource access mechanisms for nested intercomponent requests in CAmkES;Real-Time Systems;2024-03

4. Integrating VirtIO and QEMU on seL4 for Enhanced Devices Virtualization Support;2023 IEEE 22nd International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom);2023-11-01

5. A Runtime Security Monitoring Architecture for Embedded Hypervisors;2023 IEEE 36th International System-on-Chip Conference (SOCC);2023-09-05