A model for a distributed OS automatic generation system

Authors:
Yanxiang He;Donald H. Cooley;Jianping Zhang
Affiliations:
Department of Computer science, Utah State University, Logan, UT;Department of Computer science, Utah State University, Logan, UT;Department of Computer science, Utah State University, Logan, UT
Venue:
ACM SIGOPS Operating Systems Review
Year:
1997

Citing 3
Cited 1

A knowledge-based operating system

The Computer Journal
Automatic Derivation of Formal Software Specifications from Informal Descriptions

IEEE Transactions on Software Engineering
Distributed Operating Systems: Concepts and Design

Distributed Operating Systems: Concepts and Design

Semantics subsystem in distributed OS formalization generating system

ACM SIGOPS Operating Systems Review

Quantified Score

Hi-index	0.00

Visualization

Abstract

While much work has been done in distributed operating system development, problems exist and much work is still to be done. To address some of the issues and problems associated with distributed operating systems the authors present a Model for a Distributed OS Automatic Generating System (DOSAGS), which is characterized by intelligence, integration and plasticity. The system structure, functions, work principles and key issues in the implementation of DOSAGS are presented in this paper. The authors believe that the distributed OS generated by DOSAGS represents a new generation of distributed Operating systems.