Modeling and Designing Heterogeneous Systems
We present the modeling mechanism employed in Metropolis, a design environment for heterogeneous embedded systems, and a design methodology based on the mechanism experimented for wireless communication systems. It is developed to favor the reusability of components in the systems, by decoupling the specification of orthogonal aspects explicitly over a set of abstraction levels. It uses a single model to represent designs specified this way, to which not only simulation but also analysis and synthesis algorithms can be applied relatively easily. The model uses executable code as well as denotational formulas, classes of temporal and predicate logic, so that the right level of details of the design can be defined at each abstraction.
KeywordsCritical Section Linear Temporal Logic Test List Medium Object Network Platform
Unable to display preview. Download preview PDF.
- F. Balarin, Y. Watanabe J. Burch, L. Lavagno, R. Passerone, and A. Sangiovanni-Vincentelli. Constraints specification at higher levels of abstraction. In Proceeding of the 6th Annual IEEE International Workshop on High Level Design Validation and Test-HLDVT’01. IEEE Computer Society, November 2001. 252Google Scholar
- R. S. Boyer, M. Kaufmann, and J. S. Moore. The boyer-moore theorem prover and its interactive enhancement. Computers & Mathematics with Applications, pages 27–62, January 1995. 259Google Scholar
- Z. Har’El and R. P. Kurshan. Software for analysis of coordination. In Proceedings of the International Conference on System Science, pages 382–385, 1988. 260Google Scholar
- Warren A. Hunt Jr. and Steven D. Johnson, editors. Formal methods in computeraided design: third international conference FMCAD 2000. Springer-Verlag, 2000. LNCS vol. 1954. 259Google Scholar
- Kenneth L. McMillan. Symbolic Model Checking. Kluwer Academic Publishers, 1993. 260Google Scholar
- A. Pnueli. The temporal logic of programs. In Proc. 18th Annual IEEE Symposium on Foundations of Computer Sciences, pages 46–57, 1977. 232, 252Google Scholar
- J. Rabaey, M. Ammer, J. Silva jr., D. Patel, and S. Roundy. Picoradio supports ad hoc ultra-low power wireless networking. In IEEE Computer Magazine, July 2000. 266, 272Google Scholar
- A. Sangiovanni-Vincentelli and A. Ferrari. System design-traditional concepts and new paradigms. In International COnference on Computer Design, ICCD’ 99, October 1999. 263Google Scholar
- A. Sangiovanni-Vincentelli, M. Sgroi, and L. Lavagno. Formal models for communication-based design. In Proceedings of the 11-th International Conference on Concurrency Theory, Concur’ 00, August 2000. 263, 264Google Scholar