SARA (System ARchitects Apprentice): Modeling, analysis, and simulation support for design of concurrent systems
An environment to support designers in the modeling, analysis and simulation of concurrent systems is described. It is shown how a fully nested structure model supports multilevel design and focuses attention on the interfaces between the modules which serve to encapsulate behavior. Using simple examples the paper indicates how a formal graph model can be used to model behavior in three domains: control flow, data flow, and interpretation. The effectiveness of the explicity environment model in SARA is discussed and the capability to analyze correctness and evaluate performance of a system model are demonstrated. A description of the integral help designed into SARA shows how the designer can be offered consistent use of any new tool introduced to support the design process.
- Research Organization:
- Dept. of Computer Science, Univ. of California, Los Angeles, CA 90024
- DOE Contract Number:
- AA03-76SF00034
- OSTI ID:
- 5792724
- Journal Information:
- IEEE Trans. Software Eng.; (United States), Journal Name: IEEE Trans. Software Eng.; (United States) Vol. SE-12:2; ISSN IESED
- Country of Publication:
- United States
- Language:
- English
Similar Records
Concurrent software system design supported by SARA at the age of one
Methodology for design of digital systems: supported by SARA at the age of one