Index: firmware/App/Controllers/Pressures.c
===================================================================
diff -u -r0aa81ea20361be151e741734792be2ab4db3b9ef -r62b202c33e90b032326da24aa4067e2f5032f448
--- firmware/App/Controllers/Pressures.c	(.../Pressures.c)	(revision 0aa81ea20361be151e741734792be2ab4db3b9ef)
+++ firmware/App/Controllers/Pressures.c	(.../Pressures.c)	(revision 62b202c33e90b032326da24aa4067e2f5032f448)
@@ -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,12 @@
                     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 +382,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
         }
     }