Development Tools 471
can be reused across different applications. The FT-COM code generator needs to
respect all these timing constraints and “schedule” its tasks so that all messages are
processed in time.
Message Buffer Handling
A replicated subsystem F that sends a message m may also want to receive this
message. This sounds trivial, but requires some effort when replication is used, be-
cause in this case it is not correct to simply access the message in the local RAM.
Say N is a node where one of the replicas of F is executed, and assume that
another subsystem G, which also runs on N, uses m as input. Receiving a message
from a replicated subsystem requires an RDA (this is valid even for the subsystem
that sends this message). Therefore, m exists ...