[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