\/<\/p>\n\n\n\n
Comme beaucoup de Franciliens vous avez d\u00e9j\u00e0 pris sans doute la ligne 14 du m\u00e9tro parisien, cette ligne de m\u00e9tro inaugur\u00e9e en 1998 est enti\u00e8rement automatique et d\u00e8s sa mise en service a fonctionn\u00e9 sans aucun probl\u00e8me informatique. Une large part de cette r\u00e9ussite technique est due \u00e0 l\u2019utilisation du langage ADA et du syst\u00e8me de preuve formelle bas\u00e9 sur le langage B.<\/p>\n\n\n\n
Lors de cet atelier anim\u00e9 par des experts ADA nous d\u00e9couvrirons les avantages de ce langage utilis\u00e9 dans les syst\u00e8mes temps r\u00e9el critiques. Au cours de cette journ\u00e9e nous allons vous faire d\u00e9couvrir en quoi Ada est plus qu\u2019un langage ; c\u2019est \u00e9galement une philosophie de programmation mettant en \u0153uvre un certain nombre de paradigmes logiciels<\/p>\n\n\n\n
Petite Note historique :<\/p>\n\n\n\n
ADA tire son nom de ADA lovelace qui est consid\u00e9r\u00e9e comme la premi\u00e8re programmeuse du monde pour avoir dans les ann\u00e9es 1830 programmer la machine analytique de Charles Babbage .<\/p>\n\n\n\n
Objectifs :
1. Comprendre les caract\u00e9ristiques du langage et plus particuli\u00e8rement en quoi il s’av\u00e8re pertinent pour adresser des probl\u00e9matiques telles que la s\u00fbret\u00e9 et la s\u00e9curit\u00e9.
2. Avoir quelques exemples concrets et les pointeurs n\u00e9cessaires afin d’approfondir le sujet si n\u00e9cessaire.
Plan :
– Rappels historiques.
– Les caract\u00e9ristiques du langage.
– Le processus de d\u00e9veloppement.
– Mise en pratique : Installation et \u00e9criture d’un \u00ab\u00a0hello world\u00a0\u00bb en expliquant la structure du code.
– Les types compos\u00e9s (contraints et non contraints).
– Les exceptions + tests run-time.
– Le mod\u00e8le de pointeurs & exemple pratique.
– Les g\u00e9n\u00e9riques & exemple pratique.
– Objets et classes.
– Bindings & exemple pratique.
– La programmation par contrat (+introduction Ada2012).
– Preuve formelle SPARK<\/p>\n\n\n\n
MODALIT\u00c9S<\/strong> : \u00eatre adh\u00e9rent(e), 20\u20ac\/an (10\u20ac demandeurs d\u2019emploi) valable 1 an pour plus de 10 ateliers<\/p>\n\n\n\n <\/p>\n","protected":false},"excerpt":{"rendered":" \/ Comme beaucoup de Franciliens vous avez d\u00e9j\u00e0 pris sans doute la ligne 14 du m\u00e9tro parisien, cette ligne de m\u00e9tro inaugur\u00e9e en 1998 est enti\u00e8rement automatique et d\u00e8s sa mise en service a fonctionn\u00e9 sans aucun probl\u00e8me informatique. Une large part de cette r\u00e9ussite technique est due \u00e0 l\u2019utilisation du langage ADA et du … <\/p>\n