This Article 
 Bibliographic References 
 Add to: 
Systems Design: CASDA: Synthesized Graphic Design of Real-Time Systems
January/February 1989 (vol. 9 no. 1)
pp. 40-46

The possibilities of enhancing synthesized graphic design approaches so one can design progressively step by step: the initial state diagram, the dataflow analysis, then the task decomposition, the precise real-time control flow description, and finally the design of the dedicated operating system are discussed. The enhancements added are: the diagrams are simple but allow a precise definition of the synchronization between tasks; the diagrams are based on a well-known theory facilitating the analysis of their correctness; the procedure for passing from one step to another is simple and clear; and all the design and its enhancements can be computerized. The resulting CAD/CAM system is called CASDA.

1. T. DeMarco,Structured Analysis and System Specification, Yourdon Press, New York, 1978.
2. H.R. Simpson and K.L. Jackson "MASCOT,"Computer J., Vol. 22, No. 4, Apr. 1979, p. 3.
3. G.W. Cherry,Parallel Programming in Ada, Prentice-Hall, Englewood Cliffs, N.J., 1984.
4. R. J. A. Buhr,System Design with Ada. Englewood Cliffs, NJ: Prentice-Hall, 1984.
5. J. L. Peterson, "Petri nets,"ACM Comput. Surveys, vol. 9, no. 3, pp. 223-252, Sept. 1977.
6. H.G. Mendelbaum et al., "Petrobot: A Petri-Graph Editor/Interpreter/Executor for Robot Control,"Proc. 7th Israeli Conf. CAD/CAM and Robotics, ITIM, Tel Aviv, 1985, p. 4.2.1.
7. D. Harel, "Statecharts," Rpt. of the Applied Maths Dept., Weizmann Inst., Rehovot, Israel, 1984.
8. H. Gomaa, "A software design method for real-time systems,"Commun. ACM, vol. 27, no. 9, pp. 938-949, Sept. 1984.
9. P. T. Ward, "The transformation schema: An extension of the data flow diagram to represent control and timing,"IEEE Trans. Software Eng., vol. SE-12, no. 2, pp. 198-210, Feb. 1986.
10. K.W. Nielsen and K. Shumate, "Designing Large Real-Time Systems with Ada,"CACM, Vol. 30, No. 8, Aug. 1987, pp. 695-715.
11. M. Adler, "An Algebra of DFD Process Decomposition,"IEEE Trans. Software Engineering, Vol. 14, No. 2, Feb. 1988, pp. 169-183.
12. CASDAUser Guide, IDO-JCT, POB 16031, Jerusalem, 1987.
13. S.M. White and J.Z. Lavi, "Embedded Computer System Requirements,"Computer, Vol. 18., No. 4, Apr. 1985, pp. 67-70.
14. H.G. Mendelbaum, "PERISCAD: Introduction to a CAD Object-Oriented Method for the Development of Real-Time Embedded Systems,"Proc. IEEE Israeli Conf. Software Engineering, CS Press, Los Alamitos, Calif., also available from ILA, Tel Aviv, 1986.
15. E. W. Dijkstra, "Guarded commands, nondeterminacy and formal derivation of programs,"Commun. ACM, vol. 18, no. 8, pp. 453- 457, 1975.
16. C. A. R. Hoare, "Communicating sequential processes,"Commun. ACM, vol. 21, pp. 666-677, 1978.
17. H. Gomaa, "Software development for real-time systems,"Commun. ACM, vol. 29, no. 7, 1986.

H.G. Mendelbaum, D. Finkelman, "Systems Design: CASDA: Synthesized Graphic Design of Real-Time Systems," IEEE Computer Graphics and Applications, vol. 9, no. 1, pp. 40-46, Jan.-Feb. 1989, doi:10.1109/38.20332
Usage of this product signifies your acceptance of the Terms of Use.