All application digital computer operating system design and specification
Johns, Vernon Michael
Raetz, Gary M.
MetadataShow full item record
This paper discusses the design and specification of a general purpose operating system for the proposed All Application Digital Computer. The objective is to develop a system which is relatively hardware independent, adaptable, comprehensive, maintainable and functional in a multiprocessing, multiprogramming environment. The operating system model is defined by using the techniques of Structured Programming, Decision Hiding, and Multi-Level Hierarchical Ordering. An initial set of functional requirements and system constraints are postulated from which additional functions are defined and assigned to modules for further specification. The modules are grouped into two classes; system processes which provide services to applications pro-' grams such as input/output operations, and primitives which allow for the dynamic creation and control of processes as well as the interprocess communications. Finally, formal parameter specifications are developed which identify the module interfaces, functions, and proposed implementation.
Approved for public release; distribution is unlimited
Showing items related by title, author, creator and subject.
Kloepping, Gary R.; Mack, John F. (1985-06);Traditionally, the design and implementation o-f a conventional database system begins with the choice o-f a data model followed by the specification of a model -based data language. Thus, the database system is restricted ...
Benson, Timothy P.; Wentz, Gary L. (Monterey, California; Naval Postgraduate School, 1985-06);Traditionally, the design and implementation of a conventional database system begins with the choice of a data model followed by the specification of a model-based data language. thus, the database system is restricted ...
Phelps, David; Levin, Timothy E.; Auguston, Mikhail (International Conference on i-Warfare and Security, 2008-06-01);We describe the specification of the formal security policy model and formal top-level specification for the Least Privilege Separation Kernel (LPSK) in Alloy, a relatively new modelling language and analysis tool. The ...