Models of computation and languages for embedded system design

  title={Models of computation and languages for embedded system design},
  author={Axel Jantsch and Ingo Sander},
We review Models of Computation (MoC) and organize them with respect to the time abstraction they use. We distinguish between continuous time, discrete time, synchronous and untimed MoCs. System level models serve a variety of objectives with partially contradicting requirements. Consequently we argue that different MoCs are necessary for the various tasks and phases in the design of an embedded system. Moreover, different MoCs have to be integrated to provide a coherent system modeling and… CONTINUE READING
Highly Cited
This paper has 91 citations. REVIEW CITATIONS
60 Citations
73 References
Similar Papers


Publications citing this paper.
Showing 1-10 of 60 extracted citations

91 Citations

Citations per Year
Semantic Scholar estimates that this publication has 91 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-10 of 73 references

Similar Papers

Loading similar papers…