[pok-devel] [17] include memories

[subversion@xxxxxxxxxxxxx]

Revision: 17
Author:   julien
Date:     2011-08-27 19:58:07 +0200 (Sat, 27 Aug 2011)
Log Message:
-----------
include memories

Modified Paths:
--------------
    trunk/examples/case-study-osadl11/model.aadl

Modified: trunk/examples/case-study-osadl11/model.aadl
===================================================================
--- trunk/examples/case-study-osadl11/model.aadl	2011-08-27 16:42:19 UTC (rev 16)
+++ trunk/examples/case-study-osadl11/model.aadl	2011-08-27 17:58:07 UTC (rev 17)
@@ -149,14 +149,32 @@
    port thr.dataout -> pdataout;
 end snd_prs.i;
 
+memory segment
+properties
+   Word_Count => 80000;
+end segment;
+
+memory implementation segment.i
+end segment.i;
+
+memory ram
+end ram;
+
+memory implementation ram.i
+subcomponents
+   seg1: memory segment.i;
+   seg2: memory segment.i;
+end ram.i;
+
 system osal
 end osal;
 
 system implementation osal.i
 subcomponents
    cpu      : processor pok_kernel.i;
-   sender   : process snd_prs.i;
-   receiver : process recv_prs.i;
+   sender   : process   snd_prs.i;
+   receiver : process   recv_prs.i;
+   mem      : memory    ram.i;
 connections
    port sender.pdataout -> receiver.pdatain;
 properties
@@ -164,6 +182,10 @@
       (reference (cpu.partition_receiver)) applies to receiver;
    actual_processor_binding => 
       (reference (cpu.partition_sender)) applies to sender;
+   actual_memory_binding => 
+      (reference (mem.seg1)) applies to receiver;
+   actual_memory_binding => 
+      (reference (mem.seg2)) applies to sender;
 end osal.i;
 
 end case_study_osal;