• DocumentCode
    3631526
  • Title

    Modeling and simulating real-time systems

  • Author

    J. Vuckovic;M. Jevtic;S. Vuckovic

  • Author_Institution
    Fac. of Electron. Eng., Nis Univ., Serbia
  • Volume
    2
  • fYear
    1995
  • Firstpage
    867
  • 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"
  • Publisher
    ieee
  • Conference_Titel
    Microelectronics, 1995. Proceedings., 1995 20th International Conference on
  • Print_ISBN
    0-7803-2786-1
  • Type

    conf

  • DOI
    10.1109/ICMEL.1995.500984
  • Filename
    500984
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=3631526