In: Concurrency and Hardware Design, pages 228-273. Advances in Petri Nets, Volume 2549 of Lecture Notes in Computer Science / J. Cortadella, A. Yakovlev, G. Rozenberg (Eds.) --- Springer Verlag, November 2002.
Abstract: 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.