InterfaceView.aadl 4.18 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
PACKAGE interfaceview::IV
PUBLIC
WITH DataView;
WITH interfaceview::FV;
WITH Taste;

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

  SYSTEM interfaceview
  END interfaceview;

  SYSTEM IMPLEMENTATION interfaceview.others
    SUBCOMPONENTS
      Function0: SYSTEM interfaceview::IV::Function0.others
        { Taste::Coordinates => "841 257 2165 1411"; };
      Function1: SYSTEM interfaceview::IV::Function1.others
        { Taste::Coordinates => "1166 1665 1986 2018"; };
    CONNECTIONS
      obj356 : SUBPROGRAM ACCESS Function0.pop_obj87  -> Function1.obj243_obj120 
        { Taste::Coordinates => "1280 1665 1280 1488.9 708.6 1488.9 708.6 997 841 997"; };
  END interfaceview.others;

  ---------------------------------------------------
  -- TASTE Function: interfaceview::IV::Function0
  ---------------------------------------------------

  SYSTEM Function0
    FEATURES
      plou_obj76 : PROVIDES SUBPROGRAM ACCESS interfaceview::FV::plou_obj76.others
        { Taste::Coordinates => "841 468";
          Taste::RCMoperationKind => cyclic;
          Taste::RCMperiod => 100 ms;
          Taste::Deadline => 0 ms;
          Taste::Importance => MEDIUM ;};
      pop_obj87 : PROVIDES SUBPROGRAM ACCESS interfaceview::FV::pop_obj87.others
        { Taste::Coordinates => "841 997";
          Taste::RCMoperationKind => sporadic;
          Taste::RCMperiod => 0 ms;
          Taste::Deadline => 0 ms;
          Taste::Importance => MEDIUM ;};
    PROPERTIES
      Source_Language => C;
      Taste::Instance_Name => "Function0";
  END Function0;

  SYSTEM IMPLEMENTATION Function0.others
    SUBCOMPONENTS
      hello_obj65 : DATA DataView::Taste_directive 
        { Taste::FS_Default_Value => "simulink-script:{filename ""world""}"; };
      plou_obj76_impl : SUBPROGRAM interfaceview::FV::plou_obj76.others
        { Compute_Execution_Time => 0ms..0ms ;};
      pop_obj87_impl : SUBPROGRAM interfaceview::FV::pop_obj87.others
        { Compute_Execution_Time => 0ms..0ms ;};
    CONNECTIONS
      DATA ACCESS hello_obj65 -> plou_obj76_impl.hello_obj65;
      SUBPROGRAM ACCESS plou_obj76_impl  -> plou_obj76;
      DATA ACCESS hello_obj65 -> pop_obj87_impl.hello_obj65;
      SUBPROGRAM ACCESS pop_obj87_impl  -> pop_obj87;
  END Function0.others;

  ---------------------------------------------------
  -- TASTE Function: interfaceview::IV::Function1
  ---------------------------------------------------

  SYSTEM Function1
    FEATURES
      kok_obj109 : PROVIDES SUBPROGRAM ACCESS interfaceview::FV::kok_obj109.others
        { Taste::Coordinates => "1986 1888";
          Taste::RCMoperationKind => cyclic;
          Taste::RCMperiod => 0 ms;
          Taste::Deadline => 0 ms;
          Taste::Importance => MEDIUM ;};
      obj243_obj120 : REQUIRES SUBPROGRAM ACCESS interfaceview::FV::pop_obj87.others 
        { Taste::Coordinates => "1280 1665";
          Taste::RCMoperationKind => sporadic;};
    PROPERTIES
      Source_Language => C;
      Taste::Instance_Name => "Function0";
  END Function1;

  SYSTEM IMPLEMENTATION Function1.others
    SUBCOMPONENTS
      kok_obj109_impl : SUBPROGRAM interfaceview::FV::kok_obj109.others
        { Compute_Execution_Time => 0ms..0ms ;};
    CONNECTIONS
      SUBPROGRAM ACCESS kok_obj109_impl  -> kok_obj109;
  END Function1.others;



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

END interfaceview::IV;

PACKAGE interfaceview::FV
PUBLIC

WITH DataView;
WITH TASTE;

  SUBPROGRAM plou_obj76
    FEATURES
      hello_obj65 : REQUIRES DATA ACCESS DataView::Taste_directive;
  END plou_obj76;

  SUBPROGRAM IMPLEMENTATION plou_obj76.others
  END plou_obj76.others;

  SUBPROGRAM pop_obj87
    FEATURES
      ddf : in PARAMETER DataView::MyInteger
        { Taste::encoding => NATIVE; };
      hello_obj65 : REQUIRES DATA ACCESS DataView::Taste_directive;
    PROPERTIES
      Taste::Associated_Queue_Size => 1;
  END pop_obj87;

  SUBPROGRAM IMPLEMENTATION pop_obj87.others
  END pop_obj87.others;

  SUBPROGRAM kok_obj109
  END kok_obj109;

  SUBPROGRAM IMPLEMENTATION kok_obj109.others
  END kok_obj109.others;

END interfaceview::FV;