[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