DeploymentView.aadl 1.78 KB
Newer Older
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47
---------------------------------------------------
-- AADL2.0
-- TASTE
-- (c)Ellidiss Technologies
-- 
---------------------------------------------------

PACKAGE deploymentview::DV::pb
PUBLIC

WITH Taste;
WITH Deployment;
WITH TASTE_DV_Properties;
PROCESS demo
END demo;

PROCESS IMPLEMENTATION demo.others
END demo.others;

END deploymentview::DV::pb;

PACKAGE deploymentview::DV
PUBLIC

WITH ocarina_processors_x86;
WITH deploymentview::DV::pb;
WITH Taste;
WITH Deployment;
WITH interfaceview::IV;
WITH TASTE_DV_Properties;
SYSTEM pb
END pb;

SYSTEM IMPLEMENTATION pb.others
SUBCOMPONENTS
  IV_A : SYSTEM interfaceview::IV::A.others {
    Taste::coordinates => "1211 642 1455 809";
    Taste::FunctionName => "A";
  };
  IV_B : SYSTEM interfaceview::IV::B.others {
    Taste::coordinates => "1547 614 1901 794";
    Taste::FunctionName => "B";
  };
  demo : PROCESS deploymentview::DV::pb::demo.others {
    Taste::coordinates => "1104 516 1958 890";
    Deployment::Port_Number => 0;
  };
48
  p : PROCESSOR ocarina_processors_x86::x86.linux {
49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71
    Taste::coordinates => "1005 466 1996 919";
  };
PROPERTIES
  Taste::APLC_Binding => (reference (demo)) APPLIES TO IV_A;
  Taste::APLC_Binding => (reference (demo)) APPLIES TO IV_B;
  Actual_Processor_Binding => (reference (p)) APPLIES TO demo;
END pb.others;

SYSTEM deploymentview
END deploymentview;

SYSTEM IMPLEMENTATION deploymentview.others
SUBCOMPONENTS
  pb : SYSTEM pb.others {
    Taste::coordinates => "807 375 2789 1281";
  };
  interfaceview : SYSTEM interfaceview::IV::interfaceview.others;
END deploymentview.others;

PROPERTIES
  Taste::coordinates => "0 0 2970 2100";
  Taste::version => "1.3.17";
  Taste::interfaceView => "InterfaceView.aadl";
72
  Taste::HWLibraries => ("~/tool-inst/share/ocarina/AADLv2/ocarina_components.aadl");
73 74
END deploymentview::DV;