|
Platform-based Design (PBD) is
a relatively new methodology paradigm for the design of embedded systems. It has
made significant inroads in the electronic industry (see for example the OMAP
platform for cellular communication and the Nexperia Platform for multimedia).
However, the concept means different things for different industrial sectors and
for different design groups. An attempt at structuring this approach has been
put forward by our research group. The basic aspects of the methodology are its
meet-in-the-middle view of the design process where a combination of top-down
and bottom-up processes define an approach that maximizes re-usability and
verifiability while maintaining constraints on performance, cost and power
consumption.
The aims of
this research are:
The overarching goal is to
show that it is possible to adopt a general design methodology for all embedded
system applications thus forming the basis for a well-structured discipline that
yields repeatable results and save substantial amount of expensive resources.
The bases for the formalization
are to be found in the results on semantics of the chapter on hybrid modeling.
The design framework is Metropolis that incorporates the PBD methodology, the
formal methods supported by our results in hybrid modeling and heterogeneous
systems and correct deployment.
|
Aims |
