.
Main Covid-19 vesselsFind vesselVessels listPopular vesselsWaterway TransitsRoutesPortsRegisterLoginTraffic globe
Covid-19 vesselsFind vesselVessels listPopular vesselsWaterway TransitsRoutesPortsRegisterLoginTraffic globe
Vessel photo of ATLANTIS A (IMO 9354375) vesseltracker.com

PM flag ATLANTIS A

Vessel type: Container Ship | IMO: 9354375 | MMSI: MMSI: 255805954
Call sign: CQIG6 | Dimensions: 134 m x 134 m
Current Status

Where is the vessel?

ATLANTIS A is currently in Near Haarlemmermeer, based on AIS data received less than 1h ago.

Latest AIS update:

Current position: 51.99527° N, 3.95658° E (Near Haarlemmermeer)

Average speed (last 7 days): Loading…

Average speed (last 30 days): Loading…

Vessel profile: ATLANTIS A is a Container Ship with dimensions 134m x 134m.

This page combines live AIS, route history, probable destination signals, nearby traffic, and port activity for practical vessel monitoring.

The current position of vessel ATLANTIS A is 51.99527 lat / 3.95658 lng. Updated: 2026-05-15 10:16:36 UTC
Nearest reference points:
  • Near Haarlemmermeer
  • Near MAASVLAKTE - ROTTERDAM
  • Near HOEK VAN HOLLAND

Currently sailing under the flag of Portugal (MAR) PM flag

ATLANTIS A built in 2007 year

Deadweight:
11435 t

Details:

Live Vessel ATLANTIS A Analytics (details, animations, etc.)


Recent AIS points (UTC):
2026-05-15 07:07:55 UTC · 51.92585, 3.80661 · SOG 0.2 kn · COG 31°
2026-05-15 07:37:41 UTC · 51.92594, 3.80677 · SOG 0.1 kn · COG 25°
2026-05-15 10:01:44 UTC · 51.98703, 3.87739 · SOG 7.9 kn · COG 79°
2026-05-15 10:16:36 UTC · 51.99527, 3.95658 · SOG 15.4 kn · COG 81°

Track of the vessel in the last 60 days


UTC: --
Start: -- Track timeline (UTC) End: --
Encountered: --


Link to the map:

Find another ship

AI agent endpoints for this vessel

ATLANTIS_A (255805954) last ports (portcalls and passsages)

Westvoorne | 2025-09-15 12:41:43
Carreño | 2025-09-08 17:52:32
Verina | 2025-09-08 15:54:58
BRIELLE | 2025-09-04 06:00:38
HOEK VAN HOLLAND | 2025-09-03 09:25:26
BRIELLE | 2025-08-30 21:51:19
HOEK VAN HOLLAND | 2025-08-30 07:38:58
WICKLOW | 2025-08-28 13:21:04
Dun Laoghaire | 2025-08-25 04:23:01
HOWTH | 2025-08-25 02:49:24
PORTAVOGIE | 2025-08-24 18:16:51
Belfast | 2025-08-24 07:55:32
BANGOR | 2025-08-24 06:34:20
HOEK VAN HOLLAND | 2025-08-21 22:02:34
BRIELLE | 2025-08-20 21:06:37
HOEK VAN HOLLAND | 2025-08-17 21:57:32
MUSEL ARNAO | 2025-08-13 16:26:58
Urdiales | 2025-08-12 03:29:54
BRIELLE | 2025-08-08 06:24:38
BRIELLE | 2025-08-04 06:07:15
Belfast | 2025-07-31 06:08:26
Carrickfergus | 2025-07-31 04:46:19
BANGOR | 2025-07-31 04:09:39
PORTAVOGIE | 2025-07-31 00:18:26
Dublin | 2025-07-29 17:04:16
HOWTH | 2025-07-29 12:40:36
Dun Laoghaire | 2025-07-29 11:42:16
GREYSTONES | 2025-07-29 11:08:22
WICKLOW | 2025-07-29 09:49:56
HOEK VAN HOLLAND | 2025-07-26 15:39:22
BRIELLE | 2025-07-23 22:43:30
HOEK VAN HOLLAND | 2025-07-22 15:28:41
Carrickfergus | 2025-07-17 11:07:48
Dublin | 2025-07-15 22:57:33
HOWTH | 2025-07-15 20:58:08
GREYSTONES | 2025-07-15 19:51:33
BRIELLE | 2025-07-11 21:10:03
HOEK VAN HOLLAND | 2025-07-11 08:22:04
Belfast | 2025-07-07 07:39:47
BANGOR | 2025-07-07 06:35:43
PORTAVOGIE | 2025-07-07 04:23:58
BRIELLE | 2025-07-04 07:55:11
HOEK VAN HOLLAND | 2025-07-03 19:22:33
BRIELLE | 2025-06-30 07:24:51
HOEK VAN HOLLAND | 2025-06-29 19:03:35
MUSEL ARNAO | 2025-06-26 09:19:04
Urdiales | 2025-06-25 21:23:17
Bilbao | 2025-06-24 16:20:41
HOEK VAN HOLLAND | 2025-06-21 13:23:26
BRIELLE | 2025-06-21 11:52:35
KRIMPEN | 2025-06-17 19:05:38
BRIELLE | 2025-06-17 02:43:01
HOEK VAN HOLLAND | 2025-06-16 13:34:37
MAASVLAKTE - ROTTERDAM | 2025-06-16 12:34:31
Dun Laoghaire | 2025-06-11 10:06:22
HOWTH | 2025-06-11 08:28:27
PORTAVOGIE | 2025-06-11 01:03:58
Belfast | 2025-06-09 16:24:32
BANGOR | 2025-06-09 15:10:07
BRIELLE | 2025-06-06 06:14:28
BRIELLE | 2025-06-02 05:43:03
Urdiales | 2025-05-29 13:05:08
MUSEL ARNAO | 2025-05-28 15:48:29
BRIELLE | 2025-05-25 18:04:33
HOEK VAN HOLLAND | 2025-05-25 11:00:27
MAASVLAKTE - ROTTERDAM | 2025-05-25 09:38:20
BOTLEK - ROTTERDAM | 2025-05-24 08:14:03
KRIMPEN | 2025-05-21 19:22:21
BRIELLE | 2025-05-21 17:37:36
HOEK VAN HOLLAND | 2025-05-21 10:28:12
MAASVLAKTE - ROTTERDAM | 2025-05-21 09:04:23
BANGOR | 2025-05-17 11:46:06
PORTAVOGIE | 2025-05-17 09:25:19
HOWTH | 2025-05-17 02:36:58
Dublin | 2025-05-16 15:01:09
Dun Laoghaire | 2025-05-16 13:26:45
GREYSTONES | 2025-05-16 11:50:50
BRIELLE | 2025-05-12 15:49:12
HOEK VAN HOLLAND | 2025-05-12 15:25:18
BRIELLE | 2025-05-08 15:34:08
HOEK VAN HOLLAND | 2025-05-08 15:23:51
MUSEL ARNAO | 2025-05-03 22:29:36
LASTRES | 2025-05-03 20:33:49
Urdiales | 2025-05-03 10:45:52
Bilbao | 2025-05-02 15:17:37
BRIELLE | 2025-04-27 22:08:38
HOEK VAN HOLLAND | 2025-04-27 08:30:34
BASTIAAN DE LANGEPLA | 2025-04-27 01:49:09
PAAL | 2025-04-26 12:20:26
Terneuzen | 2025-04-26 10:49:43
BRUNSBUETTEL | 2025-04-24 22:28:11
RENDSBURG | 2025-04-24 15:20:31
MOELTENORT | 2025-04-24 12:19:52
HEL | 2025-04-23 07:44:35
Gdynia | 2025-04-22 16:07:39
Gdynia | 2025-04-18 15:47:14
Gdansk | 2025-04-14 18:16:19
Gdansk | 2025-04-10 17:02:13
Gdansk | 2025-04-06 16:17:24
Gdansk | 2025-04-02 15:45:24
Gdansk | 2025-03-29 14:32:26
Gdansk | 2025-03-25 14:06:26
Gdynia | 2025-03-23 14:23:43
HEL | 2025-03-23 13:05:42
MOELTENORT | 2025-03-22 01:47:25
BORGSTEDT | 2025-03-21 22:28:21
RENDSBURG | 2025-03-21 21:59:18
BRUNSBUETTEL | 2025-03-21 16:36:26
Cuxhaven | 2025-03-21 15:47:13
PARKHAVEN | 2025-03-18 01:16:15
SPIJKENISSE | 2025-03-17 23:21:24
BRIELLE | 2025-03-17 23:13:36
HOWTH | 2025-03-13 12:47:49
GREYSTONES | 2025-03-13 11:34:49
HOEK VAN HOLLAND | 2025-03-11 05:19:20
BRIELLE | 2025-03-07 20:19:02
HOEK VAN HOLLAND | 2025-03-07 05:16:27
MUSEL ARNAO | 2025-03-02 19:45:09
LASTRES | 2025-03-02 18:29:02
Urdiales | 2025-03-02 10:29:17
Bilbao | 2025-03-01 14:17:08
PARKHAVEN | 2025-02-23 12:50:18
BRIELLE | 2025-02-23 11:48:10
Dun Laoghaire | 2025-02-19 16:11:17
HOWTH | 2025-02-19 14:33:30
Belfast | 2025-02-18 07:37:32
BANGOR | 2025-02-18 06:42:05
BRIELLE | 2025-02-13 23:34:22
HOEK VAN HOLLAND | 2025-02-13 15:21:39
BRIELLE | 2025-02-09 23:04:52
HOEK VAN HOLLAND | 2025-02-09 14:55:38
Urdiales | 2025-02-05 08:11:35
LASTRES | 2025-02-04 22:56:10
MUSEL ARNAO | 2025-02-03 18:03:21
BRIELLE | 2025-01-30 14:43:44
HOEK VAN HOLLAND | 2025-01-29 10:59:02
Pentland Firth | 2025-01-26 20:42:15
Carrickfergus | 2025-01-23 22:25:18
HOWTH | 2025-01-22 00:22:20
Dover | 2025-01-20 08:18:48
BRIELLE | 2025-01-19 15:03:23
HOEK VAN HOLLAND | 2025-01-18 15:16:36
Bilbao | 2025-01-11 02:29:26
Urdiales | 2025-01-10 22:20:35
MUSEL ARNAO | 2025-01-10 04:43:06
Dover | 2025-01-08 06:23:14
BRIELLE | 2025-01-06 18:31:49
HOEK VAN HOLLAND | 2025-01-05 22:58:32
KRIMPEN | 2025-01-02 20:21:38
ROTTERDAM PERNIS | 2025-01-02 18:38:10
BRIELLE | 2025-01-02 18:12:48
HOEK VAN HOLLAND | 2025-01-01 22:50:52
Belfast | 2024-12-28 13:35:04
BANGOR | 2024-12-28 13:09:54
PORTAVOGIE | 2024-12-28 11:21:21
HOWTH | 2024-12-24 10:59:19
GREYSTONES | 2024-12-24 09:12:32
WICKLOW | 2024-12-24 08:04:42
BRIELLE | 2024-12-21 07:41:03
BOTLEK - ROTTERDAM | 2024-12-21 06:23:34
KRIMPEN | 2024-12-20 05:07:16
ROTTERDAM PERNIS | 2024-12-20 04:08:23
KRIMPEN | 2024-12-16 04:19:20
BRIELLE | 2024-12-16 02:50:22
HOEK VAN HOLLAND | 2024-12-15 18:02:30
MUSEL ARNAO | 2024-12-12 12:26:57
LASTRES | 2024-12-12 10:14:48
Urdiales | 2024-12-10 16:46:39
BRIELLE | 2024-12-08 00:27:39
HOEK VAN HOLLAND | 2024-12-07 06:26:47
BRIELLE | 2024-12-03 23:37:13
HOEK VAN HOLLAND | 2024-12-03 05:50:49
BANGOR | 2024-11-30 19:10:28
Carrickfergus | 2024-11-29 02:25:14
PORTAVOGIE | 2024-11-29 00:28:50
HOWTH | 2024-11-28 06:06:13
BRIELLE | 2024-11-24 19:10:30
HOEK VAN HOLLAND | 2024-11-24 01:29:02
MAASVLAKTE - ROTTERDAM | 2024-11-24 00:04:38
BRIELLE | 2024-11-20 18:51:19
HOEK VAN HOLLAND | 2024-11-20 00:29:26
MAASVLAKTE - ROTTERDAM | 2024-11-19 23:47:00
Bilbao | 2024-11-15 23:10:09
MUSEL ARNAO | 2024-11-15 04:23:08
HOEK VAN HOLLAND | 2024-11-10 01:55:25
Urdiales | 2024-11-05 22:16:45
MUSEL ARNAO | 2024-11-04 09:29:07
Dover | 2024-11-02 07:36:48
Dublin | 2024-10-22 07:24:11
Dun Laoghaire | 2024-10-22 06:24:18
Carrickfergus | 2024-10-18 22:14:59
Urdiales | 2024-10-08 21:00:23
Dover | 2024-10-05 16:21:23
Bilbao | 2024-09-27 10:12:02
Urdiales | 2024-09-27 09:24:44
Maassluis | 2024-09-23 11:53:53
Cobn | 2024-09-16 10:33:59
Belfast | 2024-09-14 06:51:17
Carrickfergus | 2024-09-14 01:15:41
Urdiales | 2024-09-05 18:32:05
Bilbao | 2024-09-04 09:24:53
Cobn | 2024-08-26 08:04:54
Belfast | 2024-08-23 17:31:51
Carrickfergus | 2024-08-22 06:23:02
Dublin | 2024-08-21 01:27:57
Dun Laoghaire | 2024-08-21 00:46:11
Maassluis | 2024-08-16 15:26:12
Dublin | 2024-08-09 22:32:46
Dun Laoghaire | 2024-08-09 20:46:10
Dover | 2024-08-08 00:33:20
Dun Laoghaire | 2024-07-31 09:24:32
Rotterdam | 2024-07-26 07:19:48
Vlaardingen | 2024-07-26 05:58:38
Cuxhaven | 2024-07-20 19:09:14
Nord-Ostsee-Kanal | 2024-07-20 07:10:25
Gdynia | 2024-07-18 17:57:30
Nord-Ostsee-Kanal | 2024-07-14 16:39:48
Vlissingen | 2024-07-13 07:02:18
Terneuzen | 2024-07-12 15:02:19
Cuxhaven | 2024-07-03 00:27:41
Nord-Ostsee-Kanal | 2024-07-02 10:57:18
Kotka | 2024-06-28 04:16:11
Helsinki | 2024-06-27 04:38:18
Nord-Ostsee-Kanal | 2024-06-24 19:46:48
Cuxhaven | 2024-06-24 08:27:17
Terneuzen | 2024-06-23 12:26:52
Vlissingen | 2024-06-22 23:27:30
Cuxhaven | 2024-06-19 21:04:21
Nord-Ostsee-Kanal | 2024-06-19 09:24:05
Kotka | 2024-06-14 17:29:45
Helsinki | 2024-06-13 07:05:13
Nord-Ostsee-Kanal | 2024-06-10 21:18:43
Cuxhaven | 2024-06-10 09:21:20
Terneuzen | 2024-06-09 12:08:38
Vlissingen | 2024-06-06 08:18:14
Rotterdam | 2024-06-02 09:50:56
Vlaardingen | 2024-06-02 09:25:42
Dublin | 2024-05-28 08:20:12
Dun Laoghaire | 2024-05-28 06:38:23
Vlaardingen | 2024-05-21 13:58:40
Dun Laoghaire | 2024-05-14 23:01:15
Urdiales | 2024-05-03 06:11:00
Cobn | 2024-04-23 22:51:19
Carrickfergus | 2024-04-21 19:28:23
Vlaardingen | 2024-04-15 12:56:04
Dublin | 2024-04-08 21:56:42
Dun Laoghaire | 2024-04-08 19:38:53
Dublin | 2024-04-04 20:52:15
Dun Laoghaire | 2024-04-04 18:30:01
Dover | 2024-04-02 21:02:03
Cobh | 2024-03-27 06:50:53
Cobn | 2024-03-27 05:45:58
Carrickfergus | 2024-03-26 05:31:55
Belfast | 2024-03-25 09:56:21
Vlaardingen | 2024-03-20 14:11:32
Maassluis | 2024-03-19 19:35:14
Belfast | 2024-03-13 17:49:54
Carrickfergus | 2024-03-13 15:14:08
Urdiales | 2024-02-29 02:09:03
Bilbao | 2024-02-27 17:19:35
Dover | 2024-02-24 15:27:59
Cobn | 2024-02-18 06:21:08
Belfast | 2024-02-15 12:49:24
Carrickfergus | 2024-02-15 11:04:21
Dun Laoghaire | 2024-02-14 16:15:36
Portsmouth | 2024-02-13 13:05:29
Southampton | 2024-02-13 01:42:00
Cowes | 2024-02-13 01:20:07
Dover | 2024-02-12 16:02:36
Urdiales | 2024-02-03 23:50:29
Bilbao | 2024-02-03 05:26:45
Dun Laoghaire | 2024-01-21 01:06:32
Dublin | 2024-01-13 21:53:44
Dun Laoghaire | 2024-01-13 20:46:55
Dublin | 2023-12-07 19:34:06
Dun Laoghaire | 2023-12-07 18:40:26
Bilbao | 2023-11-28 06:11:10
Urdiales | 2023-11-28 05:10:43
Dun Laoghaire | 2023-11-16 12:12:35
Dun Laoghaire | 2023-11-09 13:20:34
Maassluis | 2023-11-06 00:21:45
Dun Laoghaire | 2023-11-02 05:55:54
Dublin | 2023-10-26 13:04:14
Dun Laoghaire | 2023-10-26 11:30:20
Maassluis | 2023-10-23 20:23:31
Dublin | 2023-10-18 21:07:33
Dun Laoghaire | 2023-10-18 20:20:32
Dun Laoghaire | 2023-10-11 12:26:25
Dublin | 2023-10-03 12:05:42
Dun Laoghaire | 2023-10-03 10:26:00
Maassluis | 2023-09-29 21:53:33
Dun Laoghaire | 2023-09-21 16:25:30
Vlaardingen | 2023-09-17 08:21:28
Cuxhaven | 2023-09-15 21:53:04
Nord-Ostsee-Kanal | 2023-09-15 10:25:44
Riga | 2023-09-12 18:46:59
Klaipeda | 2023-09-11 12:10:08
Gdynia | 2023-09-09 19:28:05
Korsor | 2023-09-08 17:30:46
Middlefart | 2023-09-08 06:06:58
Fredericia | 2023-09-08 04:51:09
Nord-Ostsee-Kanal | 2023-09-07 16:17:39
Vlaardingen | 2023-09-04 01:27:58
Lisbon | 2023-08-29 14:51:20
Oporto | 2023-08-28 09:01:49
Rotterdam | 2023-08-22 00:30:23
Vlaardingen | 2023-08-21 22:45:10
Dun Laoghaire | 2023-08-16 04:02:53
Dun Laoghaire | 2023-08-08 14:06:55
Dublin | 2023-08-01 11:14:39
Dun Laoghaire | 2023-08-01 10:19:13
Dover | 2023-07-30 18:19:57
Dublin | 2023-07-24 10:30:03
Dun Laoghaire | 2023-07-24 09:30:15
Dun Laoghaire | 2023-07-13 11:24:09
Dublin | 2023-07-06 00:49:42
Dun Laoghaire | 2023-07-05 23:44:55
Bilbao | 2023-06-28 06:25:23
Maassluis | 2023-06-22 07:48:08
Southampton | 2023-06-18 20:54:04
Portsmouth | 2023-06-18 19:28:58
Cobn | 2023-06-16 18:19:55
Dun Laoghaire | 2023-06-15 17:10:46
Carrickfergus | 2023-06-14 20:00:26
Cowes | 2023-06-13 09:47:05
Southampton | 2023-06-12 22:16:51
Portsmouth | 2023-06-12 20:43:38
Vlaardingen | 2023-06-08 02:14:31
Southampton | 2023-06-05 08:16:32
Cowes | 2023-06-05 06:42:49
Portsmouth | 2023-06-05 05:53:51
Cobn | 2023-06-02 05:42:34
Dun Laoghaire | 2023-05-31 15:54:31
Belfast | 2023-05-30 15:12:54
Carrickfergus | 2023-05-30 09:38:41
Southampton | 2023-05-28 08:22:37
Cowes | 2023-05-28 07:49:53
Portsmouth | 2023-05-28 07:25:48
Southampton | 2023-05-21 09:56:58
Portsmouth | 2023-05-21 09:12:09
Cobh | 2023-05-19 06:01:45
Cobn | 2023-05-19 04:59:50
Dun Laoghaire | 2023-05-18 07:52:12
Belfast | 2023-05-17 06:33:57
Carrickfergus | 2023-05-16 19:44:34
Southampton | 2023-05-14 14:14:41
Cowes | 2023-05-14 13:13:23
Cowes | 2023-05-08 02:25:34
Southampton | 2023-05-07 14:35:42
Portsmouth | 2023-05-07 13:28:19
Cobh | 2023-05-05 18:28:37
Cobn | 2023-05-05 16:44:00
Carrickfergus | 2023-05-04 19:52:13
Belfast | 2023-05-04 02:33:34
Dun Laoghaire | 2023-05-03 05:48:16
Southampton | 2023-05-01 07:26:02
Portsmouth | 2023-05-01 06:24:43
Southampton | 2023-04-24 15:53:28
Portsmouth | 2023-04-24 15:04:50
Cobn | 2023-04-23 01:14:53
Belfast | 2023-04-21 08:04:00
Carrickfergus | 2023-04-21 06:45:36
Dun Laoghaire | 2023-04-19 08:15:24
Cobh | 2023-04-18 05:40:26
Cobn | 2023-04-18 05:13:31
Portsmouth | 2023-04-16 19:48:21
Southampton | 2023-04-16 12:10:06
Cowes | 2023-04-16 10:22:24
Cobn | 2023-04-09 14:33:54
Dun Laoghaire | 2023-04-06 07:58:24
Cowes | 2023-04-04 01:11:09
Southampton | 2023-04-03 22:22:56
Portsmouth | 2023-03-27 01:23:45
Southampton | 2023-03-26 16:48:38
Cobn | 2023-03-24 08:25:59
Dun Laoghaire | 2023-03-22 12:01:10
Carrickfergus | 2023-03-21 08:36:42
Cowes | 2023-03-19 14:03:37
Southampton | 2023-03-19 08:10:37
Portsmouth | 2023-03-19 05:20:48
Portsmouth | 2023-03-13 08:43:43
Southampton | 2023-03-12 23:29:22
Cobn | 2023-03-10 23:02:14
Dun Laoghaire | 2023-03-09 17:16:38
Belfast | 2023-03-07 20:37:57
Carrickfergus | 2023-03-07 17:55:35
Southampton | 2023-03-05 17:17:31
Maassluis | 2023-03-01 17:11:12
Portsmouth | 2023-02-27 02:19:29
Southampton | 2023-02-26 14:43:59
Cobh | 2023-02-24 15:06:05
Cobn | 2023-02-24 11:40:04
Dun Laoghaire | 2023-02-23 14:52:45
Carrickfergus | 2023-02-22 15:09:08
Portsmouth | 2023-02-20 21:00:10
Southampton | 2023-02-20 08:48:06
Southampton | 2023-02-12 14:34:55
Cobh | 2023-02-10 14:07:01
Cobn | 2023-02-10 11:33:30
Dun Laoghaire | 2023-02-09 14:44:41
Belfast | 2023-02-08 09:17:41
Southampton | 2023-02-05 23:08:13
Cowes | 2023-01-30 15:07:28
Southampton | 2023-01-29 23:04:21
Portsmouth | 2023-01-29 20:53:38
Cobn | 2023-01-26 12:08:38
Dun Laoghaire | 2023-01-24 23:22:55
Belfast | 2023-01-23 23:17:01
Carrickfergus | 2023-01-23 20:18:11
Cowes | 2023-01-22 02:26:24
Southampton | 2023-01-21 11:27:58
Vigo | 2023-01-11 17:04:57
Bilbao | 2023-01-07 08:47:53
Urdiales | 2023-01-07 05:41:06


ShipInfo.net

Maritime vessel tracking, fleet intelligence, waterway analytics and AIS-based situational awareness for business users, media teams and data partners.

info@shipinfo.net

Platform

Vessel Map Analytics Dashboard Waterways Globe Animations Maps Top Companies Port Congestion Speed & Market Signals Popular Vessels Site Map

Company & Legal

Trust & Company Information Terms of Service Privacy Policy Cookie Policy Business Contact

API & Agents

Machine-readable discovery and controlled API entry points for integrators and agent-native workflows.

For Agents Agent Manifest OpenAPI Capabilities Quality Signals
© shipinfo.net. Operated by SHIPINPO LLC. Data is for analytics and situational awareness; not for navigation or safety-critical decisions.