Overcoming Heterophobia: Modeling Concurrency in Heterogeneous Systems

@inproceedings{Burch2001OvercomingHM,
  title={Overcoming Heterophobia: Modeling Concurrency in Heterogeneous Systems},
  author={Jerry R. Burch and Roberto Passerone and Alberto L. Sangiovanni-Vincentelli},
  booktitle={ACSD},
  year={2001}
}
System level design is complex. One source of this complexity is that systems are often heterogeneous: different models of computation ( e.g.,dataflow, FSMs) are used to describe different components of a system. Existing formal methods for concurrent systems are typically based on one particular model of computation, so it is difficult to formalize the interaction between heterogeneous components. In this paper, we develop a framework for formalizing the relationships between different models… CONTINUE READING
Highly Cited
This paper has 50 citations. REVIEW CITATIONS

Citations

Publications citing this paper.

51 Citations

05'01'04'08'12'16
Citations per Year
Semantic Scholar estimates that this publication has 51 citations based on the available data.

See our FAQ for additional information.

References

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

Trace theory for automatic hierarchical verification of speed-independent circuits

ACM distinguished dissertations • 1989
View 3 Excerpts
Highly Influenced

A framework for comparing models of computation

IEEE Trans. on CAD of Integrated Circuits and Systems • 1998
View 2 Excerpts

Felix initiative pursues new co-design methodology

J. Rowson, A. Sangiovanni-Vincentelli
Electronic Engineering Times , • 1998
View 1 Excerpt

Sangiovanni - Vincentelli . Design of embedded systems : Formal models , validation , and synthesis

L. Lavagno S. Edwards, E. Lee, A.
Proceedings of the IEEE • 1997

editors.Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency

J. W. de Bakker, W.-P. de Roever, G. Rozenberg
ofLecture Notes in Computer Science . Springer- Verlag, • 1989

Similar Papers

Loading similar papers…