Programme de la Journée Ada-France le 6 décembre 2007, à Brest

Par Rosen Jeanpierre

Reprise des activités d’Ada-France

Par Rosen Jeanpierre

Journée Ada-France le 6 décembre 2007 à Brest

Par Rosen Jeanpierre

Compte rendu de l’assemblée générale du 19 Janvier 2007

Par Rosen Jeanpierre

Ada chez Barco avionique

Par Rosen Jeanpierre

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)

Ada-France hosts a Monotone server

Par Rosen Jeanpierre

(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

Par Rosen Jeanpierre

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 :

AdaControl 1.6r8

Par Rosen Jeanpierre

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 …

ImgSvr 0.6.7

Par Rosen Jeanpierre

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

Un serveur Monotone sur Ada-France

Par Rosen Jeanpierre

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 dans Debian

Par Rosen Jeanpierre

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 …

Ada dans Debian: transition vers GCC 4.1 pour Etch

Par Rosen Jeanpierre

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.

Un nouveau serveur pour Ada-France

Par Rosen Jeanpierre

Présentations Ada au FOSDEM 2006

Par Rosen Jeanpierre

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

GNAT porté vers GNU/kFreeBSD

Par Rosen Jeanpierre

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 …

Ada UK Conference 2006 : les vidéos

Par Rosen Jeanpierre

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

Évolution matérielle

Par Rosen Jeanpierre

Nouvel article

Par Rosen Jeanpierre

La problématique de la rénoncialtion aux droits fondamentaux, telle est l’objet de notre présente refléxion.La question de savoir s’il est admissible que l’on rénonce à un droit fondamental reçoit des réponses variées, mais qui souvent tournent autour de deux thèses. Le premier est celui de la nature même de certains droits fondamentaux et l’autre est celui du caractère fondamental de certains droits de l’homme en général. Dans la présente étude, nous examinons la question de la rénonciation au droit à la vie par la pratique de l’éuthanasie. Il s’agira précisement de …

Ada au FOSDEM 2006

Par Rosen Jeanpierre

Plusieurs présentations relatives à Ada auront lieu dans une salle dédiée lors du FOSDEM 2006 à Bruxelles. Le célèbre FOSDEM (Free and Open-Source Developers’ Meeting) se tient chaque année en février à Bruxelles. L’édition 2006 est prévue pour les samedi 25 et dimanche 26 février. L’association Ada-Belgium organise une série de présentations relatives à Ada, pendant toute la journée de dimanche.

Perfectionnements d’un outil d’analyse statique de code Ada

Par Rosen Jeanpierre

Offre de stage, développement Ada

Domaine: compilation, ASIS, GTK/Ada