fixed applies to reference.

osate · Jan 10, 2017 · 456b324 · 456b324
1 parent df648e1
commit 456b324
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/PSSAFlightControlEGI/AircraftStabilator.aadl b/PSSAFlightControlEGI/AircraftStabilator.aadl
@@ -80,7 +80,7 @@ with ErrorLibrary, ErrorBehaviorLibrary;
     		ActCmd: in propagation  {ServiceOmission,ValueError,ItemOmission};
     	flows
 		 ef1:error sink ActCmd{ValueError};
-		 ef2:error source operation {ServiceOmission} ;
+		 ef2:error source operation {GuidanceLoss} ;
 
  end propagations;
  propagation paths
@@ -96,7 +96,7 @@ with ErrorLibrary, ErrorBehaviorLibrary;
 		description => "Failure to move stabilator into desired position";
 		comment => "Is a major hazard. Pilot cannot control stabilator due to sensor failure";
 			])
-			applies to operation.ServiceOmission;
+			applies to ef2.GuidanceLoss;
     **};
   end StabilatorActuator;