Safety Tutorial Example in OSATE

[asazonova]

3 Warning(s) found in org.osate.examples/examples/safety-tutorial/packages/GPSSystem.aadl Classifier GPSProcessing refined to GPSProcessing_redundancy does not satisfy 'Classifier Match' Classifier GPSProcessing refined to GPSProcessing_redundancyState does not satisfy 'Classifier Match' Classifier GPSProcessing refined to GPSProcessing_computeError does not satisfy 'Classifier Match'

[jjhugues]

@asazonova , you should add the Classifier_Substitution_Rule property on those lines, e.g.

processing: refined to process GPSParts::GPSProcessing_redundancy
       {Classifier_Substitution_Rule => Type_Extension;};