Operating system principles
The use of a Module Interconnection Language in the SARA system design methodology
ICSE '79 Proceedings of the 4th international conference on Software engineering
Concurrent software system design supported by SARA at the age of one
ICSE '78 Proceedings of the 3rd international conference on Software engineering
Evaluation methods in SARA—the graph model simulator
SIGMETRICS '79 Proceedings of the 1979 ACM SIGMETRICS conference on Simulation, measurement and modeling of computer systems
The graph model of behavior simulator
Proceedings of the Symposium on Design Automation and Microprocessors
Predicate path expressions: a high-level synchronization mechanism
Predicate path expressions: a high-level synchronization mechanism
Computer-aided design and evaluation of digital computer systems
Computer-aided design and evaluation of digital computer systems
The use of a module interface description in the synthesis of reliable software systems
The use of a module interface description in the synthesis of reliable software systems
An introduction to the DREAM software design system
ACM SIGSOFT Software Engineering Notes
CSC '85 Proceedings of the 1985 ACM thirteenth annual conference on Computer Science
| Hi-index | 0.00 |
Computers are increasingly being used in engineering systems which could utilize a multiplicity of processors. Computer aided design methods are needed to support the design of inherently complex concurrent software. UCLA's SARA (System ARchitects Apprentice) is a design environment which provides computer aid to both hardware and software design of concurrent systems. This paper focusses on an improved capability to aid software design. This capability is provided by defining a Module Interface Description (MID), which allows designers to deal with the structure of code, and effecting a mapping between SARA models and MID-models. It then becomes clear how to create a tool to accept these descriptions and perform various checks on the consistency and completeness of the modeling and implementation descriptions. The addition of this capability reduces the gap between the modeling and realization of systems by providing for automatic generation of code skeletons.