test.aadl.out 562 Bytes
Newer Older
yoogx's avatar
yoogx committed
1
test.aadl:17:20: warning: no support provided for annex language error_model
2
3
4
5
6
7
8
9
test.aadl:21:18: warning: negative exponent in integer literal







jhugues's avatar
jhugues committed
10

11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
package Annex_Parsing
public
  data Sample
    annex Error_Model none
      in modes (mode1, mode2);
  end Sample;

  thread Collect_Samples
  features
    Input_Sample : in data port Sample;
    Output_Average : out data port Sample;

    annex Error_Model {**

   Model => Transient_Fault_Model;

   Occurrence => 10e-4 poisson applies to Transient_Fault;
       **};
  end Collect_Samples;

31
32
end Annex_Parsing;