A Systematic Approach to Designing Complex Systems. An Application to Software Operating Systems,

摘要

This document reports additional experience gained in the use of the system design methodology being developed in this project. The target system under study here is the software for a small computer operating system. Requirement specification statements are developed from published descriptions of the purpose and approach underlying the operating system. Interrelationships between requirements are developed according to the guidelines specified in the earlier research efforts. The decomposition methodology is then applied to the graph representation of the design problem, design subproblems and their interrelationships are analyzed. Finally, the results of the design generated using the formal methodology are compared to the actual operating system. Insights and experiences gained in the use of the design methodology, are discussed throughout. (Author)