GNAT Industrial User Day

Meet. Learn. Share.

See the slides from the event »

Agenda

09:30 - 09:35
Welcome
09:35 - 10:20
New and upcoming developments in the AdaCore technology
10:20 - 11:00
Running Ada 2012, Ravenscar and SPARK on ARM: A formally-proved Tetris
11:00 - 11:30
Networking Break
11:30 - 12:15
Introducing a qualifiable code generator for Simulink
12:15 - 13:00
User cases from the field - customer presentations
13:00 - 14:00
Lunch
14:00 - 14:20
Learning Ada and SPARK: Update on the AdaCore University platform
14:20 - 15:05
The latest advances in AdaCore static analysis tools
15:05 - 15:45
Leveraging AdaCore tools to support rigorous software development processes
15:45 - 16:15
Networking Break
16:15 - 16:30
The AdaCore Factory
16:30 - 17:00
Demo workshop
  • Managing your project metrics with GNATdashboard
  • Generating documentation with the GNATdoc engine
17:00 - 17:30
AdaCore insights
17:30
Cocktail