Agreed this is an issue. But what is the proposed resolution ?
The name of the binary is the name of the AADL process. So you may
a) change the VT to generate a different name and avoid the conflict
b) change Ocarina to do a similar name change
c) change Ocarina to call the main function main, in package main.adb and then rename the binary from main to the name of the process (we do that for PolyORB-HI/C already)

c) is probably better

Agreed with your proposed solution.

However, if there is a function called "main" in the Interface view, the problem remains.

Could this be handled as a check done by the TASTE-xV editor ? We already have some naming checks in place.

Agreed. So two actions:

(1) Ellidiss to add "main" to the list of forbidden words
(2) Jerome to generate the main function in main.adb.

I will add a separate ticket to handle (1). This ticket remains open only for point (2).

This is not a viable solution, if we have two Ada nodes, they will be called main, and thus break existing setup, e.g. when we copy all binaries to the same directory

It makes more sense to forbid function and partition to have the same name

For (2), as part of the solution, you proposed "and then rename the binary from main to the name of the process (we do that for PolyORB-HI/C already)" (see above).

Wouldn't that do it?

Opened for too long, and reasonably acceptable situation.