CASDA: synthesized graphic design of real-time systems

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.<>