TimeBench: a CAD tool for real-time system design

Authors:
R. J. A. Buhr;G. M. Karam;C. M. Woodside;R. Casselman;G. Franks;H. Scott;D. Bailey
Affiliations:
Real-Time and Distributed Systems Group, Dept. of Systems and Computer Eng., Carleton Univ., Ottawa, Ontario, CANADA,K1S 5B6;Real-Time and Distributed Systems Group, Dept. of Systems and Computer Eng., Carleton Univ., Ottawa, Ontario, CANADA,K1S 5B6;Real-Time and Distributed Systems Group, Dept. of Systems and Computer Eng., Carleton Univ., Ottawa, Ontario, CANADA,K1S 5B6;Real-Time and Distributed Systems Group, Dept. of Systems and Computer Eng., Carleton Univ., Ottawa, Ontario, CANADA,K1S 5B6;Real-Time and Distributed Systems Group, Dept. of Systems and Computer Eng., Carleton Univ., Ottawa, Ontario, CANADA,K1S 5B6;Real-Time and Distributed Systems Group, Dept. of Systems and Computer Eng., Carleton Univ., Ottawa, Ontario, CANADA,K1S 5B6;Real-Time and Distributed Systems Group, Dept. of Systems and Computer Eng., Carleton Univ., Ottawa, Ontario, CANADA,K1S 5B6
Venue:
SETA2 Proceedings of the second international symposium on Environments and tools for Ada
Year:
1994

Citing 12
Cited 4

System design with Ada

System design with Ada
PECAN: Program Development Systems that Support Multiple Views

IEEE Transactions on Software Engineering
Programming with sets; an introduction to SETL

Programming with sets; an introduction to SETL
Modeling of Concurrent Task Execution in a Distributed System for Real-Time Control

IEEE Transactions on Computers
Statemate: a working environment for the development of complex reactive systems

ICSE '88 Proceedings of the 10th international conference on Software engineering
Software CAD: A Revolutionary Approach

IEEE Transactions on Software Engineering
Throughput calculation for basic stochastic rendezvous networks

Performance Evaluation
Practical visual techniques in system design: with applications to Ada

Practical visual techniques in system design: with applications to Ada
Support for specifying temporal behavior in Ada designs

SETA1 Proceedings of the first international symposium on Environments and tools for Ada
The CAEDE performance analysis tool

SETA1 Proceedings of the first international symposium on Environments and tools for Ada
Performance Engineering of Software Systems

Performance Engineering of Software Systems
Principles of Visual Programming Systems

Principles of Visual Programming Systems

Architectures with pictures

OOPSLA '92 conference proceedings on Object-oriented programming systems, languages, and applications
Visualization using timelines

ISSTA '94 Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis
A Cataloging Framework for Software Development Methods

Computer
A Three-View Model for Performance Engineering of Concurrent Software

IEEE Transactions on Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

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 real-time 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 analystic methods, and (4) a code generation system than can be tailored to produce code for a desired environment.