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.

dx.doi.org/10.1145/199189.192845
2nd International Symposium on Environments and Tools for Ada, SETA 1992
Department of Systems and Computer Engineering

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