LIVERPOOL, United Kingdom, NEW YORK & PARIS--(BUSINESS WIRE)--AdaCore announced the start of the Lunar IceCube project, a major development effort that will use the GNAT Pro and SPARK toolsets to help achieve the high reliability required for space missions.