A. N. Habermann
Abstract
This paper describes the design philosophy used in the construction of a family of operating systems. It is shown that the concepts of module and level do not coincide in a hierarchy of functions. Family members can share much software as a result of the implementation of run-time modules at the lowest system level.
- 1 Dijkstra, E.W. The structure of the "THE"-multiprogramming system. Comm. ACM 11, 5 (May 1968), 341-346. Google Scholar
Digital Library
- 2 Flon, L. Program design with abstract data types. Dep. of Computer Sci., Carnegie-Mellon U., Pittsburgh, Pa., June 1975.Google Scholar
- 3 Habermann, A.N. Integrated design. SIGPLAN Notices (ACM Newsletter) 8, 9 (Sep. 1973), 64-66. Google ScholarDigital Library
- 4 Liskov, B. The design of the VENUS operating system. Comm. ACM 15, 3 (Mar. 1972), 144-149. Google ScholarDigital Library
- 5 Neumann, P.G., et al. On the design of a provably secure operating system. Proc. IRIA Workshop on Protection in Operating Systems, Paris 1974.Google Scholar
- 6 Parnas, D.L. On a "buzzword": hierarchical structure. Proc. IFIPS Cong. 74, Stockholm. North-Holland Pub. Co., Amsterdam, 1974.Google Scholar
- 7 Parnas, D.L. On the criteria to be used in decomposing systems into modules, Comm. ACM 15, 12 (Dec. 1972), 1053-1058. Google ScholarDigital Library
- 8 Parnas, D.L., and Siewiorek, D.P. Use of the concept of transparency in the design of hierarchically structured systems. Dep. of Computer Sci., Carnegie-Mellon U., Pittsburgh, Pa. (Sep. 1972).Google Scholar
- 9 Price, W.R. Implications of a virtual memory mechanism for implementing protection in a family of operating systems. Ph.D. Th., Dep. of Computer Sci., Carnegie-Mellon U., Pittsburgh, Pa., June 1973. Google ScholarDigital Library
Recommendations
Self-Repairing Algorithm of Lattice-Type Self-Reconfigurable Modular Robots
Self-reconfigurable modular robots consist of many identical modules. By changing the connections among modules, the configuration of the robot can be transformed into other configurations. For the self-reconfigurable modular robot, one of its main ...
Safety Properties In Petri Net Modules
This paper introduces safety properties in the temporal logic sense (as defined in (Manna and Pnueli, 1995)) to Petri net modules. Petri net modules (Padberg, 2001, Padberg, 2002) have been achieved by a transfer of algebraic specification modules to ...
A modularized personal robot DRP I: design and implementation
In this paper, we investigate comprehensive issues of modularized robot systems and present architecture for effective development of personal robots. The proposed architecture includes the interface and interaction methodology of the hardware modules ...
Comments