Title :
Modeling and simulating real-time systems
Author :
J. Vuckovic;M. Jevtic;S. Vuckovic
Author_Institution :
Fac. of Electron. Eng., Nis Univ., Serbia
Abstract :
We propose a method for the modeling and simulation of real-time systems, based on finite state machines. We have also developed, and presented in this paper, the simulator based on this approach that can help a designer to observe the behavior of a system under various conditions.
Keywords :
"Automata","Object oriented modeling","Real time systems","Logic","Formal verification","Clocks","Libraries","Computational modeling","Petri nets","Computer languages"
Conference_Titel :
Microelectronics, 1995. Proceedings., 1995 20th International Conference on
Print_ISBN :
0-7803-2786-1
DOI :
10.1109/ICMEL.1995.500984
