• Jiang Z, Zhao S, Wei R, Si X, Chen G and Guan N. (2024). ROTA-I/O: Hardware/Algorithm Co-design for Real-Time I/O Control with Improved Timing Accuracy and Robustness 2024 IEEE Real-Time Systems Symposium (RTSS). 10.1109/RTSS62706.2024.00024. 979-8-3315-4026-5. (174-186).

    https://ieeexplore.ieee.org/document/10844718/

  • Cinque M, De Simone L and Ottaviano D. (2024). Temporal isolation assessment in virtualized safety-critical mixed-criticality systems: A case study on Xen hypervisor. Journal of Systems and Software. 10.1016/j.jss.2024.112147. 216. (112147). Online publication date: 1-Oct-2024.

    https://linkinghub.elsevier.com/retrieve/pii/S0164121224001924

  • Abeni L. (2024). Virtualized real-time workloads in containers and virtual machines. Journal of Systems Architecture. 10.1016/j.sysarc.2024.103238. 154. (103238). Online publication date: 1-Sep-2024.

    https://linkinghub.elsevier.com/retrieve/pii/S1383762124001759

  • de Bonfils Lavernelle J, Bonnefoi P, Gonzalvo B and Sauveron D. (2024). Assessment of spatial isolation in Jailhouse. Computer Networks: The International Journal of Computer and Telecommunications Networking. 245:C. Online publication date: 1-May-2024.

    https://doi.org/10.1016/j.comnet.2024.110402

  • Farrukh A and West R. (2023). FlyOS: rethinking integrated modular avionics for autonomous multicopters. Real-Time Systems. 10.1007/s11241-023-09399-w. 59:2. (256-301). Online publication date: 1-Jun-2023.

    https://link.springer.com/10.1007/s11241-023-09399-w

  • Becker M, Dasari D and Casini D. (2023). On the QNX IPC: Assessing Predictability for Local and Distributed Real-Time Systems 2023 IEEE 29th Real-Time and Embedded Technology and Applications Symposium (RTAS). 10.1109/RTAS58335.2023.00030. 979-8-3503-2176-0. (289-302).

    https://ieeexplore.ieee.org/document/10155683/

  • Martins J and Pinto S. (2023). Shedding Light on Static Partitioning Hypervisors for Arm-based Mixed-Criticality Systems 2023 IEEE 29th Real-Time and Embedded Technology and Applications Symposium (RTAS). 10.1109/RTAS58335.2023.00011. 979-8-3503-2176-0. (40-53).

    https://ieeexplore.ieee.org/document/10155684/

  • Jiang Z, Dai X, Burns A, Audsley N, Gu Z and Gray I. A High-Resilience Imprecise Computing Architecture for Mixed-Criticality Systems. IEEE Transactions on Computers. 10.1109/TC.2022.3202721. 72:1. (29-42).

    https://ieeexplore.ieee.org/document/9869703/

  • Borgioli N, Zini M, Casini D, Cicero G, Biondi A and Buttazzo G. An I/O Virtualization Framework With I/O-Related Memory Contention Control for Real-Time Systems. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 10.1109/TCAD.2022.3202434. 41:11. (4469-4480).

    https://ieeexplore.ieee.org/document/9868830/

  • Sinha S, Farrukh A and West R. ModelMap. Proceedings of the 41st IEEE/ACM International Conference on Computer-Aided Design. (1-9).

    https://doi.org/10.1145/3508352.3549463

  • Bottaro M and Vardanega T. (2022). Evaluating a multicore Mixed-Criticality System implementation against a temporal isolation kernel. Journal of Systems Architecture. 10.1016/j.sysarc.2022.102688. 130. (102688). Online publication date: 1-Sep-2022.

    https://linkinghub.elsevier.com/retrieve/pii/S1383762122001916

  • Jiang Z, Yang K, Fisher N, Audsley N and Dong Z. (2022). Towards an energy-efficient quarter-clairvoyant mixed-criticality system. Journal of Systems Architecture. 10.1016/j.sysarc.2022.102683. 130. (102683). Online publication date: 1-Sep-2022.

    https://linkinghub.elsevier.com/retrieve/pii/S1383762122001886

  • Bhushan R and Yadav D. A Survey on Formal Verification of Separation Kernels. Recent Advances in Computer Science and Communications. 10.2174/2666255813666201207154230. 15:6.

    https://www.eurekaselect.com/188790/article

  • Farrukh A and West R. (2022). FLYOS: Integrated Modular Avionics for Autonomous Multicopters 2022 IEEE 28th Real-Time and Embedded Technology and Applications Symposium (RTAS). 10.1109/RTAS54340.2022.00014. 978-1-6654-9998-9. (68-81).

    https://ieeexplore.ieee.org/document/9804654/

  • Golchin A and West R. (2022). Jumpstart: Fast Critical Service Resumption for a Partitioning Hypervisor in Embedded Systems 2022 IEEE 28th Real-Time and Embedded Technology and Applications Symposium (RTAS). 10.1109/RTAS54340.2022.00013. 978-1-6654-9998-9. (55-67).

    https://ieeexplore.ieee.org/document/9804614/

  • Jiang Z, Zhao S, Wei R, Yang D, Paterson R, Guan N, Zhuang Y and Audsley N. Bridging the Pragmatic Gaps for Mixed-Criticality Systems in the Automotive Industry. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 10.1109/TCAD.2021.3075422. 41:4. (1116-1129).

    https://ieeexplore.ieee.org/document/9415640/

  • Jiang Z, Dai X, Dong P, Wei R, Yang D, Audsley N and Guan N. Toward an Analysable, Scalable, Energy-Efficient I/O Virtualization for Mixed-Criticality Systems. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 10.1109/TCAD.2021.3059566. 41:2. (320-333).

    https://ieeexplore.ieee.org/document/9354856/

  • Missimer K, Athanassoulis M and West R. (2022). Telomere: Real-Time NAND Flash Storage. ACM Transactions on Embedded Computing Systems. 21:1. (1-24). Online publication date: 31-Jan-2022.

    https://doi.org/10.1145/3479157

  • Thyagaturu A, Shantharama P, Nasrallah A and Reisslein M. Operating Systems and Hypervisors for Network Functions: A Survey of Enabling Technologies and Research Studies. IEEE Access. 10.1109/ACCESS.2022.3194913. 10. (79825-79873).

    https://ieeexplore.ieee.org/document/9844719/

  • Jiang Z, Dai X and Audsley N. (2021). HIART-MCS: High Resilience and Approximated Computing Architecture for Imprecise Mixed-Criticality Systems 2021 IEEE Real-Time Systems Symposium (RTSS). 10.1109/RTSS52674.2021.00035. 978-1-6654-2802-6. (290-303).

    https://ieeexplore.ieee.org/document/9622396/

  • Schwaricke G, Tabish R, Pellizzoni R, Mancuso R, Bastoni A, Zuepke A and Caccamo M. (2021). A Real-Time Virtio-Based Framework for Predictable Inter-VM Communication 2021 IEEE Real-Time Systems Symposium (RTSS). 10.1109/RTSS52674.2021.00015. 978-1-6654-2802-6. (27-40).

    https://ieeexplore.ieee.org/document/9622371/

  • Sinha S and West R. (2021). Towards an Integrated Vehicle Management System in DriveOS. ACM Transactions on Embedded Computing Systems. 20:5s. (1-24). Online publication date: 31-Oct-2021.

    https://doi.org/10.1145/3477013

  • Casini D, Biondi A, Cicero G and Buttazzo G. (2021). Latency Analysis of I/O Virtualization Techniques in Hypervisor-Based Real-Time Systems 2021 IEEE 27th Real-Time and Embedded Technology and Applications Symposium (RTAS). 10.1109/RTAS52030.2021.00032. 978-1-6654-0386-3. (306-319).

    https://ieeexplore.ieee.org/document/9470472/

  • Marques I, Rodrigues C, Tavares A, Pinto S and Gomes T. (2021). Lock-V: A heterogeneous fault tolerance architecture based on Arm and RISC-V. Microelectronics Reliability. 10.1016/j.microrel.2021.114120. 120. (114120). Online publication date: 1-May-2021.

    https://linkinghub.elsevier.com/retrieve/pii/S002627142100086X

  • Isaac O, Okokpujie K, Akinwumi H, Juwe J, Otunuya H and Alagbe O. (2021). An Overview of Microkernel Based Operating Systems. IOP Conference Series: Materials Science and Engineering. 10.1088/1757-899X/1107/1/012052. 1107:1. (012052). Online publication date: 1-Apr-2021.

    https://iopscience.iop.org/article/10.1088/1757-899X/1107/1/012052

  • Jiang Z, Yang K, Fisher N, Audsley N and Dong Z. (2020). Pythia-MCS: Enabling Quarter-Clairvoyance in I/O-Driven Mixed-Criticality Systems 2020 IEEE Real-Time Systems Symposium (RTSS). 10.1109/RTSS49844.2020.00015. 978-1-7281-8324-4. (38-50).

    https://ieeexplore.ieee.org/document/9355515/

  • Jiang Z, Zhao S, Dong P, Yang D, Wei R, Guan N and Audsley N. (2020). Re-Thinking Mixed-Criticality Architecture for Automotive Industry 2020 IEEE 38th International Conference on Computer Design (ICCD). 10.1109/ICCD50377.2020.00092. 978-1-7281-9710-4. (510-517).

    https://ieeexplore.ieee.org/document/9283545/

  • Golchin A, Sinha S and West R. (2020). Boomerang: Real-Time I/O Meets Legacy Systems 2020 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS). 10.1109/RTAS48715.2020.00013. 978-1-7281-5499-2. (390-402).

    https://ieeexplore.ieee.org/document/9113119/

  • Muttillo V, Tiberi L, Pomante L and Serri P. (2019). Benchmarking Analysis and Characterization of Hypervisors for Space Multicore Systems. Journal of Aerospace Information Systems. 10.2514/1.I010745. (1-12).

    https://arc.aiaa.org/doi/10.2514/1.I010745

  • Chai H, Zhang G, Sun J, Vajdi A, Hua J and Zhou J. (2019). A Review of Recent Techniques in Mixed-Criticality Systems. Journal of Circuits, Systems and Computers. 10.1142/S0218126619300071. 28:07. (1930007). Online publication date: 30-Jun-2019.

    https://www.worldscientific.com/doi/abs/10.1142/S0218126619300071

  • Lü C, Qian G and Chen T. (2019). A Cloud Computing Security Model Based on Noninterference. Wuhan University Journal of Natural Sciences. 10.1007/s11859-019-1385-7. 24:3. (194-200). Online publication date: 1-Jun-2019.

    http://link.springer.com/10.1007/s11859-019-1385-7

  • Pinto S, Araujo H, Oliveira D, Martins J and Tavares A. (2019). Virtualization on TrustZone-Enabled Microcontrollers? Voilà! 2019 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS). 10.1109/RTAS.2019.00032. 978-1-7281-0678-6. (293-304).

    https://ieeexplore.ieee.org/document/8743255/

  • Gadepalli P, Peach G, Parmer G, Espy J and Day Z. (2019). Chaos: a System for Criticality-Aware, Multi-Core Coordination 2019 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS). 10.1109/RTAS.2019.00015. 978-1-7281-0678-6. (77-89).

    https://ieeexplore.ieee.org/document/8743344/

  • Kloda T, Solieri M, Mancuso R, Capodieci N, Valente P and Bertogna M. (2019). Deterministic Memory Hierarchy and Virtualization for Modern Multi-Core Embedded Systems 2019 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS). 10.1109/RTAS.2019.00009. 978-1-7281-0678-6. (1-14).

    https://ieeexplore.ieee.org/document/8743272/

  • Golchin A, Cheng Z and West R. (2018). Tuned Pipes: End-to-End Throughput and Delay Guarantees for USB Devices 2018 IEEE Real-Time Systems Symposium (RTSS). 10.1109/RTSS.2018.00037. 978-1-5386-7908-1. (196-207).

    https://ieeexplore.ieee.org/document/8603213/

  • Missimer K and West R. (2018). Partitioned Real-Time NAND Flash Storage 2018 IEEE Real-Time Systems Symposium (RTSS). 10.1109/RTSS.2018.00036. 978-1-5386-7908-1. (185-195).

    https://ieeexplore.ieee.org/document/8603212/

  • Huang M and Liu Z. (2018). CBVMI: A container-based virtualization method for instruments. Measurement. 10.1016/j.measurement.2018.08.003. 130. (151-160). Online publication date: 1-Dec-2018.

    https://linkinghub.elsevier.com/retrieve/pii/S0263224118307395

  • Burns A and Davis R. (2017). A Survey of Research into Mixed Criticality Systems. ACM Computing Surveys. 50:6. (1-37). Online publication date: 30-Nov-2018.

    https://doi.org/10.1145/3131347

  • Cheng Z, West R and Einstein C. End-to-End Analysis and Design of a Drone Flight Controller. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 10.1109/TCAD.2018.2857399. 37:11. (2404-2415).

    https://ieeexplore.ieee.org/document/8412592/

  • Williams D, Koller R and Lum B. Say goodbye to virtualization for a safer cloud. Proceedings of the 10th USENIX Conference on Hot Topics in Cloud Computing. (20-20).

    /doi/10.5555/3277180.3277200

  • Modica P, Biondi A, Buttazzo G and Patel A. (2018). Supporting temporal and spatial isolation in a hypervisor for ARM multicore platforms 2018 IEEE International Conference on Industrial Technology (ICIT). 10.1109/ICIT.2018.8352429. 978-1-5090-5949-2. (1651-1657).

    https://ieeexplore.ieee.org/document/8352429/