Vivre du logiciel libre Le modèle économique

Transcription

1 Vivre du logiciel libre Le modèle économique

2 vient AdaCore? Des origines universitaires Le projet GNAT à New York University (NYU) en % de nos produits sont libres Développements propres (GNAT, GPS, GNATbench, CodePeer, GNATcoverage appuyés sur des projets libres (GCC, gdb, binutils Société fondée en 1996 en Europe Marchés européen, indien et chinois Société soeur aux États-Unix pour les marchés américain, australien et japonais

3 Comment vivre du libre? Les idées reçues logiciel libre, gratuit et on peut pas faire logiciel libre, fait par des volontaires dans leur garage, on aucune garantie du logiciel libre, je vais être contaminé

4 On peut vivre du libre Il suffit de tourner ces préjugés en atouts Avec le logiciel libre, vous pas otage de vos fournisseurs AdaCore vous garantit la qualité technique de ce vous achetez AdaCore vous garantit la paix juridique

5 Le modèle économique Partenaires clé Activités clé Offre de valeur Relations Clients Segments clients Communautés libres (FSF, EF) Partenaires (Altran Praxis, Sofcheck Académiques Production et support Développem de releases ent logiciel validés et qualifiées Ressources clé Ingénieurs (très) qualifiés Due diligence Environnement de dév de haute qualité garanti Relations personnelles étroites et outils de productivité Ventes Directes (mais long cycle de vente) Industrie du logiciel embarqué critique Autres applications mission critical Coûts Coûts de personnel Revenus Souscriptions (Contrats de développ ement)

6 Trois segments de clientèle

7

8 Notre offre de valeur Front-Line Support Garanties juridiques et techniques + +

9 Le Front-Line Support niveau ou niveau Les concepteurs de outils répondent directement 80% des demandes sont traitées dans la journée Une infrastructure est dédiée au traitement des demandes Possibilité de fournir des versions de développement wavefronts

10 Les garanties Les garanties techniques Des solutions validées, documentées productisées mais évolutives et à la pointe de de Des solutions qualifiées (GNATcheck, GNATstack) ou certifiées (runtime) pour vos standards (ECSS-E40, DO-178) Les garanties juridiques Un processus de due diligence adapté Un modèle de licence simple et compréhensible La garantie contre la contrefaçon

11 Pourquoi fournir ces garanties? Complexité des interactions au sein des logiciels (libres) représentatifs Diversité des licences (GPL v2, v3, BSD, MIT, Apache, EPL, CeCILL, CeCILL B, Diversité des interactions techniques (inclusion, modification, édition de lien statique, dynamique, interprétation, introspection statique, dynamique, génériques, modèles, métamodèles, appels de procédure distants, modèle client-serveur Manque de certitude sur certains points de droit (ex. -ce oeuvre dérivée pour tous ces contextes de réutilisation?) Nécessité situation claire

12 Being diligent Un processus de due diligence complet Vérification de la titularité des droits Vérification des licences applicables Vérification des modes Un processus adapté aux différentes communautés GCC et GDB sont dans la communauté FSF GNATbench est dans la communauté Eclipse Alt-ergo est dans la communauté académique des spécialistes de méthodes formelles Un processus délicat Difficulté des informations fiables Intérêt des approches type black duck ou open compliance program

13 The Eclipse Legal Process, Eclipse Foundation

14 Politique de licence Une politique de licence plutôt une licence Garantir les propriétés qui intéressent en priorité les clients Software development tools Customer's project, and any copies needed for archival, backup or other similar purposes. The Customer can execute any of the copies of AdaCore Software on any computing equipment used by Library units There are no restrictions on the use of the AdaCore Software library units that are linked with the Customer's programs or on the use of Customer programs generated by AdaCore Software. The Customer may copy, modify and distribute those programs in any manner without requiring any additional permission from AdaCore, or payments thereto. In particular, such programs can be Evidemment, les licences applicables permettent bien davantage

15 Les licences applicables Exemples typiques de licences applicables Software development tools Outils logiciels utilisés par le client qui tournent sur le poste de travail GPL (v2 ou v3), EPL, Library units Composants susceptibles embarqués dans un produit client GMGPL

16 -ce exception? GMGPL = GPL + exception Version 2: GPL version 2 + exception Version 3: GPL version 3 + GCC runtime exception version 3.1 Le mécanisme des exceptions dans la GPL v3 Le concédant peut ajouter ( 7) des permissions supplémentaires terms that supplement the terms of this License by making exceptions from one or more of its conditions Certains types de clauses limitativement énumérées (clauses de garanties, responsabilité, paternité, prohibition usage marques) Le licencié peut ôter tout terme additionnel à la licence ( 7) quand il redistribue quand il reçoit le logiciel Prohibition des restrictions additionnelles ( 10)

17 contrat-licence Souscription = CGV + Contrat de souscription + Licences Le contrat de souscription contient plusieurs éléments Obligations Description du service Obligations du client transitif Références aux licences applicables (y compris les permissions additionnelles) CGV classiques

18 Pour résumer Vivre du libre, possible! Fournir une valeur ajoutée claire est la clé Création de valeur technique : transformer le savoir-faire en technologie transformer la technologie en produits Juridique : assurer la sécurité juridique Humaine Nous pouvons vous y aider Conseil technique, commercial et juridique (en partenariat avec un cabinet )