See: Description
| Class | Description |
|---|---|
| PtidesDirector |
This director implements the Ptides programming model,
which is used for the design of distributed real-time systems.
|
| PtidesEvent |
This class defines the structure of events in the Ptides domain.
|
| PtidesListEventQueue |
Event queue that is a linked list.
|
| PtidesPlatform |
This composite implements a Ptides platform,
which is used for the design of distributed real-time systems.
|
| PtidesPlatform.PtidesMirrorPort |
This is a specialized port for PtidesPlatform.
|
| PtidesPlatform.PtidesNetworkModelTimeType |
The Ptides type that is sent over the network.
|
| PtidesPlatform.PtidesNetworkRealTimeType |
The Ptides type that is sent over the network.
|
| PtidesPlatform.PtidesPlatformContents |
This is a specialized composite actor for use in PtidesPlatform.
|
| PtidesReceiver |
Receivers in the Ptides domain use a timed queue to sort events in
the receivers.
|
| PtidesReceiver.Event |
An Event is an aggregation consisting of a Token, a time stamp and
destination Receiver.
|
| PtidesReceiver.TagComparator |
Compare two events according to - time stamp - value did not find a way
to compare Tokens, therefore am comparing DoubleTokens and IntTokens
here.
|
| Tag |
A timestamp and a microstamp that represent a Tag.
|
| ThrottleAttributes |
Container for decorator attributes that are provided to local sources and
other actors that schedule their own firings by
a
PtidesDirector. |
PTIDES leverages time synchronization over distributed platforms. PTIDES uses discrete-event (DE) models as programming specifications for distributed real-time systems and extends discrete-event models with the capability of mapping certain events to physical time. We use model time to define execution semantics and add constraints that bind certain model time events to physical time. We limit the relationship of model time to physical time to only those circumstances where this relationship is needed. An execution model that permits out of order processing of events without sacrificing determinacy and without requiring backtracking is described in. The formal foundation is based on the concepts of relevant dependency and relevant order.
See also the PTIDES Website.