Support for specifying temporal behavior in Ada designs

Authors:
R. J. A. Buhr;G. M. Karam;R. Casselman
Affiliations:
Dept. of Systems and Computer Eng., Carleton University, Ottawa, Ontario, Canada K1S 5B6;Dept. of Systems and Computer Eng., Carleton University, Ottawa, Ontario, Canada K1S 5B6;Dept. of Systems and Computer Eng., Carleton University, Ottawa, Ontario, Canada K1S 5B6
Venue:
SETA1 Proceedings of the first international symposium on Environments and tools for Ada
Year:
1991

Citing 7
Cited 1

System design with Ada

System design with Ada
Operation systems: advanced concepts

Operation systems: advanced concepts
Some Comments on "Transition-Oriented" Versus "Structured" Specification of Distributed Algorithms and Protocols

IEEE Transactions on Software Engineering
On visual formalisms

Communications of the ACM
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
Practical visual techniques in system design: with applications to Ada

Practical visual techniques in system design: with applications to Ada

TimeBench: a CAD tool for real-time system design

SETA2 Proceedings of the second international symposium on Environments and tools for Ada

Quantified Score

Hi-index	0.00

Visualization

Abstract

MachineCharts is a visual design notation that has both structural and temporal semantics. An Abstract Controller Machine (ACM) is an element of the notation that encapsulates the temporal behavior defined by a requirements entity and expresses it through an event/action interface. This interface is used by the design components to implement the communications semantics between entities that were present in the requirements model. To support the ACM concept as part of design, it has been integrated into TimeBench, a design environment targeted to support Ada software design and development.