__iv_1_3.aadl 3.44 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
---------------------------------------------------
-- AADL2.1
-- TASTE type interfaceview
-- 
-- generated code: do not edit
---------------------------------------------------

PACKAGE interfaceview::FV::producer
PUBLIC

WITH Taste;
WITH DataView;
WITH TASTE_IV_Properties;
SUBPROGRAM PI_trigger
PROPERTIES
  Taste::Associated_Queue_Size => 1;
END PI_trigger;

SUBPROGRAM IMPLEMENTATION PI_trigger.others
PROPERTIES
  Compute_Execution_Time => 0 ms .. 2 ms;
END PI_trigger.others;

SUBPROGRAM RI_datax
FEATURES
  tdatax : IN PARAMETER DataView::MyData16k {
    Taste::encoding => NATIVE;
  };
END RI_datax;

SUBPROGRAM IMPLEMENTATION RI_datax.others
END RI_datax.others;

END interfaceview::FV::producer;

PACKAGE interfaceview::FV::receiver
PUBLIC

WITH Taste;
WITH DataView;
WITH TASTE_IV_Properties;
SUBPROGRAM PI_datax
FEATURES
  tdatax : IN PARAMETER DataView::MyData16k {
    Taste::encoding => NATIVE;
  };
PROPERTIES
  Taste::Associated_Queue_Size => 2;
END PI_datax;

SUBPROGRAM IMPLEMENTATION PI_datax.others
PROPERTIES
  Compute_Execution_Time => 0 ms .. 20 ms;
END PI_datax.others;

END interfaceview::FV::receiver;

PACKAGE interfaceview::IV
PUBLIC

WITH interfaceview::FV::receiver;
WITH interfaceview::FV::producer;
WITH Taste;
WITH DataView;
WITH TASTE_IV_Properties;
SYSTEM producer
FEATURES
  PI_trigger : PROVIDES SUBPROGRAM ACCESS interfaceview::FV::producer::PI_trigger.others {
    Taste::coordinates => "128030 59998";
    Taste::RCMoperationKind => cyclic;
    Taste::RCMperiod => 5000 ms;
    Taste::Deadline => 5000 ms;
    Taste::InterfaceName => "trigger";
  };
  RI_datax : REQUIRES SUBPROGRAM ACCESS interfaceview::FV::receiver::PI_datax.others {
    Taste::coordinates => "141571 80473";
    Taste::RCMoperationKind => any;
    Taste::InterfaceName => "datax";
    Taste::labelInheritance => "true";
  };
PROPERTIES
  Source_Language => (C);
  Taste::Active_Interfaces => any;
END producer;

SYSTEM IMPLEMENTATION producer.others
SUBCOMPONENTS
  trigger_impl : SUBPROGRAM interfaceview::FV::producer::PI_trigger.others;
CONNECTIONS
  OpToPICnx_trigger_impl : SUBPROGRAM ACCESS trigger_impl -> PI_trigger;
END producer.others;

SYSTEM receiver
FEATURES
  PI_datax : PROVIDES SUBPROGRAM ACCESS interfaceview::FV::receiver::PI_datax.others {
    Taste::coordinates => "172751 80473";
    Taste::RCMoperationKind => sporadic;
    Taste::RCMperiod => 5000 ms;
    Taste::Deadline => 5000 ms;
    Taste::InterfaceName => "datax";
  };
PROPERTIES
  Source_Language => (C);
  Taste::Active_Interfaces => any;
END receiver;

SYSTEM IMPLEMENTATION receiver.others
SUBCOMPONENTS
  datax_impl : SUBPROGRAM interfaceview::FV::receiver::PI_datax.others;
CONNECTIONS
  OpToPICnx_datax_impl : SUBPROGRAM ACCESS datax_impl -> PI_datax;
END receiver.others;

SYSTEM interfaceview
END interfaceview;

SYSTEM IMPLEMENTATION interfaceview.others
SUBCOMPONENTS
  producer : SYSTEM interfaceview::IV::producer.others {
    Taste::coordinates => "112123 59998 141571 103462";
  };
  receiver : SYSTEM interfaceview::IV::receiver.others {
    Taste::coordinates => "172751 59998 200152 102989";
  };
CONNECTIONS
  receiver_PI_datax_producer_RI_datax : SUBPROGRAM ACCESS receiver.PI_datax -> producer.RI_datax {
    Taste::coordinates => "141571 80473 157161 80473 157161 80473 172751 80473";
  };
END interfaceview.others;

PROPERTIES
  Taste::dataView => ("DataView");
  Taste::dataViewPath => ("DataView.aadl");
  Taste::coordinates => "0 0 297000 210000";
  Taste::version => "1.3";
END interfaceview::IV;