next up previous contents index FOREST_HomepageFOREST_Example_Homepage
Next: Description Class PushButton Up: No Title Previous: Description Class BinaryActuator

   
Description Class ControlSystemActive

INTENTION

This class provides all definitions to describe the signal control system is active that can be sent by the machine in order to indicate that the machine is still active. In addition to the definitions of the description class BinaryActuator, here the reaction time of this signal is specified.

BASE CLASSES

Class   BinaryActuator

Intention

: All definitions of description class BinaryActuator are also provided here.

DOMAIN KNOWLEDGE

Property  D_CSA1 
Formal : (  noMalAct. reactionTime = 10 )
NL : The reaction time of a signal control system is active is 10 ms.


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