AdaCore Tech Days Paris — 5 October, 2017 — ServCorp / Centre de Conférences Edouard VII — Paris, France

AdaCore technical staff will present the latest news about the company's current and planned product offerings and activities including GNAT Pro, CodePeer, SPARK Pro, and QGen.

Agenda

08:30 – 09:00
- Registration
09:00 – 10:30
- Introduction/Welcome
- Market perspective
- Commercial offer evolution
- GNAT Pro update
10:30 – 11:00
- Break
11:00 – 12:30
- Static Analysis update
- Lightweight static analysis with libadalang
- QGen update
12:30 – 14:00
- Lunch
14:00 – 15:30
- Code coverage approaches
- Sharing files across projects through project files
- Dealing with platform obsolescence
15:30 – 16:00
- Break
16:00 – 17:30
- Customer presentations
Flight software of the Ariane 6 launcher

David Lesens, ArianeGroup


Ada in a real-time Windows-based manufacturing system

Wiljan Derks, Nexperia

- GPS for bare metal development
- A platform for autonomous vehicles in Ada and SPARK
- Ada 2020 update
- Conclusions
17:30 – 19:00
- Reception


View a collection of slides from the 2016 event

The Venue

ServCorp
Centre de Conférences Edouard VII
23 square Edouard VII
75009 PARIS.
Visit the venue website

Registration

If you are interested in the event you may pre-register using the form below or contact us at info@adacore.com for more information.

Data
First Name *
Last Name *
Job Title *
Organization *
Customer Number (optional)
Country *
Tel *
Email *
Any feedback or topic suggestions?