Fri 24 April 2015

[Adacore] Static elab—internal calls to instances

The static elaboration model is necessarily conservative, leading to elaboration cycles in cases that would in fact not fail at run time. However, in certain obscure cases of a call to a subprogram in an instance of a generic package that is within this same unit as the call, the compiler is now less conservative, avoiding elaboration cycles in those cases.

[Adacore] Better support for expression functions

The SPARK toolset now deals better with nonrecursive expression functions returning real types.

Thu 23 April 2015

[Adacore] Will MY Car be Hacker Proof?

John Day's Automotive Electronics | Will MY Car be Hacker Proof? | Apr 23, 2015

Tue 21 April 2015

[Pilot Systems] Quel Cloud choisir : public, privé, hybride ? Combien ça coûte ? - Version complète

Le plan Cloud Computing lancé par le gouvernement est un bon signal aux entreprises françaises de l?opportunité d?embarquer sur le Cloud en 2015. Voici un guide pour les aider à choisir le type de Cloud et les investissements à prévoir.

[Pilot Systems] 5 points à retenir de The Incredible Automation Day

Pour vous qui n?avez pas pu vous inscrire à la première conférence dédiée à l?automatisation le 19 mars 2015 à Paris, qui a affiché complet, voici 5 points remarquables. C?est aussi l?occasion pour avoir le retour des autres participants et continuer la synergie créée dans le court instant d?une journée.

[Pilot Systems] Quel Cloud choisir : public, privé, hybride ? Combien ça coûte ? - Part 3

Dans ce troisième et dernier volet, nous analysons les modèles de Clouds hybrides et communautaires, tendances des prochaines années. Puis, nous détaillerons les points essentiels pour une migration en douceur et sans risque.

[Pilot Systems] Quel Cloud choisir : public, privé, hybride ? Combien ça coûte ? - Part 2

Après examen du Cloud privé dans un précédent article, nous abordons le Cloud public. Quel est le retour d?expérience depuis sa genèse en 2006 ? Avantages, inconvénients ? Bonnes pratiques et pièges à éviter.

[Adacore] —create-map-file for cross targets

This is now supported on cross platforms that use GNU ld to link.

Mon 20 April 2015

[Adacore] GPS: Ability to provide fonts under UNIX

GPS comes with a mechanism for adding custom fonts. (This does not work on Windows, where the fonts need to be installed at the system level). GPS 6.2 also comes with better default fonts out-of-the-box.

[Adacore] Improve consistency of floating-point **

This enhancement ensures on all targets that A**B = A**C when B is a small static constant in the range 0 .. 4 and C is a variable with the same value. Previously for Float and Long_Float on some targets, this was not the case. The results given were both within the error bounds that are allowed by the Ada standard, but it is desirable not to have this discrepancy. This also aids formal verification of such operatioons.

Sat 18 April 2015

[Adacore] New restrictions pragmas recognized in System

Only certain restriction pragmas are recognized in package System, and now No_Specification_Of_Aspect, No_Use_Of_Attribute, and No_Use_Of_Pragma have been added to the recognized list, allowing more flexibility in configuring new versions of the System package.

Fri 17 April 2015

[GTLL] Quand le "Groupe thématique Logiciel Libre" œuvre à l’institutionnalisation et à l’épanouissement d’une communauté d’innovation en open source en France et dans le monde

Dans le domaine du logiciel libre, force est de constater qu’en France les académiques (chercheurs, scientifiques, professeurs, doctorants) peuvent entretenir des rapports encore plus étroits avec les industriels (entrepreneurs, PME, ETI, grands groupes).

Pour mettre en évidence la puissance de cet écosystème très fertile et agile, le groupe thématique Logiciel Libre (GT LL)  du Pôle Systematic Paris-Region s’attache à organiser des événements replaçant l’expertise au cœur de rencontres académiques/industriels et à montrer le rayonnement international de projets issus de la recherche et de l’innovation française.
 
C’était déjà le cas de la très réussie Matinale de l’Innovation organisée le 12 décembre 2014, dont l’antienne était logiciel libre et sécurité vont de pair, qui a montré la synergie forte et pérenne entre académiques et entrepreneurs.
 
C’est aussi dans cet esprit qu’a été initié l’Open Source Innovation Spring (OSIS), qui s’est tenu le vendredi 13 mars d’abord, puis du 31 mars au 3 avril dernier. Cette suite d’événements dédiée à l’innovation en open source a rassemblé près de 700 participants, où se sont côtoyés académiques, entrepreneurs et développeurs.
 
Avec ce printemps de l’innovation open source 2015, il s’agit non seulement de mettre en exergue l’excellence académique française, notamment dans les domaines mathématique et informatique, mais également d’en exhiber les projets les plus prometteurs, et dont les applications dans les entreprises sont désormais patentes, aussi bien en France qu’à l’international.
 
Pour la première journée de l’OSIS, le GT LL a d’abord décidé de rassembler les utilisateurs d’un projet historique de l’Inria, sur le thème de la sûreté logicielle, à savoir le projet open source Frama-C, véritable « boîte à outils pour la vérification de logiciels en C », selon l’organisme.
Ce Frama-C Day a permis à des industriels de premier rang de témoigner sur les applications de cet outil d'analyse statique de code.
Selon Muriel SHAN SEI FAN, responsable du GT Logiciel libre de Systematic, un « succès complet […] témoignages passionnants d'utilisateurs industriels. Autour de ce projet open source d'analyse statique de code C, il y a une vraie communauté qui se développe. "


Autre technologie mise à l’honneur, l’analyse de données et l’apprentissage statistique avec le projet Scikit-Learn (Big Data) lors de la première édition de PyData Paris, qui s’est tenue à l’Institut Télécoms ParisTech. L’objectif ? Montrer le dynamisme de cet écosystème au carrefour de la recherche scientifique et des applications industrielles, faire découvrir la richesse de l'écosystème PyData – et donner la parole à ceux qui font et utilisent quotidiennement des projets open source aussi ambitieux que l’est le projet Scikit-Learn.
Ce fut l’occasion pour plusieurs membres du Pôle Systematic Paris-Region (Abilian, Alter Way, Dataiku, Logilab, Nexedi, Normation, Theodo) de donner plus de visibilité aux résultats de leur innovation collaborative.
D’autres journées de ce Printemps de l’innovation open source étaient dédiées à l’Internet des Objets (présentations), au Cloud et conteneurs open source.
 
Résumons-nous : l’OSIS 2015, porté par le GT LL du Pôle Systematic Paris-Region, c’est un événement organisé sur plusieurs jours pour remettre quelques idées en place quant aux affinités que doivent entretenir les académiques et les industriels.  A force de maints cas d'utilisation intéressants, réflexions et discussions sur l'interopérabilité et les standards qui émergeront, il n’est plus permis de douter de l’omniprésence de  l'open source dans toutes les couches de l’Internet des Objets, du Cloud et de nombreuses infrastructures !
Pari réussi !
Jérémy CANO