Brussels / 3 & 4 February 2018

schedule

Ada devroom


09 10 11 12 13 14 15 16 17 18
Saturday Arrival & Informal Discussions Welcome An Introduction to Ada for Beginning and Experienced Programmers Making the Ada_Drivers_Library: Embedded Programming with Ada Shared Memory Parallelism in Ada: Load Balancing by Work Stealing Ada, or How to Enforce Safety Rules at Compile Time Contract-based Programming: a Route to Finding Bugs Earlier SPARK Language: Historical Perspective & FOSS Development Writing REST APIs with OpenAPI and Swagger Ada Browser-as-GUI and Web Applications with Gnoga Easy Ada Tooling with Libadalang Informal Discussions & Closing

Ada is a general-purpose programming language originally designed for safety- and mission-critical software engineering. It is used extensively in air traffic control, rail transportation, aerospace, nuclear, financial services, medical devices, etc. It is also perfectly suited for open source development.

Awareness of safety and security issues in software systems is increasing. Multi-core platforms are now abundant. These are some of the reasons that the Ada programming language and technology attracts more and more attention, among others due to Ada's support for programming by contract and for multi-core targets. The Ada 2012 language definition was approved and published by ISO in December 2012, updated early 2016, and work on new features for the next revision is ongoing. As with the prior Ada 1995 and Ada 2005 standards, the first full implementation of the Ada 2012 standard was made available in gcc - the GNU Compiler Collection (GNAT). More and more tools are available, many are open source, including for small and recent platforms. Interest keeps increasing, also in the open source community, and many exciting projects started.

The Ada DevRoom aims to present the facilities offered by the Ada language (such as for object-oriented, multicore, or embedded programming) as well as some of the many exciting tools and projects using Ada.

Event Speakers Start End

Saturday

  Arrival & Informal Discussions Dirk Craeynest 10:30 11:00
  Welcome Dirk Craeynest 11:00 11:05
  An Introduction to Ada for Beginning and Experienced Programmers Jean-Pierre Rosen 11:05 11:50
  Making the Ada_Drivers_Library: Embedded Programming with Ada Fabien Chouteau 12:00 12:50
  Shared Memory Parallelism in Ada: Load Balancing by Work Stealing Jan Verschelde 13:00 13:20
  Ada, or How to Enforce Safety Rules at Compile Time Jean-Pierre Rosen 13:30 13:50
  Contract-based Programming: a Route to Finding Bugs Earlier Jacob Sparre Andersen 14:00 14:50
  SPARK Language: Historical Perspective & FOSS Development Yannick Moy 15:00 15:50
  Writing REST APIs with OpenAPI and Swagger Ada Stephane Carrez 16:00 16:50
  Browser-as-GUI and Web Applications with Gnoga Jeffrey R. Carter 17:00 17:50
  Easy Ada Tooling with Libadalang RaphaĆ«l Amiard, Pierre-Marie De Rodat 18:00 18:20
  Informal Discussions & Closing Dirk Craeynest 18:30 19:00