KSOS Standards and Procedures for Programs and Formal Specifications. (Kernelized Secure Operating System)

摘要

A number of guidelines have been established for KSOS development. They have provided a philosophical and conceptual framework for the KSOS program. By furnishing general guidelines, rather than a morass of rules to be slavishly obeyed, the pitfalls of over-structuring and repression of creative thought were avoided. Thus a workable level of uniformity of the development environment was achieved with tolerable overhead. Such uniformity contributes significantly to efficiency of the development process, and to reliability and maintainability of the product. Standards for KSOS are categorized as follows: operational standards, language style, documentation, and testing. Specific KSOS standards are given here as appendices containing the various documents defining the standards.