Jan 6 '16
Altran and Jaguar Land Rover announced a strategic collaboration to develop and market a unique and ground-breaking open software platform. This platform will revolutionize traditional Electrical and Electronic (E/E) automotive architectures by bringing together cutting-edge industrial and engineering techniques with the processes, methods and tools found in the consumer electronics industry.
May 29 '13
AdaCore and its research partners today announced the successful completion of Project Hi-Lite, a three-year, €3.9 million effort aimed at popularizing formal methods in the development of high integrity software by combining formal verification and testing. Hi-Lite took advantage of Airbus’ decade-long experience using formal verification methods to create high integrity systems, and leveraged the powerful industrial tools already developed by the project partners. The work was sponsored by the French Government and the General Council of the Département of Essonne and was conducted by a partnership comprising AdaCore, Altran, Astrium Space Transportation, CEA List, INRIA Toccata and Thales Communications.
Hi-Lite’s main goal was to make formal verification faster and easier to use across large, multi-language projects that need to meet safety certification criteria, and the project has successfully achieved this objective. “Hi-Lite has allowed us to take advanced program proving technology that was developed in academia and adapt it for industrial use,” said Yannick Moy, Hi-Lite Project Manager at AdaCore. “The project has shown that formal verification can complement testing and play a prominent and practical role in verifying critical software.”
Nov 29 '12
The SPARK Pro 11 software development and verification environment has been released, providing a major step forward for the developers of high-assurance systems. SPARK Pro 11 offers many enhancements particularly in the area of program proof.
May 2 '11
The SPARK language shown to have fewest vulnerabilities.