Title
A timeliness-guaranteed kernel model-DREAM kernel-and implementation techniques
Abstract
An essential building-block for construction of future real-time computer systems (RTCS's) is a timeliness-guaranteed operating system. The first co-author recently formulated a model of an operating system kernel which can support both real-time processes and new-style real-time objects with guaranteed timely services. The model has been named the DREAM kernel. The key emphasis in formulating the DREAM kernel was in realization of guaranteed timely service capabilities with minimal loss of hardware utilization. This paper presents a summary of the main structuring principles that were exploited to realize guaranteed timely service capabilities together with modularity and expandability in the DREAM kernel. A prototype implementation of the DREAM kernel, v.D2, has been produced by the authors to run on a network of PC's connected by an Ethernet. Several implementation techniques that were adopted during the course of this prototype implementation and may be applicable to other real-time kernel development environments, are briefly discussed in this paper. The prototype kernel (v.D2) has been used to run a real-time object structured non-trivial defense C3 application together with a real-time simulator of the application environment.
Year
DOI
Venue
1995
10.1109/RTCSA.1995.528755
RTCSA
Keywords
Field
DocType
operating system,hardware,application software,modularity,concurrent computing,computer applications,operating systems,kernel,real time,development environment,real time systems,real time computing,prototypes,distributed computing,real time processing
Kernel (linear algebra),sysfs,Computer science,Real-time computing,Dream,Ethernet,Operating system kernel,Structuring,Modularity,Distributed computing
Conference
ISBN
Citations 
PageRank 
0-8186-7106-8
20
1.99
References 
Authors
13
7
Name
Order
Citations
PageRank
K. H. (Kane) Kim161162.19
Luiz F. Bacellar28210.26
Yuseok Kim3769.05
Chittur Subbaraman41008.70
Hankil Yoon5201.99
Jung-Guk Kim67812.40
Kee-Wook Rim715424.20