Formal Model of Classic Operating System Kernel

Sheng Wen Gong

doi:10.4028/www.scientific.net/AMR.748.1020

Paper Titles

A Research on Real-Time Hand-Detection Technology Oriented to the Somatic Games
p.999

A Simple Multi-Models Rendering Framework - PM-OCMMRF
p.1003

Based on Time-Delay and Bandwidth Relay Selection Algorithm for Radio and Television Services
p.1009

System Design Considerations for Satellite Communications on the Move
p.1015

Formal Model of Classic Operating System Kernel
p.1020

An Identity on Resistance Distances
p.1024

Simulation for View Selection in Data Warehouse
p.1028

Design of a Savant Subsystem of EPC and Implementation on Intelligence Characteristics of a Savant Based on Agent
p.1033

Lessons Learned from Design and Development of Military Scenario Definition Language Scenario Editing Toolset
p.1041

HomeAdvanced Materials ResearchAdvanced Materials Research Vol. 748Formal Model of Classic Operating System Kernel

Formal Model of Classic Operating System Kernel

Abstract:

In this paper we describe a model of a classic operating system kernel. We start out with an overview of the main components of the kernel and then present an exact definition of each of these components.

You might also be interested in these eBooks

Material and Manufacturing Technology IV

View Preview

Info:

Periodical:

Advanced Materials Research (Volume 748)

Pages:

1020-1023

DOI:

https://doi.org/10.4028/www.scientific.net/AMR.748.1020

Citation:

Cite this paper

Online since:

August 2013

Authors:

Sheng Wen Gong

Keywords:

Formal Model, Formal Specification, Operating System, State Space

Export:

RIS, BibTeX

Price:

Permissions CCC:

Request Permissions

Permissions PLS:

Request Permissions

Сopyright:

Citation:

References

[1] Elphinstone, Kevin. Future Directions in the Evolution of the L4 Microkernel. Proc. of NICTA OS Verification Worksho. NICTA, Canberra, Australia, 2004.

Google Scholar

[2] William R. Bevier, Richard Cohen, and Jeff Turner. A specification for the Synergy file system. Technical Report 120. Computational Logic Inc., 1995.

Google Scholar

[3] Hermann Hartig, Michael Hohmuth, Norman Feske, Christian Helmuth, Adam Lackorzynski, Frank Mehnert, and Michael Peter. The Nizza secure-system architecture. Proc. of the 1st International Conference on Collaborative Computing: Networking, Applications and Worksharing. 2005.

DOI: 10.1109/colcom.2005.1651218

Google Scholar

[4] Michael Hohmuth, Hendrik Tews, and Shane G. Stephens. Applying source-code verification to a microkernel: the VFiasco project. Proc. of the 10th workshop on ACM SIGOPS European workshop. ACM, 2002, pp.165-169.

DOI: 10.1145/1133373.1133405

Google Scholar

[5] J. Strother Moore. A grand challenge proposal for formal methods: A verified stack. Proc. of the 10th Anniversary Colloquium of UNU/IIST. 2002, pp.161-172.

Google Scholar