• DocumentCode
    1395625
  • Title

    Finite state machines for real-time software engineering

  • Author

    Avnur, Arie

  • Author_Institution
    Electroglas, Santa Clara, CA, USA
  • Volume
    1
  • Issue
    6
  • fYear
    1990
  • fDate
    11/1/1990 12:00:00 AM
  • Firstpage
    275
  • Lastpage
    278
  • Abstract
    Finite state machines have a fundamental importance for real-time software development. A comparison of the Mealy and Moore models for finite state machines indicates certain advantages of the Moore model over the almost industry-standard Mealy model. A refinement of the Moore model is proposed that distinguishes between continuous activities taken while the system is in a specific state, and those required at the transitions into and out of the state. Methods for using FSMs in the design model of a real-time system are discussed
  • Keywords
    finite automata; programming theory; real-time systems; software engineering; Mealy model; Moore model; continuous activities; design model; finite state machines; real-time software development; software engineering; state transitions;
  • fLanguage
    English
  • Journal_Title
    Computing & Control Engineering Journal
  • Publisher
    iet
  • ISSN
    0956-3385
  • Type

    jour

  • Filename
    87727