Specialization of SARA for software synthesis

Conference · Sat Jan 01 04:00:00 EST 1977

OSTI ID:7303687

Campos, I M; Estrin, G

The SARA system was developed to permit topdown design without necessarily prespecifying that implementation would be done in software or hardware. It was felt very important to give the designer freedom to make that decision at a late stage and therefore select the appropriate place for the hardware--software interface. However, the synthesis methodology does not force the designer to hide an intention to use particular devices or particular software systems. Moreover, the area in greatest need of design assistance is programing where a language and associated virtual or real machine would already have been selected. Hence the question was raised, ''What specialization of SARA would be important for the synthesis of software systems.'' This paper discusses models of software systems under two very different conditions. In one, it is known that the design of a program for a sequential PL/I processor raises no synchronization issues to be managed by explicit flow-of-control models. Using a simple classical example, the paper shows that it is possible to describe a multilevel model, using SARA, which goes smoothly from programing-in-the-large to programing-in-the-small or actual code. In a second simple case synchronization issues are vital, and it is important to keep a token machine explicitly in the model. 11 figures.

• Research Organization: California Univ., Los Angeles (USA). Dept. of Computer Science
• OSTI ID: 7303687
• Report Number(s): UCLA-34P214-37; CONF-770211-5
• Country of Publication: United States
• Language: English

Related Subjects

99 GENERAL AND MISCELLANEOUS
990200* -- Mathematics & Computers
DESIGN
MATHEMATICAL MODELS
MICROPROCESSORS
PROGRAMMING