O'Reilly logo

Multiprocessor Systems-on-Chips by Wayne Wolf, Ahmed Jerraya

Stay ahead with the world's most comprehensive technology and business learning platform.

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, tutorials, and more.

Start Free Trial

No credit card required

16.2. The Metropolis Meta-Model

The Metropolis meta-model is a language to specify networks of concurrent objects, each taking actions sequentially. The behavior of a network is formally defined by the execution semantics of the language [668]. A set of networks can be used to represent all the aspects described in the previous section for conducting designs, i.e., function, architecture, mapping, refinement, abstraction, and platforms.

In providing a specification, one needs a capability of describing the following three aspects: actions, constraints, and their refinement. This is true whether it is a specification of a system (behavior or architecture) or of the environment. The Metropolis meta-model has this capability, as presented in this ...

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, interactive tutorials, and more.

Start Free Trial

No credit card required