This dissertation presents a new method for validating system interface requirements. The requirements are validated by modeling and simulation as requirements develop. Any of the models of computation presented in Chapter 5 can be considered expressions of requirements. System interface requirements are validated and then decomposed into interface subsystems. In addition to its emphasis on interfaces between components and its partitioning ability, the method presented has the following advantages over other design and analysis techniques: (1) It lays the foundation of interfaces as the primary emphasis of requirements; thus, categorizing the objects to be developed for any design. (2). The method validates the system interface requirements by modeling and simulating them, providing feedback at the architectural and requirements levels. (3) It permits the partitioning of a system into subsystem components utilizing: (a) the Minimum Capacity Utilization Problem algorithm with unit flows on the edges; and (b) knowledge about the subsystems. |