This was followed in June 2009 by programming help SPARK GPL Edition 2009, aimed at programming help FOSS and academic communities. In June 2010, Altran Praxis announced that programming help SPARK programming language could be utilized in programming help application coding help US Lunar assignment CubeSat, anticipated to be achieved in 2015. The first Pro release coding help SPARK 2014 was introduced on April 30, 2014, and was simply followed by programming help SPARK 2014 GPL version, aimed toward programming help FLOSS and academic groups. SPARK has been utilized in a couple of high profile safety important techniques, masking commercial aviation Rolls Royce Trent series jet engines, programming help ARINC ACAMS system, programming help Lockheed Martin C130J, army aviation EuroFighter Typhoon, Harrier GR9, AerMacchi M346, air site visitors control UK NATS iFACTS system, rail a large number of signalling applications, scientific programming help LifeFlow ventricular assist device, and space functions programming help Vermont Technical College CubeSat task. SPARK has also been used in secure systems development. Users come with Rockwell Collins Turnstile and SecureOne cross domain solutions, programming help development coding help programming help fashioned MULTOS CA, programming help NSA Tokeneer demonstrator, programming help secunet multi level notebook, programming help Muen separation kernel and Genode block device encrypter.