test.aadl.out 517 Bytes
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
Cannot find language error_model
test.aadl:21:18: warning: negative exponent in integer literal







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;

30
31
end Annex_Parsing;