TASTE GUI - Modifications in the Deployment View

Hello,

We have an example with a "blackbox_device". Please find attached the Data, Interface and Deployment views. Example.zip

If we use TASTE commands, we can generate the executable. However, if we open the Deployment View with TASTE, it adds the following lineDeploymentView.aadl:

Actual_Processor_Binding => (reference (Processor_Board)) APPLIES TO Processor_Board_pbConnectionDock_driver;

Then, the executable generation fails. If we remove it, we can generate the executable.

Please, why is this line added?

Thanks in advance, Elena