| [pok-devel] Re: [pok] code generation with aadl model |
[ Thread Index |
Date Index
| More lists.tuxfamily.org/pok-devel Archives
]
- To: pok@xxxxxxxxxxxxxxxxxxx
- Subject: [pok-devel] Re: [pok] code generation with aadl model
- From: Julien Delange <julien@xxxxxxxxx>
- Date: Fri, 22 Feb 2013 15:23:39 -0500
- Cc: dcorral@xxxxxxxxxxxx, pok-devel@xxxxxxxxxxxxxxxxxxx
- Dkim-signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:x-received:sender:in-reply-to:references:date :x-google-sender-auth:message-id:subject:from:to:cc:content-type :content-transfer-encoding; bh=n+C+zwFibbiouXc0eA0nCWiY+8Zufc4XJRfr2N/7mrA=; b=tLKbxSmppRl7gu9HYDatiHeY6rBhcfjNIsVgTKskHkKXDgHtxL6QGaVu5fo33VaUmk x1bUGJ4+ul2YXkrSU4CJsDwduvI4QnppBuxmYGbGDIg2UIU8KIURkz8/+CdZZ/gzPWOd 5rt/op3ZoCOcN70D46uK2PJuLoX9F9HG/UfrKQx7hffYP3LmErTQ3oKXUr7IIJmbng/7 EhUbvdH7obhCbQk29QuH/FXltUL//aMYLVgqAz/TD1WTYvrrKsjVirPUhJSkWVbhxI70 mvGMjLUBaJDhyBdJixJOGFhmS68jo68TzjJNwUGV4dyX0RqdtoAYZZIfEUZ7bH4j3FGh G4tA==
Hello,
Thanks for your e-mail.What you ask for is more related to the code
generation patterns and have the ability to tune the code generator
rather than the POK runtime itself. For now, the code generation
patterns cannot be tuned and are hard-coded in the code generator. So,
for (1), unfortunately, you cannot do it. For (2), the order of the
operations is fixed (first receive, then compute and finally send) but
the order or operation (which port is received or sent first) depends
on its declaration within the model.
As far as I know, there is not much contribution on the ARINC653 code
generator in Ocarina. However, there is another code generator
(RAMSES) that produces ARINC653/POK code from AADL models, developped
by TELECOM ParisTech and they might have parametrized code generation
patterns. Anyway, either you want to use Ocarina or RAMSES, the best
would be to contact maintainers of these tools since your questions
are more related to the code generation functions.
By the way, I am Cc:'ing this reply to the developer list since there
are more subscribers on this one.
Best,
On Thu, Feb 21, 2013 at 10:05 AM, CORRAL Dario <dcorral@xxxxxxxxxxxx> wrote:
> Hi,
>
> I am using pok and ocarina for code generation and here is the problem I’m
> coming across :
>
> I have specified a thread and a subprogram in my model.
>
> I would like my subprogram (the code of which will not be generated) to use
> the port
>
> and the buffer, to receive and send data.
>
> When I specify ports and buffers in the aadl model, ocarina always generates
>
> The API calls (pok_port_queueing_receive, pok_buffer_send) in the thread.
>
> And in the following order :
>
> - First, receive data,
>
> - then call the subprogram,
>
> - then send data.
>
>
>
> 1.In my case, I do not want to have these API calls generated. I just want
> to have the identifiers and the number of ports/buffers declared
>
> In deployment.h to use them in the subprogram. Is there a possibility to do
> that through the aadl model?
>
>
>
> 2.Is it possible to specify which of send or receive must be called first
> (if implementation is performed in the thread)?
>
>
>
> Thank you for your help.
>
>
>
> Dario.
>
>
>
>
>
>