Animating real-time reactive systems

Author

Alagar, V.S. ; Muthiayen, D. ; Achuthan, R.

Author_Institution

Dept. of Comput. Sci., Concordia Univ., Montreal, Que., Canada

fYear

1996

fDate

21-25 Oct 1996

Firstpage

181

Lastpage

188

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 the 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

Keywords

computer animation; graphical user interfaces; interactive systems; object-oriented programming; program debugging; program interpreters; programming environments; real-time systems; simulation; TROM; animation; axiom generator; debugging; graphical user interface; interpreter; object-oriented environment; process model; real-time reactive systems; simulator; timed reactive object model; verification manager; Animation; Computational modeling; Computer science; Debugging; Fault detection; Graphical user interfaces; History; Object oriented modeling; Real time systems; Timing;

fLanguage

English

Publisher

ieee

Conference_Titel

Engineering of Complex Computer Systems, 1996. Proceedings., Second IEEE International Conference on

Conference_Location

Montreal, Que.

Print_ISBN

0-8186-7614-0

Type

conf

DOI

10.1109/ICECCS.1996.558410

Filename

558410