BCS Edinburgh: The role of software in aerospace systems