Animating Real-Time Reactive Systems

Authors:
V. S. Alagar;D. Muthiayen;R. Achuthan
Affiliations:
-;-;-
Venue:
ICECCS '96 Proceedings of the 2nd IEEE International Conference on Engineering of Complex Computer Systems
Year:
1996

Citing 0
Cited 1

A Rigorous Approach to Modeling and Analyzing E-Commerce Architectures

FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper presents an overview of a process model and an object-oriented environment that supports the process model, for the development of complex real-time reactive systems described using Timed Reactive Object Model. The environment includes an animation tool consisting of a graphical user interface, an interpreter and a simulator, as well as an axiom generator and a verification manager. Debugging, simulating the consequences of exercising a computational step, and verifying invariant properties of an evolving design at different stages of the design process are all permitted.