Temporal isolation assessment in virtualized safety-critical mixed-criticality systems: A case study on Xen hypervisor (bibtex)

by Marcello Cinque, Luigi De Simone and Daniele Ottaviano

Reference:

Temporal isolation assessment in virtualized safety-critical mixed-criticality systems: A case study on Xen hypervisor (Marcello Cinque, Luigi De Simone and Daniele Ottaviano), In Elsevier Journal of Systems and Software (JSS), 2024.

Bibtex Entry:

@article{CINQUE2024112147,
	title = {Temporal isolation assessment in virtualized safety-critical mixed-criticality systems: A case study on Xen hypervisor},
	journal = {Elsevier Journal of Systems and Software (JSS)},
	pages = {112147},
	year = {2024},
	doi = {10.1016/j.jss.2024.112147},
        ack = {EUROfusion, MOST},
	url = {https://www.sciencedirect.com/science/article/pii/S0164121224001924},
	author = {Marcello Cinque and Luigi {De Simone} and Daniele Ottaviano},
}