[aadl-modeling]: Question about a warning

[Peter Feiler]

The consistency check makes sure that the processors the source and destination threads are bound to are connected to each other through a bus. If no actual connection binding has been defined then we check that any bus connects the two processors.
If you have specified an actual connection binding then we make sure that the first element of the connection binding is a bus that is connected to the processor of the source thread, and the last element of the connection binding is a bus that is connected to the processor of the target thread.

Peter

From: aadl-modeling-bounces+phf=sei.cmu.edu at lists.sei.cmu.edu [mailto:aadl-modeling-bounces+phf=sei.cmu.edu at lists.sei.cmu.edu] On Behalf Of Omar Benzekri
Sent: Monday, June 5, 2017 5:55 AM
To: aadl-modeling at lists.sei.cmu.edu
Subject: [aadl-modeling]: Question about a warning

Hello every body

       I have a  Question about a warnings that i get when i check  my system for  Connection Binding Consistency:

"Connection client_SYS.mon_process_CL.th_CL.port_CL -> server_SYS.confMode_SER.confmode_th.outp source bound hardware is not connected to the first bus in the actual binding "

and i get another one that says :" destination bound hardware is not connected to the Last bus in the actual binding" for the same connection .

        so please if you can help me understand what does it mean i will be grateful.

thanks
-------------- next part --------------
HTML attachment scrubbed and removed