Timing::Event

Header Image
Content:
Event : Public abstract Class TimingElementsOrganization, TimingConstraints1, FunctionEvents, Events, EventChainTimingConstraints, EventOccurrenceMappingToEvents, TimingConstraints2
The Event class stands for all the forms of identifiable state changes that are possible to constrain with respect to timing using TADL2.<br/><br/>Semantics:<br/>An event denotes a distinct form of state change in a running system, taking place at distinct points in time called occurrence of the event. That is, a running system can be observed by identifying certain forms of state changes to watch for, and for each such observation point, noting the times when changes occur. This notion of observation also applies to a hypothetical predicted run of a system or a system model - from a timing perspective, the only information that needs to be in the output of such a prediction is a sequence of times for each observation point, indicating the times that each event is predicted to occur.<br/><br/>In system models, events appear syntactically as names indicating the state changes of interest. Semantically, an event name is a variable standing for some statically unknown set of occurrences. Note that this connection is purely conceptual; occurrences never exist concretely in any system model as they are a purely semantic notion representing the state changes that can be observed when a system is executed, or simulated, or perhaps only mathematically predicted.<br/><br/>TADL2 assumes that occurrences are characterized by two pieces of information: a timestamp indicating when the corresponding state change occurred, and a color that partitions different event occurrences into groups that should be understood as being causally related. The timestamp is a real value of SI unit seconds, whereas the color value is drawn from some abstract, possibly infinite type whose only restriction is that must support an equality test on its values.<br/>
  • Associations From
  • Advanced
  • Other Links
Element Source Role Target Role
SynchronizationConstraint
Class  
Name:  
 
Name: event
 
Details:
 
OrderConstraint
Class  
Name:  
 
Name: source
 
Details:
 
StrongDelayConstraint
Class  
Name:  
 
Name: source
 
Details:
 
OrderConstraint
Class  
Name:  
 
Name: target
 
Details:
 
DelayConstraint
Class  
Name:  
 
Name: target
 
Details:
 
ExecutionTimeConstraint
Class  
Name:  
 
Name: resume
Event corresponding to execution resume folowing preemption
Details:
 
TransitionEvent
Class  
Name:  
 
Name: occurredExecutionEvent
 
Details:
 
BurstConstraint
Class  
Name:  
 
Name: event
 
Details:
 
EventChain
Class  
Name:  
 
Name: stimulus
The event that stimulates the steps to be taken to respond to this event.
Details:
 
EventChain
Class  
Name:  
 
Name: response
The event that is a response to a stimulus that occurred before.
Details:
 
PeriodicConstraint
Class  
Name:  
 
Name: event
 
Details:
 
ArbitraryConstraint
Class  
Name:  
 
Name: event
 
Details:
 
ExecutionTimeConstraint
Class  
Name:  
 
Name: preemption
Event corresponding to execution preemption
Details:
 
StrongSynchronizationConstraint
Class  
Name:  
 
Name: event
 
Details:
 
ExecutionTimeConstraint
Class  
Name:  
 
Name: stop
 
Details:
 
DelayConstraint
Class  
Name:  
 
Name: source
 
Details:
 
ExecutionTimeConstraint
Class  
Name:  
 
Name: start
 
Details:
 
RepetitionConstraint
Class  
Name:  
 
Name: event
 
Details:
 
StrongDelayConstraint
Class  
Name:  
 
Name: target
 
Details:
 
PatternConstraint
Class  
Name:  
 
Name: event
 
Details:
 
SporadicConstraint
Class  
Name:  
 
Name: event
 
Details:
 
Property Value
isFinalSpecialization: 0
Object Type Connection Direction Notes
EventFaultFailure Class Generalization From  
ModeEvent Class Generalization From  
AUTOSAREvent Class Generalization From  
EventFeatureFlaw Class Generalization From  
EventFunction Class Generalization From  
StateEvent Class Generalization From  
ExternalEvent Class Generalization From  
EventFunctionPowerPort Class Generalization From  
EventFunctionClientServerPort Class Generalization From  
TimingDescription Class Generalization To  
EventFunctionFlowPort Class Generalization From