A Synchronous Paradigm for Modeling Stable Reactive Systems

  title={A Synchronous Paradigm for Modeling Stable Reactive Systems},
  author={Victor L. Winter},
CEIVED This paper describes a modeling technnique for single-agent reactive systems, that is influenced by the modeliig paradigm of Parnas [5] as well as by the synchronous paradigms of LUSTRE[4] and ESTEREL[l]. In this paradigm, single-agent reactive systems are modeled in a universe having a discrete clock. This discretization of time greatly reduces the temporal complexity of the model. We believe that the advantage of this reduction in temporal complexity is that the resulting model is in… CONTINUE READING

From This Paper

Topics from this paper.


Publications citing this paper.


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

Software Construction via Abstraction, Synthesis, and Transformation (AST)

  • V. L. Winter
  • Proceedings of the IEEE High Integrity Software…
  • 1997

Kurshan . Computer - Aided Verification of Coordinating Processes

  • P Robert
  • Tabular Representations in Relational Documents…
  • 1996

Proving Refinement Transformations fo r Deriving High-Assurance Sofiware

  • J. M. Boyle
  • Proceedings of the IEEE High-Assurance Systems…
  • 1996

Computer-Aided Verification of Coordinating Processes

  • Robert P. Kurshan
  • Princeton Series in Computer Science,
  • 1994

Similar Papers

Loading similar papers…