Ada-Belgium sollicite les contributions pour une seconde journée de présentations Ada au FOSDEM 2009. Après les succès des Rencontres Mondiales du Logiciel Libre à Bordeaux en 2004 et du FOSDEM à Bruxelles en 2006, Ada-Belgium fait un appel aux personnes intéressées pour le FOSDEM de février 2009 à Bruxelles.

Ada-Belgium organise un barbecue avec atelier de mise au point de paquetages Debian, sur une demi-journée, le 18 mai 2008, à Louvain. Les personnes intéressées doivent s’inscrire à l’avance. Le barbecue est gratuit pour les membres d’Ada-Belgium, et payant (10 euros) pour les non-membres. Le reste de la journée est gratuit. Voir en ligne : L’invitation officielle en anglais, avec description de la demi-journée

Le 12 juin dernier se déroulait l’assemblée générale de l’association Ada-Belgium. À cette occasion, Ludovic Brenta a parlé de la société pour laquelle il travaille, Barco avionique, des produits qu’elle fabrique, des normes de certification et de l’utilisation qu’elle fait d’Ada. Il a ensuite parlé des normes de codage en vigueur chez Barco avionique et de leur justification. Voir en ligne : L’annonce de la soirée avec lien vers les transparents (en anglais)

(English version of the previous article) Ada-France hosts an experimental Monotone server containing the pakaging scripts for many Debian packages, as well as other projects. The packaging scripts that Debian uses to produce binary packages from upstream sources are themselves Free Software; they are part of the source packages published on the Debian mirrors. Participating in their maintenance and enhancement is now easier thanks to Monotone.

Log4Ada une bibliothèque de logging est maintenant hébergée sur le serveur monotone de Ada France (Merci Ludovic) : org.log4ada Cette bibliothèque permet de logguer en console ou vers un serveur de type log4j. Il reste pas mal de boulot à réaliser coté donc, même si deux codes de test sont disponibles. Pour plus de renseignements : grave@ipno.in2p3.fr Voir en ligne :

Adalog a le plaisir d’annoncer la disponibilité de la version 1.6r8 d’AdaControl, le vérificateur de règles libre pour Ada. Grâce au soutien de notre nouveau client SAGEM-DS et aux contributions de R. Toy, AdaControl fournit maintenant 216 vérifications. En particulier, il y a maintenant des règles pour vérifier que les commentaires d’en-tête de module correspondent à un pattern donné, l’indication de possibles faux positifs ou faux négatifs dus à des constructions non analysables statiquement, la définition fine des éléments autorisés dans les barrières d’entrées (y compris celle du profil Ravenscar), le perfectionnement de l’intégration dans GPS, et bien d’autres choses …

Nouvelle version du logiciel Imgsvr (AdaImgsvr) Celui ci a été grandement simplifié pour les novices. Utilise les fameuses librairies

• AWS
• JpegLib
• libGDBM

… Voir en ligne : Site Web du logiciel

Ada-France a mis en place un serveur Monotone expérimental, dont la base de données contient les scripts des paquets Ada dans Debian. Comme chacun sait, les scripts de tous les paquets Debian sont publics; ils font partie des paquets sources publiés sur les serveurs. Il est désormais plus facile de participer à leur entretien et à leur amélioration grâce à Monotone.

AdaControl, le logiciel libre de vérification de normes de codage écrit par AdaLog pour Eurocontrol, est arrivé dans Debian instable. Sa série de tests intégrée m’a permis de déterminer qu’ASIS 2005 GPL Edition fonctionnait bien avec GCC 4.1 à condition de désactiver les assertions, mais qu’ASIS 2006 GPL Edition ne fonctionnait pas, à cause de changements nécessaires au compilateur. Ainsi, c’est ASIS 2005 qui sera dans Debian Etch, et qui est déjà dans instable. Un des avantages de l’intégration dans Debian est qu’AdaControl dispose maintenant d’une base de données pour garder …

Le compilateur Ada par défaut de Debian va passer de GNAT 3.15p à GCC 4.1. Toutes les bibliothèques seront recompilées avec ce nouveau compilateur. Attention, la license de plusieurs bibliothèques change en GPL pure. Debian est, entre autres, une excellente plate-forme de développement et de déploiement de programmes en Ada. Dans la version stable actuelle, « Sarge », cette plate-forme utilise GNAT 3.15p. Dans la prochaine, « Etch », le compilateur sera GCC 4.1.

Les transparents présentés lors du FOSDEM 2006 sont disponibles en ligne.

Aurélien Jarno a porté GNAT 3.4, 4.0 et 4.1 vers GNU/kFreeBSD. Le patch a été accepté dans GCC. Il a en outre porté GNAT 3.15p vers ce système; dans Debian, le paquet gnat 3.15p-18 prend en compte les modifications nécessaires. Les autres paquets Ada dans Debian suivront. GNU/kFreeBSD est un système d’exploitation construit sur le noyau de FreeBSD, mais avec l’environnement utilisateur GNU (glibc, utilitaires, etc.). Il existe une distribution Debian GNU/kFreeBSD en cours de développement. Les paquets Debian gnat-3.4, gnat-4.0 et gnat-4.1 incorporent d’ores et déjà ce patch. Voir en ligne …

Les vidéos de la « Ada UK Conference 2006 » sont disponibles sur le site d’AdaCore. Voir en ligne : Site des vidéos