Models Of Computationfor reactive systems

• We need to consider essential aspects of RRTES:

  • time/synchronization
  • concurrency
  • heterogeneity

• We will:

  • ignore “single-process” MOCse.g. Turing machines, pushdown automata, …
  • emphasize “practical” aspects
    • implementability
    • cost of communication
    • availability of simulation and formal verification

Previous slide

Next slide

Back to first slide

View graphic version