TemporalConstraint::LogicalTimeCondition

Header Image

EAST-ADL / Annexes / BehaviorDescription / TemporalConstraint / LogicalTimeCondition

Content:
LogicalTimeCondition : Public Class TemporalConstraint, LogicalTimeConditionMappingToTiming, Transition, ComputationConstraint
The logical time condition is an abstract notion of time for the descriptions of behavior constraints. Declarations of such time conditions can be used to define the time basis of continuous- and discrete-time dynamics or the timing concerns in statemachine or data-processing related behaviors.<br/><br/>The semantics of logical time conditions can be further refined by associating such conditions to the occurrences of execution events (TransitionEvents), such as for defining the change of an environmental condition or the triggering of a function. This makes it possible to precisely define the reference points of a time interval (i.e. startPointReference and endPointReference).<br/><br/>A time condition can have a consecutive time condition on the same time line. E.g. if condition1=[t1, t2], then the consecutive time condition is condition2=[t2, t3].<br/><br/>With EAST-ADL, the expression of the value of a logical time condition is based on the Timing::TimeDuration in the format of CseCode as in AUTOSAR and MSR/ASAM. For descriptions where the notion of time proceeding is not of interest, a time condition with isLogicalTimeSuspended=true has to be explicitly declared and used.<br/><br/>Semantics:<br/>A logical time condition (LTC) is an infinite sequence of time intervals <br/><br/>Extension: <br/>EAElement.<br/>
  • Attributes
  • Associations
  • Associations From
  • Advanced
  • Other Links
Attribute Scope Type
isLogicalTimeSuspended Public Boolean
 
Element Source Role Target Role
TransitionEvent
Class   		Name:  
  		Name: endPointReference
 
Details:
 
TemporalConstraint
Class   		Name: timeCondition
  		Name:  
 
Details:
 
LogicalTimeCondition
Class   		Name:  
  		Name: consecutiveTimeCondition
The consecutive time condition on the same time line.
Details:
 
TransitionEvent
Class   		Name:  
  		Name: startPointReference
The event occurance used as a reference point for the start of measuring the time duration.
Details:
 
Element Source Role Target Role
«atpPrototype» EAValue
Class   		Name: width
  		Name:  
 
Details:
 
«atpPrototype» EAValue
Class   		Name: lower
  		Name:  
 
Details:
 
«atpPrototype» EAValue
Class   		Name: upper
  		Name:  
 
Details:
 
Transition
Class   		Name:  
  		Name: timeGuard
The time guard conditions of a transition.
Details:
 
State
Class   		Name:  
  		Name: timeInvariant
The time invariants of a state, i.e. the time conditions that must hold in a state.
Details:
 
TransformationOccurrence
Class   		Name:  
  		Name: timeCondition
 
Details:
 
LogicalTransformation
Class   		Name:  
  		Name: timeInvariant
The duration bounds when the transformation takes place.
Details:
 
LogicalTimeCondition
Class   		Name:  
  		Name: consecutiveTimeCondition
The consecutive time condition on the same time line.
Details:
 
Quantification
Class   		Name:  
  		Name: timeCondition
 
Details:
 
Property Value
isFinalSpecialization: 0
Object Type Connection Direction Notes
«atpPrototype» EAValue Class Strong From  
TemporalConstraint Class Strong To  
«atpPrototype» EAValue Class Strong From  
«atpPrototype» EAValue Class Strong From  
EAElement Class Generalization To