Highly Influenced

# Models of computation and languages for embedded system design

@inproceedings{Jantsch2005ModelsOC, title={Models of computation and languages for embedded system design}, author={Axel Jantsch and Ingo Sander}, year={2005} }

- Published 2005

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

#### From This Paper

##### Figures, tables, and topics from this paper.

60 Citations

73 References

Similar Papers

#### Citations

##### Publications citing this paper.

#### Citation Statistics

#### 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.