test.aadl.out 499 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







jhugues's avatar
jhugues committed
9

10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29
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;