Commit f496cac6 authored by yoogx's avatar yoogx

* Minor reformatting + change to NATIVE, ORK+ is deprecated

parent 58c98e7e
......@@ -2,62 +2,60 @@
-- deployment information.
--
-- In this deployment, only one node is defined.
--
-- $Id: dc-local.aadl 6752 2009-07-01 16:36:45Z lasnier $
package DCLocal
public
with Deployment, Software;
---------------
-- Processor --
---------------
processor the_processor
properties
Deployment::Execution_Platform => LEON_ORK;
end the_processor;
processor implementation the_processor.Impl
end the_processor.Impl;
---------------
-- Processes --
---------------
process A
end A;
process implementation A.Impl
subcomponents
Sender : thread Software::S.Impl;
Receiver : thread Software::R.Impl;
connections
port Sender.Data_Source -> Receiver.Data_Sink;-- XXX {Timing => Delayed;};
-- This is a delayed connection. If this connection was immediate,
-- the receiver would receive a value of Data_Sink which would be
-- equal to N_Cycle. Because the connection is immediate, the
-- receiver sees only the previous value of Data_Sink which is
-- equal to N_Cycle - 1.
port Sender.N_Cycle -> Receiver.N_Cycle;
end A.Impl;
------------
-- System --
------------
system Delayed_Connections
end Delayed_Connections;
system implementation Delayed_Connections.LEON
subcomponents
Node_A : process A.Impl;
CPU : processor the_processor.Impl
{Priority_Range => 0 .. 255;};
properties
actual_processor_binding => reference (CPU) applies to Node_A;
end Delayed_Connections.LEON;
---------------
-- Processor --
---------------
processor the_processor
properties
Deployment::Execution_Platform => Native;
end the_processor;
processor implementation the_processor.Impl
end the_processor.Impl;
---------------
-- Processes --
---------------
process A
end A;
process implementation A.Impl
subcomponents
Sender : thread Software::S.Impl;
Receiver : thread Software::R.Impl;
connections
C1: port Sender.Data_Source -> Receiver.Data_Sink {Timing => Delayed;};
-- This is a delayed connection. If this connection was immediate,
-- the receiver would receive a value of Data_Sink which would be
-- equal to N_Cycle. Because the connection is immediate, the
-- receiver sees only the previous value of Data_Sink which is
-- equal to N_Cycle - 1.
C2: port Sender.N_Cycle -> Receiver.N_Cycle;
end A.Impl;
------------
-- System --
------------
system Delayed_Connections
end Delayed_Connections;
system implementation Delayed_Connections.Native
subcomponents
Node_A : process A.Impl;
CPU : processor the_processor.Impl
{Priority_Range => 0 .. 255;};
properties
actual_processor_binding => reference (CPU) applies to Node_A;
end Delayed_Connections.Native;
end DCLocal;
-- This AADL model illustrates how to model a simple interaction
-- between tasks connected by an AADL delayed connection
--
-- $Id: software.aadl 6281 2009-03-27 13:46:45Z lasnier $
package Software
public
with Data_Model, Deployment;
----------
-- Data --
----------
----------
-- Data --
----------
data Simple_Type
properties
Data_Model::Data_Representation => integer;
end Simple_Type;
data Simple_Type
properties
Data_Model::Data_Representation => integer;
end Simple_Type;
-----------------
-- Subprograms --
-----------------
-----------------
-- Subprograms --
-----------------
subprogram Send_Spg
features
Data_Source : out parameter Simple_Type;
N_Cycle : out parameter Simple_Type;
end Send_Spg;
subprogram Send_Spg
features
Data_Source : out parameter Simple_Type;
N_Cycle : out parameter Simple_Type;
end Send_Spg;
subprogram implementation Send_Spg.Impl
properties
source_language => Ada95;
source_name => "Delayed_Connections.Send";
end Send_Spg.Impl;
subprogram implementation Send_Spg.Impl
properties
Source_Language => (Ada95);
Source_Name => "Delayed_Connections.Send";
end Send_Spg.Impl;
subprogram Receive_Spg
features
Data_Sink : in parameter Simple_Type;
N_Cycle : in parameter Simple_Type;
properties
source_language => Ada95;
source_name => "Delayed_Connections.Receive";
end Receive_Spg;
subprogram Receive_Spg
features
Data_Sink : in parameter Simple_Type;
N_Cycle : in parameter Simple_Type;
properties
Source_Language => (Ada95);
Source_Name => "Delayed_Connections.Receive";
end Receive_Spg;
-------------
-- Threads --
-------------
-------------
-- Threads --
-------------
thread S
features
Data_Source : out data port Simple_Type;
N_Cycle : out data port Simple_Type;
end S;
thread S
features
Data_Source : out data port Simple_Type;
N_Cycle : out data port Simple_Type;
end S;
thread implementation S.Impl
calls
Mycall : {
S_Spg : subprogram Send_Spg.Impl;
};
connections
parameter S_Spg.Data_Source -> Data_Source;
parameter S_Spg.N_Cycle -> N_Cycle;
properties
Dispatch_Protocol => Periodic;
Period => 1000 Ms;
Deadline => 300 ms;
Priority => 50;
end S.Impl;
thread implementation S.Impl
calls
Mycall : {
S_Spg : subprogram Send_Spg.Impl;
};
connections
P1 : parameter S_Spg.Data_Source -> Data_Source;
P2 : parameter S_Spg.N_Cycle -> N_Cycle;
properties
Dispatch_Protocol => Periodic;
Period => 1000 ms;
Deadline => 300 ms;
Priority => 50;
end S.Impl;
thread R
features
Data_Sink : in data port Simple_Type;
N_Cycle : in data port Simple_Type;
end R;
thread R
features
Data_Sink : in data port Simple_Type;
N_Cycle : in data port Simple_Type;
end R;
thread implementation R.Impl
calls
Mycall : {
R_Spg : subprogram Receive_Spg;
};
connections
parameter Data_Sink -> R_Spg.Data_Sink;
parameter N_Cycle -> R_Spg.N_Cycle;
properties
Dispatch_Protocol => Periodic;
Period => 500 Ms;
deadline => 500 Ms;
Priority => 20;
end R.Impl;
thread implementation R.Impl
calls
Mycall : {
R_Spg : subprogram Receive_Spg;
};
connections
parameter Data_Sink -> R_Spg.Data_Sink;
parameter N_Cycle -> R_Spg.N_Cycle;
properties
Dispatch_Protocol => Periodic;
Period => 500 Ms;
deadline => 500 Ms;
Priority => 20;
end R.Impl;
end Software;
\ No newline at end of file
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment