46 rue d’Amsterdam

75009 Paris

Phone: +33 1 49 70 67 16

Fax: +33 1 49 70 05 52


AdaCore articles

Displaying 1 - 2 of 2

How Safe Are Our Roads?

How Safe Are Our Roads?
Robert Dewar, President of AdaCore, explains why, in his opinion, the rising level of — and dependence on — software in cars is becoming something we should all be worrying about.
11th June 2013

TOYOTA ITC Japan Selects SPARK Pro Language and Toolset for High-Reliability Research Project

AdaCore and Altran today announced TOYOTA InfoTechnology Center (ITC) Japan’s selection of the SPARK language and SPARK Pro toolset for a high-reliability software research project. The goal of the project is to show that software requirements can be transformed into an implementation that can be proven to be free of run-time errors. This will have the key advantage of providing ultra-low-defect software for higher reliability in a vehicle component. An added benefit is the reduction of development and maintenance effort, since the formal approach being used can give mathematical assurance to a variety of correctness properties, reducing the need for certain types of testing and eliminating the need for post-deployment corrections.
23rd April 2013

Sign up to view our publications

Sign up

Sign up to view our downloads

Sign up

Vietnam International Defense & Security Exhibition 2020
4th March 2020
Vietnam National Convention Center, Hanoi