next up previous contents index FOREST_HomepageFOREST_Example_Homepage
Next: Description Class MalfunctionActuator Up: No Title Previous: Group Actuator

   
Description Class NoMalfunctionActuator

INTENTION

This class provides all definitions to describe an actuator if it has no malfunction.

It is distinguished between two values:

Note that this class can be used to describe an actuator that already exists in the environment. Therefore the value adjusted by the actuator, namely adjustedEntity, has the scope machine controlled, visible for the machine. If the actuator does not exist, i.e. the actuator itself has to be developed, the scope of adjustedEntity has to be environment controlled, not visible for the machine.

FORMAL PARAMETERS

Sort  ENV_DOMAIN 
Intention : This domain contains the possible values of the phenomenon existing in the real world.

Sort  ADJUSTED_DOMAIN 
Intention : This domain contains the possible values that can be adjusted by the machine.

SIGNATURE

Time Constant  reactionTime 
Intention : This time constant represents the reaction time of the actuator. The reaction time is the time between a change of the value adjusted by the machine (adjustedEntity) and the time point the value of the actuator in the real world (envEntity) changes its value correspondingly.
Scope : ev

Timed Function  envEntity   ENV_DOMAIN
Intention : This function represents the value of the phenomenon, i.e. the actuator, existing in the real world.

Note that this function represents the situation as it is in the real world and not how it is adjusted and seen by the machine.

Scope : eh

Timed Function  adjustedEntity   ADJUSTED_DOMAIN
Intention : This function represents the value that is adjusted by the machine.
Scope : mv


next up previous contents index FOREST_HomepageFOREST_Example_Homepage
Next: Description Class MalfunctionActuator Up: No Title Previous: Group Actuator
Forest-System
1999-06-10