AdaCore

Address:
46 rue d’Amsterdam

75009 Paris
France

Phone: +33 1 49 70 67 16

Fax: +33 1 49 70 05 52

Web: http://www.adacore.com


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

SENSOR+TEST 2018
26th June 2018
Germany Nürnberg Exhibition Centre
European Microwave Week 2018
23rd September 2018
Spain Ifema Feria De Madrid
Engineering Design Show 2018
17th October 2018
United Kingdom Ricoh Arena, Coventry
electronica 2018
13th November 2018
Germany Messe Munchen
SPS IPC Drives 2018
27th November 2018
Germany Nuremberg