Paper Info
Title
Implementation of compositional scheduling framework on virtualization
Abstract
Virtualization has been receiving increasing attention in embedded real-time systems. However, real-time systems, whose correctness depends on timing requirements, are not easily applicable to virtualization since virtualization mainly focuses on functional correctness. A hierarchical scheduling framework (HSF) provides a method of composing the complex timing requirements of real-time systems. There have been several works on the implementation of the HSF. Although the scheduling framework of virtualization directly corresponds to the HSF, they did not consider implementing the HSF on virtualization. In this paper, we implement a two-level HSF, where components use a periodic interface model using virtualization. We use an L4/Fiasco micro-kernel as a virtual machine monitor (VMM) and an L4Linux as a virtual machine (VM) and extend these to support real-time properties. The experimental results show that the HSF is suitable for the virtualization environment.
Year
DOI
Venue
2011
10.1145/1967021.1967025
SIGBED Review
Keywords
Field
DocType
real-time scheduling,functional correctness,complex timing requirement,timing requirement,compositional real-time guarantees,embedded real-time system,virtualization,hierarchical scheduling framework,scheduling framework,real-time property,virtualization environment,compositional scheduling framework,real-time system,two-level hsf,virtual environment,virtual machine,real time systems,real time,virtual machine monitor
Virtualization,Virtual machine,Hardware virtualization,Computer science,Hypervisor,Real-time computing,Full virtualization,Application virtualization,Data virtualization,Operating system,Thin provisioning,Distributed computing
Journal
Volume
Issue
Citations 
8
1
18
PageRank 
References 
Authors
0.73
11
5
Name
Order
Citations
PageRank
Jungwoo Yang1181.07
HyungSeok Kim211622.09
Sangwon Park366339.89
Changki Hong4201.78
Insik Shin5120864.24