One of the major architectural approaches both in the user
application and the modem systems can be multiprocessor
architectures. For these effective programming and SW
verification and maintenance solutions that hold up to a
competitive industry environment will be required. Amongst
other research challenges we see the effective modelling (and
verification) of heterogeneous embedded systems a very
important one. This should give early feedback about essential
criteria like cost and power and allows for a predictable
integration of legacy (or COTS) system components.