test.aadl.out 515 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 30
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;

end Annex_Parsing;