L'Agenda du Libre

Comme beaucoup de Franciliens, vous avez déjà pris sans doute la ligne 14 du métro parisien, cette ligne de métro inaugurée en 1998 est entièrement automatique et dès sa mise en service a fonctionné sans aucun problème informatique. Une large part de cette réussite technique est due à l’utilisation du langage ADA et du système de preuve formelle basé sur le langage B.

Lors de cet atelier, animé par des experts ADA, nous découvrirons les avantages de ce langage utilisé dans les systèmes temps réel critiques. Au cours de cette journée, nous allons vous faire découvrir en quoi Ada est plus qu’un langage ; c’est également une philosophie de programmation mettant en œuvre un certain nombre de paradigmes logiciels

Petite Note historique :

ADA tire son nom de ADA lovelace qui est considérée comme la première programmeuse du monde pour avoir, dans les années 1830, programmé la machine analytique de Charles Babbage .

Objectifs :

1. Comprendre les caractéristiques du langage et plus particulièrement en quoi il s'avère pertinent pour adresser des problématiques telles que la sûreté et la sécurité.
2. Avoir quelques exemples concrets et les pointeurs nécessaires afin d'approfondir le sujet si nécessaire.

Plan :

• Rappels historiques.
• Les caractéristiques du langage.
• Le processus de développement.
• Mise en pratique : Installation et écriture d'un "hello world" en expliquant la structure du code.
• Les types composés (contraints et non contraints).
• Les exceptions + tests run-time.
• Le modèle de pointeurs & exemple pratique.
• Les génériques & exemple pratique.
• Objets et classes.
• Bindings & exemple pratique.
• La programmation par contrat (+introduction Ada2012).
• Preuve formelle SPARK

MODALITÉS : être adhérent(e), 20€/an (10€ demandeurs d’emploi) valable 1 an pour plus de 10 ateliers