[Fwd: aadl keyword question]

Peter Feiler phf at sei.cmu.edu
Mon May 10 15:07:09 EDT 2004



-------- Original Message --------
Subject: 	aadl keyword question
Date: 	Wed, 05 May 2004 09:24:05 -0400
From: 	John Hudak <jhudak at sei.cmu.edu>
To: 	Peter Feiler <phf at sei.cmu.edu>



Hi Peter:
I am changing the cruise control model to reflect in ports instead of 
devices (as we talked about at the end of the day on Monday).  You said 
I needed to change the keyword to something, but can't remember what.  
Below is the implementation:


system implementation  cruise_control.single_thread
-- define the instance of components particular to this implementation
   subcomponents
       I_C: system in_control;
       C_V: system compute_velocity;
       C_D_S: system compute_desired_speed;
       C_T_S: system compute_throttle_setting;
       TA: device throttle_actuator;    *** I want to change these 
devices to inports, how should I change the line? ***
       ENGINE: device engine_state;
       RESUME: device resume_button;
       SP_UP: device speed_up_button;
       SP_DN: device speed_dn_button;
       SETBUTTON: device set_button;
      
-- make the connections to the componenets
   connections
-- devices to software
          C1:  data port my_brake_status -> I_C.brake_status;
          C2:  data port I_C.ok_to_run -> C_D_S.ok_to_run;
          C3:  data port C_D_S.desired_speed -> C_T_S.desired_speed;
         C4:  data port C_D_S.current_instantaneous_velocity ->  
C_D_S.previous_instantaneous_velocity;
          C5:  data port C_T_S.throttle_setting -> throttle_setting;
          C6:  data port engine_state -> I_C.engine_state;
          C7:  data port resume -> I_C.resume;
          C8:  data port decrease_speed -> I_C.decrease_speed;
          C9:  data port increase_speed -> I_C.increase_speed;
--          C10:  data port decrease_speed -> I_C.decrease_speed;
          C11:  data port set_speed -> I_C.set_speed;
    flows
       brake_flow_1: flow path brake_status -> 
C1->I_C.FS1->C2->C_D_S.FS1-> C3->C_T_S.FS1->c5->throttle_actuator;

end cruise_control.single_thread;

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.sei.cmu.edu/pipermail/sae-aadl-users/attachments/20040510/750f7063/attachment.htm


More information about the Sae-aadl-users mailing list