![[Left]](images/button-left.gif)
![[Up]](images/button-up.gif)
![[Right]](images/button-right.gif)
|
|
|
|
Project 3. Formal Methods for the Synthesis of Modular Systems with Real-Time Rule Checking. |
|
|
|
|
Bottom-up Implementation of the System (without trade-off among subsystem attributes). The step-by-step implementation might proceed as follows: Step 1. Selection of the Amplifier.
![[Step 1. Implementation of Architecture]](images/system-reuse4.gif)
Figure 1. Assembly of the System Architecture. Choosing the Amplifier. Step 2. Selection of the Speakers.
![[Step 2. Implementation of Architecture]](images/system-reuse5.gif)
Figure 2. Assembly of the System Architecture. Choosing the Speakers. Bottom-up Implementation of the System (with trade-off) Step 1. Selection of the Amplifier.
![[Step 1. Implementation of Architecture]](images/system-reuse6.gif)
Figure 3. Assembly of the System Architecture. Choosing the Speakers. Step 2. Selection of the Speakers.
![[Step 2. Implementation of Architecture]](images/system-reuse7.gif)
Figure 4. Assembly of the System Architecture. Choosing the Speakers. |
| Section 11-5: April, 2003. |
|