Eclipse Community Forums: APP4MC » LET (Logical Execution Time)

Help

Home

Home » Eclipse Projects » APP4MC » LET (Logical Execution Time)

Show: Today's Messages :: Show Polls :: Message Navigator

LET (Logical Execution Time) [message #1829088]

Thu, 25 June 2020 05:16

Masato Edahiro

Messages: 5
Registered: March 2020

Junior Member

How to specify LET in AMALTHEA data model? Is there any example?

Report message to a moderator

Re: LET (Logical Execution Time) [message #1829091 is a reply to message #1829088]

Thu, 25 June 2020 06:22

Michael Pressler

Messages: 3
Registered: May 2020

Junior Member

Hi,

if you want to express the concrete implementation of LET you need to explicitly model it (copy processes, every access to a label). If you just want to specify the semantics of an access you can select the implementation type (explicit, implicit, timed) in the label access properties. Timed is representing LET.

Report message to a moderator