Made by:
1. Mikolaj Bak (mfb2g15)
2. Joseph Carden (jc28g15)
3. Adrian Copoiu (ac37g15)
4. Anish Katariya (ak7n14)
5. Edward Yeates (ery1g15)
The project defines a system that can be used for redefining runway distances for aircrafts to takeoff and land in case there is an obstacle present on it. It is a safety critical system and thoroughly tested using formal testing methods and meets the specifications for all commercial airports within the UK