A Systematic Approach to Designing Complex Systems. An Application to Software Operating Systems,
Abstract
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)
Document Details
- Document Type
- Technical Report
- Publication Date
- Jun 01, 1978
- Accession Number
- ADA055481
Entities
People
- Timothy A. Holden