ParameterCondition : public class
Created: 2010-05-07 14:33:26
Modified: 2010-06-29 16:42:49
Project:
Advanced:
<p>Statements of the conditions of individual parameters in relation to the operations of behaviors to be fulfilled by a vehicle feature, a system artifact, or an environment entity. <br/></p><p><br/></p><p>Constraints:<br/></p><p>A parameter condition is applied to at least one parameter or one parameter condition.<br/></p><p><br/></p><p>Semantics:<br/></p><p>A parameter condition characterizes the particular state of parameter(s) in nominal and erroneous operating situations. For example, parameter conditions can be used to describe the expected value ranges of a monitored environmental quantity in specific vehicle control scenarios.<br/></p><p><br/></p><p>Parameter conditions can be used as a basis for defining the states of parameters or their combinations (e.g., the establishment of certain input and output mapping, event to output mapping) during different operation situations.<br/></p><p><br/></p><p>For a computation behavior, parameter conditions can be used to specify its pre-/post-conditions and invariants that must be true before, after, and during the execution.<br/></p><p><br/></p><p>EAST-ADL does not define logic and arithmetic operators for the expressions of parameter conditions but would support the definitions in future extensions.<br/></p><p><br/></p><p><br/></p>
Attribute Details
public String
  expression
Notes: The description of parameter condition.
Element Source Role Target Role Details
Parameter
Class  
Name:  
 
Name: appliedToParameter
The quantity characterized by the parameter condition.
 
ParameterConstraint
Class  
Name: parameterCondition
The description of parameter conditions.
Name:  
 
 
«atpPrototype» Anomaly
Class  
Name:  
 
Name: representAnomaly
The fault(s)/failure(failures) represented by the parameter condition.
 
Element Source Role Target Role Details
State
Class  
Name:  
 
Name: denote
The parameter conditions represented by the state.
 
Transition
Class  
Name:  
 
Name: conditionSpecification
The parameter condition(s)that must hold to fire the transition.
 
Transformation
Class  
Name:  
 
Name: postCondition
The parameter conditions that must hold after the execution of the transformation.
 
Transformation
Class  
Name:  
 
Name: preCondition
The parameter conditions that must hold before the transformation can start its execution.
 
Transformation
Class  
Name:  
 
Name: invariantCondition
The parameter conditions that must remain unchanged by the execution of the transformation.
 
Object Type Connection Notes
ParameterConstraint Class Strong  
EAElement Class Generalization