diff --git a/src/mbed_os_tools/detect/platform_database.py b/src/mbed_os_tools/detect/platform_database.py
index 1b4789a277..0a32b7298b 100644
--- a/src/mbed_os_tools/detect/platform_database.py
+++ b/src/mbed_os_tools/detect/platform_database.py
@@ -294,10 +294,8 @@
         u"5004": u"ARM_CM3DS_MPS2",
         u"5005": u"ARM_MPS2_M0DS",
         u"5006": u"ARM_MUSCA_A1",
-        u"5007": u"ARM_MPS2_M1",
-        u"5009": u"ARM_MPS2_M3",
-        u"5011": u"ARM_MPS2_M4",
-        u"5015": u"ARM_MPS2_M7",
+        u"5007": u"ARM_MUSCA_B1",
+        u"5009": u"ARM_MUSCA_S1",
         u"5020": u"HOME_GATEWAY_6LOWPAN",
         u"5500": u"RZ_A1H",
         u"5501": u"GR_LYCHEE",