Index: firmware/App/Controllers/Pressures.c
===================================================================
diff -u -r44f739bf3e9dfe0bfb5910a6a32fc4c5b1533af3 -rd8dbfa71fd70064ffe00d09ffa270f477c8f7af2
--- firmware/App/Controllers/Pressures.c	(.../Pressures.c)	(revision 44f739bf3e9dfe0bfb5910a6a32fc4c5b1533af3)
+++ firmware/App/Controllers/Pressures.c	(.../Pressures.c)	(revision d8dbfa71fd70064ffe00d09ffa270f477c8f7af2)
@@ -194,7 +194,7 @@
     }
     else
     {
-        SET_ALARM_WITH_2_U32_DATA( ALARM_ID_DG_SOFTWARE_FAULT, SW_FAULT_ID_INVALID_PRESSURE_SENSOR_ID, pressureID );
+        SET_ALARM_WITH_2_U32_DATA( ALARM_ID_DG_SOFTWARE_FAULT, SW_FAULT_ID_INVALID_PRESSURE_SENSOR_SELECTED, pressureID );
     }
 
     return result;
@@ -351,6 +351,13 @@
                     pressures[ sensorId ].data                  = getCalibrationAppliedPressure( sensorId, pressureBeforeCal );
                     msrdPressureSum[ sensorId ]                 = 0;
                     break;
+
+#ifndef _VECTORCAST_
+                default:
+                    SET_ALARM_WITH_2_U32_DATA( ALARM_ID_DG_SOFTWARE_FAULT, SW_FAULT_ID_INVALID_PRESSURE_SENSOR_SELECTED, sensorId );
+                    break;
+#endif
+
             }
         }
     }
@@ -376,6 +383,12 @@
                     checkPersistentAlarm( ALARM_ID_DG_BARO_PRESSURE_OUT_OF_RANGE, isPressureOutOfRange, (F32)sensorId, pressureReading );
                 }
                 break;
+
+#ifndef _VECTORCAST_
+            default:
+                SET_ALARM_WITH_2_U32_DATA( ALARM_ID_DG_SOFTWARE_FAULT, SW_FAULT_ID_INVALID_PRESSURE_SENSOR_SELECTED, sensorId );
+                break;
+#endif
         }
     }