A visual toolset for the design of real-time discrete-event systems

  title={A visual toolset for the design of real-time discrete-event systems},
  author={Jonathan S. Ostroff},
  journal={IEEE Trans. Contr. Sys. Techn.},
StateTime is a prototype toolset that supports the design of verified real-time discrete event systems using executable visual state descriptions (the Build tool). Visual state descriptions allow the designer to browse and understand the structure of the system. A timing hierarchy of spontaneous, just and forced timed events, and a variety of computational notions such as concurrency, hierarchy, nondeterminism, process interaction and communication can be represented. The combination of model… CONTINUE READING
Highly Cited
This paper has 59 citations. REVIEW CITATIONS


Publications citing this paper.
Showing 1-10 of 23 extracted citations

Composition and Refinement of Discrte Real-Time Systems

ACM Trans. Softw. Eng. Methodol. • 1999
View 31 Excerpts
Method Support
Highly Influenced

A Formal Specification and Verification Framework for Designing and Verifying Reliable and Dependable Software for Computerized Numerical Control (CNC) Systems

2008 The 28th International Conference on Distributed Computing Systems • 2008
View 4 Excerpts
Method Support
Highly Influenced

59 Citations

Citations per Year
Semantic Scholar estimates that this publication has 59 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-10 of 47 references

STeP: The Stanford Temporal Prover

TAPSOFT • 1995
View 22 Excerpts
Highly Influenced

Design and Validation of Protocols: A Tutorial

Computer Networks and ISDN Systems • 1993
View 6 Excerpts
Highly Influenced

Statemate: a working Environment for the De v lopment of Complex Reacti ve Systems.

D. Harel, H. Lacho ver, +4 authors M. Trachtenbrot
IEEE Transactions on Software Engineering • 1990
View 14 Excerpts
Highly Influenced

The Temporal Logic of Reactive and Concurrent Systems

Springer New York • 1992
View 10 Excerpts
Highly Influenced

Timing Analysis with Cospan.

R. Alur, R. P. Kurshan
View 6 Excerpts
Highly Influenced

Deciding Properties of Timed Transition Models

IEEE Trans. Parallel Distrib. Syst. • 1990
View 4 Excerpts
Highly Influenced

The Design of Real-Time Systems Using Standard Untimed Theories

J. S. Ostroff, H. K. Ng
Preprints Third AMAST Workshop on Real-Time Systems • 1996
View 2 Excerpts

The SL Synchronous Language

IEEE Trans. Software Eng. • 1996
View 1 Excerpt