[Fwd: aadl keyword question]

Peter Feiler phf at sei.cmu.edu
Mon May 10 15:11:18 EDT 2004



Peter Feiler wrote:

>
>
> -------- 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;
>  
>
>------------------------------------------------------------------------
>
>_______________________________________________
>Sae-aadl-users mailing list
>Sae-aadl-users at lists.sei.cmu.edu
>https://lists.sei.cmu.edu/mailman/listinfo/sae-aadl-users
>  
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.sei.cmu.edu/pipermail/sae-aadl-users/attachments/20040510/b177b02f/attachment.htm


More information about the Sae-aadl-users mailing list