This paper provides an overview of TimeBench, a prototype CAD tool for designing real-time systems, as well as some experiences gained through building and using it. TimeBench aims to support a true engineering design process for realtime systems in a largely graphical working environment. The environment includes support for design synthesis, analysis, and system generation, with equal emphasis on the design of operational structure and the design of temporal behavior. Its main features include: (1) a hybrid graphical-textual design description notation (MachineCharts, Abstract Controller Machines, and MachineChart Language), (2) design experimentation through an embedded interpreter and behavior visualization tools to animate designs. (3) further design evaluation through a performance modelling tool based on fast approximate analytic methods, and (4) a code generation system than can be tailored to produce code for a desired environment.

Additional Metadata
Persistent URL dx.doi.org/10.1145/199189.192845
Conference 2nd International Symposium on Environments and Tools for Ada, SETA 1992
Citation
Buhr, R.J.A. (R. J.A.), Karam, G.M. (G. M.), Woodside, C.M, Casselman, R. (R.), Franks, G, Scott, H. (H.), & Bailey, D. (1994). Timebench: A CAD tool for real-time system design. In Proceedings of the 2nd International Symposium on Environments and Tools for Ada, SETA 1992 (pp. 3–15). doi:10.1145/199189.192845