1 Le système GNAT / Ada95 La perspective du projet depuis New York University Edmond Schonberg New York University et Ada Core Technologies Mars 2003

gnat-libre2 Préhistoire L’équipe de languages de programmation de NYU s’intéresse a Ada83, au depart comme banc d’essais de techniques d’optimisation. Le premier interprète pour la programmation parallèle en Ada mène a une description opérationelle compacte qui est en même temps un traducteur complet pour la norme Ada83 Ada/Ed a une diffusion modeste comme outil d’enseignement et comme définition informelle du language, complémentaire de la norme ANSI / ISO

gnat-libre3 Historique du projet GNAT 1992: Le groupe Ada a NYU reçoit une bourse de recherches pour prototyper les aspects intéressants de la norme Ada-9X, afin d’en évaluer les difficultés d’implémentation: Aspects retenus: Extensions de types et programmation objet (Java classes) Unités filles et composition hierarchique des sous-systêmes Types protégés (monitors) Interactions sémantiques entre les composant ci-dessus. Choix de depart: Générateur de code GCC Analyse sémantique a partir du système Ada/Ed GNAT (the GNU-NYU Ada Translator) est bootstrappé en 1994

gnat-libre4 Le choix de GCC A permis de nous concentrer sur les aspects sémantiques les plus intéressants de Ada-9X Guarantit une portabilité sur toutes les cibles envisagées Fournit un générateur de code de qualité industrielle Assure que GNAT sera distribué en logiciel libre

gnat-libre5 Le logiciel libre Le logiciel libre porte un copyright (GPL) dont le but est de protéger les droits de l’usager: Droit de copier et redistribuer Droit de modifier et de distribuer les modifications Libre usage pour toutes fins Mais: défense de limiter ces droits à d’autres usagers Une modification du GPL permet l’incorporation de logiciels libres dans des produits commercialisés

gnat-libre6 Open Source A ne pas confondre avec les logiciels libres Distribuer les sources des logiciels ne donne en soi aucun droit aux usagers Si Microsoft distribue les sources de Windows aux agences du gouvernement, ca ne fait pas de XP du logiciel libre pour autant.

gnat-libre7 L’université et le logiciel libre Le logiciel libre assure la diffusion des idées en informatique de la façon la plus éfficace La qualité des logiciels peut être plus élevée que celles des prototypes universitaires courants. Le passage a un produit industriel est plus facile, mais passe inevitablement par un organisme en dehors de l’université Le succès du processus d’industrialisation béneficiera de la continuité de participation de l’équipe de départ

gnat-libre8 Un logiciel libre n’est pas gratuit La maintenance de logiciels compliqués ne peut pas être assurée par des volontaires, sauf dans des cas exceptionels (par exemple GCC lui-même) Si le logiciel lui-même est gratuit, seuls les services d’expertise et de support peuvent être commercialisés. La communauté FSF est très dynamique et contribue a l’évolution des logiciels, ainsi qu’a la culture du logiciel La maintenance a long terme demande des méthodes de contrôle de qualité très evolués, sinon l’integrité du système sera compromise rapidement.