interfaceview.aadl 6.65 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 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190
PACKAGE interfaceview::IV
PUBLIC
WITH DataView;
WITH interfaceview::FV;
WITH Taste;

---------------------------------------------------
-- TASTE Interface View 
---------------------------------------------------

  SYSTEM interfaceview
  END interfaceview;

  SYSTEM IMPLEMENTATION interfaceview.others
    SUBCOMPONENTS
      A: SYSTEM interfaceview::IV::A.others
        { Taste::Coordinates => "551 435 1146 885"; };
      B: SYSTEM interfaceview::IV::B.others
        { Taste::Coordinates => "1814 424 2423 907"; };
      C: SYSTEM interfaceview::IV::C.others
        { Taste::Coordinates => "1666 1219 2202 1436"; };
    CONNECTIONS
      obj453 : SUBPROGRAM ACCESS B.callee_obj107  -> A.caller_obj86 
        { Taste::Coordinates => "1146 606 1480 606 1480 606 1814 606"; };
      obj1030 : SUBPROGRAM ACCESS C.callee_obj791  -> A.call_c_obj810 
        { Taste::Coordinates => "1146 760 1406 760 1406 1362 1666 1362"; };
      obj475 : SUBPROGRAM ACCESS B.second_callee_obj262  -> C.obj370_obj370 
        { Taste::Coordinates => "1973 1219 1973 1064 1974 1064 1974 907"; };
      obj733 : SUBPROGRAM ACCESS B.callee_obj107  -> C.obj632_obj632 
        { Taste::Coordinates => "1751 1219 1751 606 1814 606"; };
  END interfaceview.others;

  ---------------------------------------------------
  -- TASTE Function: interfaceview::IV::A
  ---------------------------------------------------

  SYSTEM A
    FEATURES
      cyclic_activation_obj75 : PROVIDES SUBPROGRAM ACCESS interfaceview::FV::cyclic_activation_obj75.others
        { Taste::Coordinates => "551 529";
          Taste::RCMoperationKind => cyclic;
          Taste::RCMperiod => 2000 ms;
          Taste::Deadline => 0 ms;
          Taste::Importance => MEDIUM ;};
      caller_obj86 : REQUIRES SUBPROGRAM ACCESS interfaceview::FV::callee_obj107.others 
        { Taste::Coordinates => "1146 606";
          Taste::RCMoperationKind => sporadic;};
      call_c_obj810 : REQUIRES SUBPROGRAM ACCESS interfaceview::FV::callee_obj791.others 
        { Taste::Coordinates => "1146 760";
          Taste::RCMoperationKind => sporadic;};
    PROPERTIES
      Source_Language => C;
      Taste::Instance_Name => "Function0";
  END A;

  SYSTEM IMPLEMENTATION A.others
    SUBCOMPONENTS
      cyclic_activation_obj75_impl : SUBPROGRAM interfaceview::FV::cyclic_activation_obj75.others
        { Compute_Execution_Time => 0ms..0ms ;};
    CONNECTIONS
      SUBPROGRAM ACCESS cyclic_activation_obj75_impl  -> cyclic_activation_obj75;
  END A.others;

  ---------------------------------------------------
  -- TASTE Function: interfaceview::IV::B
  ---------------------------------------------------

  SYSTEM B
    FEATURES
      callee_obj107 : PROVIDES SUBPROGRAM ACCESS interfaceview::FV::callee_obj107.others
        { Taste::Coordinates => "1814 606";
          Taste::RCMoperationKind => sporadic;
          Taste::RCMperiod => 0 ms;
          Taste::Deadline => 0 ms;
          Taste::Importance => MEDIUM ;};
      second_callee_obj262 : PROVIDES SUBPROGRAM ACCESS interfaceview::FV::second_callee_obj262.others
        { Taste::Coordinates => "1974 907 1974 907";
          Taste::RCMoperationKind => sporadic;
          Taste::RCMperiod => 0 ms;
          Taste::Deadline => 0 ms;
          Taste::Importance => MEDIUM ;};
    PROPERTIES
      Source_Language => C;
      Taste::Instance_Name => "Function1";
  END B;

  SYSTEM IMPLEMENTATION B.others
    SUBCOMPONENTS
      callee_obj107_impl : SUBPROGRAM interfaceview::FV::callee_obj107.others
        { Compute_Execution_Time => 0ms..0ms ;};
      second_callee_obj262_impl : SUBPROGRAM interfaceview::FV::second_callee_obj262.others
        { Compute_Execution_Time => 0ms..0ms ;};
    CONNECTIONS
      SUBPROGRAM ACCESS callee_obj107_impl  -> callee_obj107;
      SUBPROGRAM ACCESS second_callee_obj262_impl  -> second_callee_obj262;
  END B.others;

  ---------------------------------------------------
  -- TASTE Function: interfaceview::IV::C
  ---------------------------------------------------

  SYSTEM C
    FEATURES
      obj370_obj370 : REQUIRES SUBPROGRAM ACCESS interfaceview::FV::second_callee_obj262.others 
        { Taste::Coordinates => "1973 1219 1973 1219";
          Taste::RCMoperationKind => sporadic;};
      obj632_obj632 : REQUIRES SUBPROGRAM ACCESS interfaceview::FV::callee_obj107.others 
        { Taste::Coordinates => "1751 1219";
          Taste::RCMoperationKind => sporadic;};
      cyclic_activation_obj754 : PROVIDES SUBPROGRAM ACCESS interfaceview::FV::cyclic_activation_obj754.others
        { Taste::Coordinates => "1666 1310";
          Taste::RCMoperationKind => cyclic;
          Taste::RCMperiod => 5000 ms;
          Taste::Deadline => 0 ms;
          Taste::Importance => MEDIUM ;};
      callee_obj791 : PROVIDES SUBPROGRAM ACCESS interfaceview::FV::callee_obj791.others
        { Taste::Coordinates => "1666 1362";
          Taste::RCMoperationKind => sporadic;
          Taste::RCMperiod => 0 ms;
          Taste::Deadline => 0 ms;
          Taste::Importance => MEDIUM ;};
    PROPERTIES
      Source_Language => C;
      Taste::Instance_Name => "Function0";
  END C;

  SYSTEM IMPLEMENTATION C.others
    SUBCOMPONENTS
      cyclic_activation_obj754_impl : SUBPROGRAM interfaceview::FV::cyclic_activation_obj754.others
        { Compute_Execution_Time => 0ms..0ms ;};
      callee_obj791_impl : SUBPROGRAM interfaceview::FV::callee_obj791.others
        { Compute_Execution_Time => 0ms..0ms ;};
    CONNECTIONS
      SUBPROGRAM ACCESS cyclic_activation_obj754_impl  -> cyclic_activation_obj754;
      SUBPROGRAM ACCESS callee_obj791_impl  -> callee_obj791;
  END C.others;



PROPERTIES
  Taste::Coordinates => "0 0 2970 2100";
  Taste::dataView => ("DataView");
  Taste::dataViewPath => ("DataView.aadl");

END interfaceview::IV;

PACKAGE interfaceview::FV
PUBLIC

WITH DataView;
WITH TASTE;

  SUBPROGRAM cyclic_activation_obj75
  END cyclic_activation_obj75;

  SUBPROGRAM IMPLEMENTATION cyclic_activation_obj75.others
  END cyclic_activation_obj75.others;

  SUBPROGRAM callee_obj107
    PROPERTIES
      Taste::Associated_Queue_Size => 2;
  END callee_obj107;

  SUBPROGRAM IMPLEMENTATION callee_obj107.others
  END callee_obj107.others;

  SUBPROGRAM second_callee_obj262
    PROPERTIES
      Taste::Associated_Queue_Size => 1;
  END second_callee_obj262;

  SUBPROGRAM IMPLEMENTATION second_callee_obj262.others
  END second_callee_obj262.others;

  SUBPROGRAM cyclic_activation_obj754
  END cyclic_activation_obj754;

  SUBPROGRAM IMPLEMENTATION cyclic_activation_obj754.others
  END cyclic_activation_obj754.others;

  SUBPROGRAM callee_obj791
    PROPERTIES
      Taste::Associated_Queue_Size => 1;
  END callee_obj791;

  SUBPROGRAM IMPLEMENTATION callee_obj791.others
  END callee_obj791.others;

END interfaceview::FV;