InterfaceView.aadl 2.05 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
---------------------------------------------------
-- AADL2.0
-- TASTE
-- (c)Ellidiss Technologies
-- 
---------------------------------------------------

PACKAGE interfaceview::FV::Function1
PUBLIC

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

SUBPROGRAM IMPLEMENTATION PI_PI1.others
END PI_PI1.others;

END interfaceview::FV::Function1;

PACKAGE interfaceview::IV
PUBLIC

WITH interfaceview::FV::Function1;
WITH interfaceview::FV;
WITH Taste;
WITH DataView;
WITH TASTE_IV_Properties;
SYSTEM Function1
FEATURES
  PI_PI1 : PROVIDES SUBPROGRAM ACCESS interfaceview::FV::Function1::PI_PI1.others {
    Taste::coordinates => "718 246";
    Taste::RCMoperationKind => cyclic;
    Taste::RCMperiod => 1000 ms;
    Taste::Deadline => 0 ms;
    Taste::InterfaceName => "PI1";
  };
PROPERTIES
  Source_Language => (C);
END Function1;

SYSTEM IMPLEMENTATION Function1.others
SUBCOMPONENTS
  flagsToCompileWith : DATA DataView::TASTE_Directive {
    Taste::FS_Default_Value => "compiler-option:""-I ~/tool-src/testSuites/Regression_AADLv2/Demo_ExternalLib/contrib/headers/""";
  };
  flagsToLinkWith : DATA DataView::TASTE_Directive {
    Taste::FS_Default_Value => "linker-option:""-L ~/tool-src/testSuites/Regression_AADLv2/Demo_ExternalLib/contrib/lib/ -lsomelib""";
  };
  PI1_impl : SUBPROGRAM interfaceview::FV::Function1::PI_PI1.others {
    Compute_Execution_Time => 0 ms .. 0 ms;
  };
CONNECTIONS
  OpToPICnx_PI1_impl : SUBPROGRAM ACCESS PI1_impl -> PI_PI1;
END Function1.others;

SYSTEM interfaceview
END interfaceview;

SYSTEM IMPLEMENTATION interfaceview.others
SUBCOMPONENTS
  Function1 : SYSTEM interfaceview::IV::Function1.others {
    Taste::coordinates => "298 246 1267 980";
  };
END interfaceview.others;

PROPERTIES
  Taste::dataView => ("DataView");
  Taste::dataViewPath => ("DataView.aadl");
  Taste::coordinates => "0 0 2970 2100";
  Taste::version => "1.3.17";
END interfaceview::IV;

PACKAGE interfaceview::FV
PUBLIC

WITH Taste;
WITH DataView;
WITH TASTE_IV_Properties;
END interfaceview::FV;