A Prototyping Environment for Specifying, Executing and Checking Communicating Real-Time State Machines

@article{Raju1994APE,
  title={A Prototyping Environment for Specifying, Executing and Checking Communicating Real-Time State Machines},
  author={Sitaram C. V. Raju and Alan C. Shaw},
  journal={Softw., Pract. Exper.},
  year={1994},
  volume={24},
  pages={175-195}
}
We describe a toolset, consisting of a graphical editor, a simulator, and an assertion checker, for prototyping distributed real-time systems that are speci ed as Communicating Real-time State Machines (CRSMs). CRSMs are timed state machines that communicate synchronously over uni-directional channels. The system behavior of CRSMs is characterized by a time-stamped trace of communication events. Safety and timing assertions on the trace of communication events are expressed in a notation based… CONTINUE READING

Citations

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

References

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

ROOM: An Object-Oriented Methodology for Developing Real-time Systems

  • B. Selic
  • Proc. International Workshop on Computer-Aided…
  • 1992
1 Excerpt

Xsim 2.0 User's Guide

  • G. Thomas
  • Dept. of Computer Science and Eng., University of…
  • 1990
2 Excerpts

Similar Papers

Loading similar papers…