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.
- Ptolemy II 7.1
Class Summary Class Description PtidesDirectorThis director implements the Ptides programming model, which is used for the design of distributed real-time systems. PtidesEventThis class defines the structure of events in the Ptides domain. PtidesListEventQueueEvent queue that is a linked list. PtidesPlatformThis composite implements a Ptides platform, which is used for the design of distributed real-time systems. PtidesPlatform.PtidesMirrorPortThis is a specialized port for PtidesPlatform. PtidesPlatform.PtidesNetworkModelTimeTypeThe Ptides type that is sent over the network. PtidesPlatform.PtidesNetworkRealTimeTypeThe Ptides type that is sent over the network. PtidesPlatform.PtidesPlatformContentsThis is a specialized composite actor for use in PtidesPlatform. PtidesReceiverReceivers in the Ptides domain use a timed queue to sort events in the receivers. PtidesReceiver.EventAn Event is an aggregation consisting of a Token, a time stamp and destination Receiver. PtidesReceiver.TagComparatorCompare two events according to - time stamp - value did not find a way to compare Tokens, therefore am comparing DoubleTokens and IntTokens here. TagA timestamp and a microstamp that represent a Tag. ThrottleAttributesContainer for decorator attributes that are provided to local sources and other actors that schedule their own firings by a