Requirements definition and its interface to the SARA design methodology for computer-based systems

ABSTRACT

This paper presents results of efforts during 1979--1981 to integrate and enhance the work of the System ARchitects Apprentice (SARA) Project at UCLA and the Information System Design Optimization System (ISDOS) Project at the University of Michigan. While expressing a need for a requirements definition subsystem, SARA had no appropriate requirements definition language, no defined set of requirements analysis techniques or tools, and no procedures to form a more cohesive methodology for linking computer system requirements to the ensuing design. Research has been performed to fill this requirements subsystem gap, using concepts derived from the ISDOS project as a basis for departure.

REFERENCES

• 1: D. T. Ross , K. E. Schoman, Structured Analysis for Requirements Definition, IEEE Transactions on Software Engineering, v.3 n.1, p.6-15, January 1977 [doi>10.1109/TSE.1977.229899]
• 2: Alford, M. W. "Requirements for Distributed Data Processing." Proceedings of First International Conference on Distributed Data Processing, IEEE, 1979.
• 3: Alford, M. W. "Software Requirements Engineering Methodology (SREM) at the Age of Two." COMPSAC 78 Proceedings, November, 1978.
• 4: R. R. Willis, DAS - an automated system to support design analysis, Proceedings of the 3rd international conference on Software engineering, p.109-115, May 10-12, 1978, Atlanta, Georgia, United States
• 5: Alford, M. W., and I. F. Burns. "R-nets: A Graph Model for Real-time Software Requirements." In Proc. Symp. On Comput. Software Eng., MRI Symp. Ser., Vol. XXIV, Polytechnic Press, Brooklyn, NY.
• 6: W. E. Riddle , J. C. Wileden , J. H. Sayler , A. R. Segal , A. M. Stavely, Behavior Modeling During Software Design, IEEE Transactions on Software Engineering, v.4 n.4, p.283-292, July 1978 [doi>10.1109/TSE.1978.231513]
• 7: Pamela Zave , Raymond T. Yeh, Executable requirements for embedded systems, Proceedings of the 5th international conference on Software engineering, p.295-304, March 09-12, 1981, San Diego, California, United States
• 8: K. L. Heninger, Specifying Software Requirements for Complex Systems: New Techniques and Their Application, IEEE Transactions on Software Engineering, v.6 n.1, p.2-13, January 1980 [doi>10.1109/TSE.1980.230208]
• 9: D. Teichroew , E. A. Hershey, PSL/PSA: A Computer-Aided Technique for Structured Documentation and Analysis of Information Processing Systems, IEEE Transactions on Software Engineering, v.3 n.1, p.41-48, January 1977 [doi>10.1109/TSE.1977.229902]
• 10: Robert Irving Gardner, Jr., A methodology for digital system design based on structural and functional modeling., University of California, Los Angeles, 1974
• 11: Gerald Estrin, Modeling for synthesis - the gap between intent and behavior, Proceedings of the Symposium on Design Automation and Microprocessors, p.54-59, February 24-25, 1977
• 12: Estrin, G. "A Methodology for Design of Digital Systems---Supported by SARA at the Age of One." Proceedings of the National Computer Conference, Anaheim, California, June 1978.
• 13: Winchester, J. W. "Requirements Definition and Its Interface to the SARA Design Methodology for Computer-Based Systems." UCLA Technical Report, UCLA-ENG-8092, January, 1981.
• 14: Rami R. Razouk , Mary Vernon , Gerald Estrin, Evaluation methods in SARA—the graph model simulator, Proceedings of the 1979 ACM SIGMETRICS conference on Simulation, measurement and modeling of computer systems, p.189-206, August 13-15, 1979, Boulder, Colorado, United States
• 15: Razouk, R. R. "Computer-Aided Design and Evaluation of Digital Computer Systems." UCLA Technical Report, UCLA-ENG-8055, February 1981.
• 16: Penedo, M. H. "The Use of a Module Interface Description in the Synthesis of Reliable Software Systems." UCLA Technical Report, UCLA-ENG-8091, January 1981.
• 17: Vernon, M., D. Patel, and G. Estrin. "A SARA Building Block Model: Am2909 Microprogram Sequencer." UCLA Internal Memorandum #210, October 1981.
• 18: Campos, I. M., and G. Estrin. "SARA Aided Design of Software for Concurrent Systems." Proceedings of the National Computer Conference, Anaheim, California, June 1978.
• 19: R. R. Razouk , G. Estrin, Modeling and Verification of Communication Protocols in Sara: The X.21 Interface, IEEE Transactions on Computers, v.29 n.12, p.1038-1052, December 1980 [doi>10.1109/TC.1980.1675509]
• 20: Teichroew, D. "Overview of the META System." ISDOS Research Project, Department of Industrial and Operations Engineering, University of Michigan, Ann Arbor, Michigan, ISDOS Project META-1 Memorandum, May 1977.