MetaCartSign in to MyCiteSeer

Include Citations | Advanced Search | Help

Include Citations | Advanced Search | Help

  A prototyping environment for specifying, executing and checking Communicating Real-Time State machines (1994) [18 citations — 4 self]

Download:
pdf | ps
by Sitaram C. V. Raju, Alan C. Shaw
Software-Practice and Experience
ftp://ftp.cs.washington.edu/tr/1992/10/UW-CSE-92-10-03.PS.Z
Add To MetaCart

Abstract:

We describe a toolset, consisting of a graphical editor, a simulator, and an assertion checker, for prototyping distributed real-time systems that are specified 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 on Real-Time Logic. We illustrate the novel aspects of the simulator and assertion checker by specifying a traffic-light controller and other real-time systems. 1

Citations

2678 Communicating Sequential Processes – Hoare - 1985
1713 Statecharts: A visual formalism for complex systems – Harel - 1987
354 Statemate: A working environment for the development of complex reactive systems – Harel - 1990
215 Safety Analysis of Timing Properties in Real-Time Systems – Jahanian, Mok - 1986
53 Using Statecharts for hardware description and synthesis – Drusinsky, Harel - 1989
47 Communicating Real-Time State Machines – Shaw - 1992
45 An Operational Approach to Requirements Specification for Embedded Systems – Zave - 1982
38 et al. STATEMATE: a working environment for the development of complex reactive systems – Harel - 1990
34 Run-time monitoring of real-time systems – Chodrow, Jahanian, et al. - 1991
30 Time bounds for real-time process control in the presence of timing uncertainty – Attiya, Lynch - 1989
29 Runtime monitoring of timing constraints in distributed real-time systems – RAJU, RAJKUMAR, et al. - 1994
19 Multilevel specification of real-time systems – Gabrielian, Franklin - 1991
17 A formalism for monitoring real-time constraints at run-time – Jahanian, Goyal - 1990
15 A prototyping language for real-time software – Luqi, Yeh - 1988
8 The X Toolkit: More Bricks for Building User-Interfaces or Widgets for Hire – Swick, Ackerman - 1988
6 An automatic verification technique for Communicating Real-Time State Machines – Raju - 1993
5 Clairvoyance, capricious timing faults, causality, and real-time specifications – Stuart, Clements - 1991
3 et al. "ROOM: An Object-Oriented Methodology for Developing Real-Time Systems – Selic - 1992
2 et al., ‘ROOM: an object-oriented methodology for developing real-time systems – Selic - 1992
2 The theory of timed automata’, Real-Time: Theory – Alur, Dill - 1991
1 Xsim 2.0 User’s Guide – Thomas - 1990
View or Download | Add to My Collection | Correct Errors