open source - Ada france

Stratégie ADA dans le Groupe Thomson-CSF
Perspectives d'une solution à base d'un compilateur ADA
open source
Jean Aguado
Novembre 2000
Lorsqu’en 1983 le langage ADA est standardisé avec le support du DoD définissant une procédure de
validation très pointilleuse, il semblait être le langage idéal pour les applications de défense.
Il promettait un code portable lisible et maintenable, des possibilités de parallélisme et des fonctionnalités
permettant d’aborder les applications ayant des contraintes temps-réel.
Le Groupe Thomson-CSF a très vite assimilé les avantages du langage ADA aux applications de type défense ce
qui a déclenché des investissements importants pour acquérir l’expertise dans ce langage et se doter des outils
et méthodologies appropriés. En fait Thomson-CSF est allé jusqu’à se doter de la technologie de compilation
en faisant l’acquisition de Alsys.
ADA adresse des applications lourdes pouvant avoir une très longue durée de vie et représentant des
investissements importants. Or malgré les promesses du langage, l’expérience a montré dans Thomson-CSF que
Ada n’est jamais totalement portale et que des programmeurs mal contrôlés pouvaient toujours écrire du code
illisible ou immaintenable. Et seule une relation étroite avec le fournisseur du compilateur permettait de
bénéficier des avantages du langage. Les compilateurs ADA Alsys/Aonix sont donc devenus les compilateurs
recommandés dans le Groupe Thomson-CSF.
En 1999 le Groupe Thomson-CSF décide d’investiguer le phénomène open source. Ceci est dû d’une part à la
frustration devant des logiciels commerciaux de grande distribution visant des marchés beaucoup plus vastes que
les nôtres et sur lesquels nous avons de moins en moins d’influence sur les corrections et les évolutions et
d’autre part la rapide obsolescence de ces logiciels par rapport aux cycles de vie des équipements que nous
vendons et qui sont couramment de 15 à 30 ans.
L’open source, non seulement est disponible gratuitement mais permet de retrouver la possibilité de corriger,
d’améliorer ces logiciels et d’adapter leur vitesse d’évolution à celle des systèmes que nous commercialisons.
Mais cette investigation fait apparaître que si le modèle économique open source est aussi cohérent que le
modèle traditionnel, ces deux mondes sont parfaitement inversés c’est à dire que ce qui est un délit dans l’un
(duplication, diffusion d’un logiciel sans en avoir acquitté une licence), peut devenir une obligation dans l’autre
(interdiction d’empêcher la libre diffusion du logiciel).
De plus dans le monde open source si les logiciels sont fournis gratuitement, les services et savoir-faire sont
bien entendu payants permettant l’éclosion d’une nouvelle économie du logiciel.
Nous avons également constaté que le monde open source peut également comporter certaines difficultés pour
nous :
- Propagation des termes de la licence à nos développements
- Gestion des évolutions et adaptation à nos propres systèmes
- Existence d’algorithmes brevetés dans certains logiciels open source
- Nécessité d’avoir du support et une compétence appropriée.
Le compilateur ADA GNAT s’est progressivement implanté sur le marché comme un compilateurs ADA de
bonne qualité et disponible sur une grande quantité de plate-formes. Sur les plates-formes où Aonix n’avait pas
de compilateur, il a donc été envisagé d’utiliser ce compilateur. Mais comme l’expérience avait montré qu’un
compilateur ADA n’était pas utilisable dans nos applications sans un support de haut niveau identifié et pouvant
nous garantir des résolutions rapides des problèmes rencontrés, nous nous sommes mis en quête d’un
fournisseur de support. La société ACT (Ada Core Technologies) apparaît pratiquement comme la seule sur ce
créneau.
Mais ACT ne fournit de services que sur une version du GNAT, le GNAT PRO qui est sous leur contrôle.
De plus, nous avons découvert que l’application stricte des termes légaux figurant dans certains paquetages du
GNAT, conférerait les propriétés de la GPL aux exécutables obtenus avec ce compilateur et utilisant ces
paquetages.
ACT nous a garanti dans une lettre qu’il ne pouvait pas y avoir de propagation de la GPL à nos exécutables.
Néanmoins, nous nous posons encore des questions sur la légitimité de ACT pour modifier le statut GPL des
paquetages du compilateur GNAT par rapport à la Free Software Foundation détentrice de la licence GPL et
l’Université de New York créatrice du compilateur GNAT.
Aujourd’hui donc, notre stratégie Ada basée sur des compilateurs Aonix et une relation étroite avec ce
fournisseur n’est pas remise en cause. Toutefois le compilateur GNAT montre un niveau de qualité et de
performance comparable à des compilateurs commerciaux. Une utilisation en complément d’un compilateur
comme le GNAT avec le support de ACT est donc envisageable.
L’accès aux sources qui, à première vue semble un avantage important n’est exploitable que si l’on dispose de
l’expertise en techniques de compilation ADA ce qui n’est pas notre cas.
Le véritable complément aux compilateurs et support de Aonix serait donc le compilateur GNAT PRO avec le
support de ACT. Mais nous ne sommes plus alors ni dans un monde totalement ouvert, ni totalement gratuit.
Stratégie ADA dans le Groupe
Thomson-CSF
Perspectives d'une solution à base
d'un compilateur ADA open source
Jean Aguado
Novembre 2000
Software
and Systems Department
Information included in this document is the property of the Thomson-CSF Group.
It must not be disclosed without the prior written consent of Thomson-CSF Technologies & Methods.
ADA en 1983
! Langage standardisé
! Orienté grandes applications
! Code lisible et maintenable
! Validation garantissant la portabilité
! Parallélisme (Temps réel)
! Support du DoD
Ada avait tout pour répondre aux attentes d ’un
Groupe de Défense.
Software
and Systems Department
Information included in this document is the property of the Thomson-CSF Group.
It must not be disclosed without the prior written consent of Thomson-CSF Technologies & Methods.
Stratégie ADA Thomson-CSF
! Investissements importants
!
!
!
Formations, Méthodologie, Outillage, Création d ’expertise
Ecriture en ADA de parties importantes des développements de
Thomson-CSF
Acquisition de la technologie (Alsys). Les compilateurs ADA
ALSYS/AONIX deviennent les choix recommandés dans le Groupe.
! En 2000 ADA a-t-il tenu ses promesses ?
!
!
!
La portabilité d ’un compilateur à un autre n ’est jamais totale.
Il est toujours possible d ’écrire du code non maintenable.
Besoin de relations étroites avec le fournisseur du compilateur
" Nos applications ont une très longue durée de vie
"
Spécificités (Power PC, Aéronautique, Enfoui)
Y a-t-il un autre langage plus adapté?
Software
and Systems Department
Information included in this document is the property of the Thomson-CSF Group.
It must not be disclosed without the prior written consent of Thomson-CSF Technologies & Methods.
Le miracle « open source »
! Logiciels gratuits, largement disponibles et compatibles de
multiples plate-formes.
! Communauté mondiale de bénévoles
! Accès aux sources
! Possibilité de corriger les problèmes nous-mêmes
! Possibilité de gérer le cycle de vie
! Possibilité de gérer les plate-formes où ils sont installés
L ’Open Source peut-il répondre aux attentes d ’un
Groupe de Défense?
Software and Systems Department
Information included in this document is the property of the Thomson-CSF Group.
It must not be disclosed without the prior written consent of Thomson-CSF Technologies & Methods.
Selling models for large distribution software
Traditional (Microsoft)
The software market is a product market
! The service is just there to support the
selling of software
!
!
!
!
Minimal services
Light infrastructure (distributors)
Permanent innovation
Restrictive licensing policy
"
"
"
Open Source (GNAT & ACT)
The software market is a service market
! The software is given for free because it
creates the need for services.
!
Minimal distribution cost (Web)
! The notoriety of the software and/or its
creators is the real source of revenues
"
"
tokens
non transferable
temporary ?
"
"
"
! Advertise the features
! Protect the know how
! Implement mechanisms in order to
restrict uncontrolled diffusion (copy,
piracy)
fame; brand image
consulting
conferences
services
employment
! Demonstrate the know how and skills
(Sources, FAQ's, on line discussions)
! Protect your public image
! Implement incentive mechanisms to
ensure a wide diffusion of the software
(license, web)
Software
and Systems Department
Information included in this document is the property of the Thomson-CSF Group.
It must not be disclosed without the prior written consent of Thomson-CSF Technologies & Methods.
¶
Risques identifiés à l’utilisation d’Open Source
dans Thomson-CSF
Propagation des termes de la licence Open Source à nos
propres développements lorsqu’ils sont “mélangés” à
des logiciels protégés par des licences GPL et similaires.
!
!
·
Configuration management
!
Ì
Í
Perte de la possibilité de protéger (brevetter) notre logiciel
Avoir a rendre disponibles les sources de certains de nos
développements
!
Les produits open source évoluent en permanence
La disponibilité des sources permet de créer des variantes multiples
Algorithmes brevettés inclus dans du logiciel open source
Support/compétence
!
Avoir les sources ne donne pas automatiquement la compétence
Software
and Systems Department
Information included in this document is the property of the Thomson-CSF Group.
It must not be disclosed without the prior written consent of Thomson-CSF Technologies & Methods.
Le compilateur GNAT (GNAT-PRO)
! Le compilateur GNAT
!
Disponible pour des cibles multiples notamment sur des plate-formes où il
n’existe pas de compilateur Aonix (choix stratégique) Groupe
! Le support du compilateur GNAT
!
!
ACT
Le GNAT PRO
! Les intervenants
!
!
!
L ’Université de New-York
La sociéte ACT (ada Core Technologies)
La Free Software Foundation
! La licence GPL de la Free Software Foundation
! Nos interrogations
!
Statut des paquetages Ada fournis avec le compilateur et utilisés
dans nos applications
Software
and Systems Department
Information included in this document is the property of the Thomson-CSF Group.
It must not be disclosed without the prior written consent of Thomson-CSF Technologies & Methods.
Bilan
! Notre stratégie ADA basée sur une relation étroite avec AONIX n ’est à
ce jour pas remise en cause.
! Utiliser en complément un compilateur ADA Open Source là ou AONIX
n ’a pas d ’offre est envisageable.
! Le niveau de qualité et de performances du GNAT est comparable à un
compilateur commercial
! L ’accès aux sources est un avantage. Mais nous avons toujours besoin
de support, de compétences, de garanties.
! La vrai alternative est donc GNAT PRO + Support ACT. On n ’est plus
alors dans un monde totalement libre et gratuit.
! Malgré les efforts de ACT pour nous rassurer nous ne sommes pas sûrs
d ’avoir fait le tour des aspects légaux/juridiques de la GPL
Software
and Systems Department
Information included in this document is the property of the Thomson-CSF Group.
It must not be disclosed without the prior written consent of Thomson-CSF Technologies & Methods.