Embedded real-time systems must satisfy not only logical functional requirements but also para-functional properties such as timeliness, Quality of Service (QoS) and reliability. We have developed a model-based tool called Time Weaver which enables the modeling of functional and para-functional behaviors of real-time systems. It also performs automated schedulability analysis, and generates glue code to integrate the final runtime executable for the system. Its extensive glue code generation capabilities include the ability to insert inter-processor communications code at arbitrary software boundaries. In other words, from a functional point of view, a software component may be viewed as a single logical entity but from the tool point of view, the component can be partitioned into two or more pieces running on different nodes. This capability opens up many different possibilities to map (partitioned) software components to hardware nodes. The objective of this deployment is to minimize...