Archives WP posts de 1998 à 2014

ID post_date post_title post_content guid
725 2014-05-29 Journée Ada-France Ada-France organise une journée gratuite de découverte d'Ada et des technologies associées.
Cette journée aura lieu le mercredi 25 juin 2014, à l'école d'ingénieurs ECE, au sein de la conférence Ada-Europe 2014. Les participants pourront également visiter les stands des exposants de la conférence.
Inscrivez-vous dès maintenant !
http://www.ada-france.org/?p=725
721 2014-05-29 Ada-France organise la conférence Ada-Europe 2014 Ada-France est fière d'organiser la dix-neuvième conférence Ada Europe, International Conference on Reliable Software Technologies, aura lieu du 23 au 27 juin 2014 à Paris, dans les locaux de l'école d'ingénieurs ECE.
Inscrivez-vous dès maintenant !
http://www.ada-france.org/?p=721
716 2014-05-29 Assemblée générale 2014

L’assemblée générale de l’association Ada-France pour l’année 2013 a eu lieu le jeudi 15 mai 2014 de 18h00 a 19h30 dans les locaux d’AdaLog au:


2 rue du Docteur Lombard
92441 Issy Les Moulineaux
Tram : T2 Les Moulineaux
Coordonnees GPS : 48.820687N, 2.25079948E
 
L'ordre du jour formel était le suivant :

  • Rapport moral

  • Rapport financier

  • Renouvellement du conseil d'administration

  • Conférences et expositions

  • Organisation des activités futures
http://www.ada-france.org/?p=716
709 2014-03-17 Ada dev-room aux FOSDEM 2014 logo_fosdemL'édition 2014 des FOSDEM (Free and Open Source Software Developers' European Meeting) a, comme les années précédentes, réservé une salle pour discuter du langage Ada ainsi que de son utilisation dans les logiciels libres. Les différentes présentations qui ont été effectuées à cette occasion  sont visibles sur le site de Ada belgium:

http://people.cs.kuleuven.be/~dirk.craeynest/ada-belgium/events/14/140201-fosdem.html

http://www.ada-france.org/?p=709
687 2013-05-15 Appel aux volontaires pour tenir le stand Ada-France au salon Solutions-Linux 2013 Venez rencontrer des gens intéressés par Ada, expliquer toutes vos prestigieuses réalisations, promouvoir la bonne parole....
Le salon Solutions-Linux, c'est du 28 au 29 mai, au CNIT La Défense. Pas besoin d'être là tout le temps, indiquez vos disponibilités en cliquant sur le lien doodle:
http://doodle.com/c5n98afassbha5m7
http://www.ada-france.org/?p=687
680 2013-04-20 Ada-France présent à Solutions-Linux 2013 Comme l'année passée, Ada-France tiendra un stand de promotion au salon Solutions-Linux, dans le village associatif au stand B41.
Venez nous y rencontrer, et pourquoi pas, nous aider à tenir le stand pendant une heure ou deux? Vous aurez le plaisir de découvrir des tas de gens intéressés par Ada, et de prêcher la bonne parole...
Et si vous avez de jolies démos et autres applications qui font bonne effet, n'hésitez pas à nous les faire parvenir!
http://www.ada-france.org/?p=680
666 2013-02-08 Assemblée générale 2013

L'assemblée générale de l'association Ada-France pour l'année 2012 aura lieu le jeudi 21 février 2013 de 18h30 a 19h30 dans les locaux d'AdaLog au:


2 rue du Docteur Lombard
92441 Issy Les Moulineaux
Tram : T2 Les Moulineaux
Coordonnees GPS : 48.820687N, 2.25079948E
 


Crédit Image : wikipedia.


L'ordre du jour formel est le suivant :
- Bilan moral

- Bilan financier et approbation des comptes

- Un nouveau Logo ?

- Activités futures : notamment Ada Europe 2014 à Paris


Rappel :

Le conseil d'administration se compose actuellement de 5 membres élus en novembre 2011 pour 2 ans (échéance novembre 2013).


Vous pourrez adhérer ou régler votre cotisation sur place, ou adhérer par courrier postal si vous ne pouvez venir, et ensuite donner pouvoir écrit a une personne présente, comme précisé dans les statuts.


L'association ayant moins de 50 membres, ce qui limite le nombre de pouvoirs a 1 par personne, nous recommandons de spécifier que le pouvoir peut être transmis.


Un repas convivial dans un restaurant proche sera organisée après l'assemblée pour celles et ceux qui souhaitent prolonger les discussions.


http://www.ada-france.org/?p=666
661 2012-12-15 2005 est mort, vive Ada 2012 C'est fait! Depuis le 15 décembre 2012, Ada 2012 est devenu la version officielle, publiée sur le site de l'ISO.
Cf: http://www.iso.org/iso/home/store/catalogue_ics/catalogue_detail_ics.htm?csnumber=61507
http://www.ada-france.org/?p=661
642 2012-11-29 Approbation totale pour Ada 2012 La proposition de nouvelle norme Ada 2012a été approuvée à l'ISO, par 14 votes "pour" sans commentaires sur 14 votants (P members)!
Cette approbation sans réserve épargne à la proposition un nouveau tour de scrutin, autrement prévu par la procédure. La norme est maintenant en cours d'enregistrement, et avec un peu de chance, pourra être officiellement publiée avant le 31 décembre 2012.
Pour plus de détails sur les nouveautés, consultez le site dédié à Ada 2012 (en anglais): http://www.ada2012.org/
http://www.ada-france.org/?p=642
637 2012-06-27 GNAT GPL 2012 est paru! La nouvelle version publique de GNAT, avec le support d'Ada 2012, vient de sortir.
Comme d'habitude, il est disponible sur http://libre.adacore.com
http://www.ada-france.org/?p=637
634 2012-06-22 Telecom-ParisTech 3ème à la coupe de France de Robotique Troisième sur 140, c'est un très beau résultat, et si on en parle ici, c'est bien sûr parce que leur robot est écrit http://www.ada-france.org/?p=634
617 2012-06-12 Barbecue d'Ada-France, dimanche 1er juillet
À l'instar de nos amis d'Ada-Belgique, c'est au tour d'Ada-France d'organiser un barbecue convivial. En plus du plaisir de se retrouver entre passionnés du langage Ada, nous comptons profiter de cette rencontre pour impulser, en autre, la création d'un "Ada Quick Reference Guide" en vue de publication chez O'Reilly.

Le barbecue se déroulera dans le sud Essonne (à 5 minutes d'Etampes). Si vous venez en train, on se débrouillera pour faire la navette depuis la gare de Saint Martin d'Etampes, RER C, c'est le terminus (compter une heure depuis Paris).

Si vous souhaitez participer, envoyez un email à xavier.grave@laposte.net (hôte du BBQ) et remplissez le doodle suivant :


L'adresse exacte du barbecue vous sera renvoyée par retour d'email.

Une cote-part de 10 euros est demandée pour l'achat des victuailles carnées.

Venez nombreux!
http://www.ada-france.org/?p=617
632 2012-05-23 Ada France au salon Solutions Linux 2012 Ada France sera présent dans le "village associatif" du salon solutions Linux 2012. Venez nous y rencontrer pour discuter de tout ce que vous avez toujours voulu savoir à propos d'Ada...
Pour les habitués: un petit coup de main est le bienvenu, pour staffer le stand, le décorer, proposer du matériel à distribuer, et toutes bonnes idées. N'hésitez pas à participer sur ce blog, ou par mail direct au bureau.

[caption id="" align="aligncenter" width="250" caption="Solutions Linux 2012"]Solutions Linux 2012[/caption]
http://www.ada-france.org/?p=632
605 2012-05-16 Gros succès d'Ada France au salon Solutions Linux 2012! Ada France était présent dans le "village associatif" du salon solutions Linux 2012.  Beaucoup de visiteurs intéressés, quelques réactions typiques:

  • Ada, qu'est-ce que c'est? (après tout, on était là pour répondre à ça)

  • Ada, ça existe encore? C'est bien, j'avais beaucoup aimé quand j'avais étudié/travaillé avec... je vais aller voir ce que ça devient

  • Ah, je ne suis pas le seul à utiliser Ada!

  • etc...

Nos badges "In strong typing we trust" sont presque tous partis (il en reste tout juste quelques uns pour ceux qui viendront au barbecue).
Robot AdaCoreVifs remerciements à AdaCore qui nous a prêté son robot, et fait don de livres que nous avons généreusement distribués (tous partis).

[caption id="" align="aligncenter" width="250"]Solutions Linux 2012 Solutions Linux 2012[/caption]
http://www.ada-france.org/?p=605
596 2011-11-16 Manuel de référence pour Ada 2012 Le manuel de référence pour Ada 2012 est maintenant disponible sous plusieurs formats depuis le site de l'Ada Conformity Assessment Authority.

Ada Lovelace


Il s'agit de la toute dernière version, envoyée aux organismes de normalisation pour "commentaires informels" (pour éviter d'avoir des commentaires formels dans les phases officielles, toujours plus difficiles à traiter).

Si vous avez des commentaires à faire, depuis la simple virgule omise jusqu'aux remarques importantes, vous pouvez suivre la démarche indiquée sur le site, ou pour que votre remarque ait plus de poids, la faire transmettre par l'AFNOR en l'envoyant au président de la commission, J-P Rosen courriel rosen arrobase adalog point fr.
http://www.ada-france.org/?p=596
584 2011-10-14 Assemblée générale 2011
L'assemblée générale de l'association Ada France pour les années 2010 et 2011 aura lieu le lundi 14 novembre 2011 de 18h30 à 19h30 dans les locaux d'AdaLog au 2 rue du Docteur Lombard à 92441 Issy-les-Moulineaux, GPS: 48.820687°N, 2.25079948°E, voir le plan d'accès.



Crédit Image : wikipedia.

Cette assemblée générale couvrira deux années car la dernière assemblée générale a eu lieu le 14 octobre 2009.

L'ordre du jour formel est le suivant :

- Bilan moral

- Bilan financier et approbation des comptes

- Élection du conseil d'administration

- Montant des adhésions

- Activités futures

Rappel:

Le conseil d'administration se compose de 3 à 9 membres élus pour 2 ans. Tous les membres à jour de leur cotisation depuis plus de trois mois peuvent se présenter. Les candidats sont priés de se faire connaître le plus rapidement possible auprès du secrétaire de l'association. Vous pourrez adhérer ou régler votre cotisation sur place, ou adhérer par courrier postal si vous ne pouvez venir et ensuite donner pouvoir écrit à une personne présente comme précisé dans les statuts. L'association ayant moins de 50 membres, ce qui limite le nombre de pouvoirs à 1 par personne, nous recommandons de spécifier que le pouvoir peut-être transmis.

La société AdaCore offre à l'association à cette occasion une dizaine d'exemplaires du dernier livre de John Barnes. Ils seront offerts aux membres présents qui ne l'auraient pas déjà, par tirage au sort s'il y a plus de candidats que de livres. Ne manquez pas cette occasion!

Un repas convivial dans un restaurant proche sera organisé après l'assemblée pour celles et ceux qui souhaitent prolonger les discussions.

http://www.ada-france.org/?p=584
582 2011-01-11 Servlet en Ada Ada-Servlet-Example http://www.ada-france.org/?p=582
562 2010-11-04 Offres et demandes d'emploi Ada L'association Ada France est un relais pour vos offres et demandes d'emploi liées au langage Ada.
Vous pouvez contacter notre équipe au courriel suivant :
emploi AT ada-france POINT org

Ou en postant un commentaire ci-après.
Les liens vers des sites utiles concernant l'emploi sont aussi bienvenus pour compléter notre site.
Merci de vos contributions.
http://www.ada-france.org/?p=562
535 2010-11-03 The Ada Way : student programming contest organized by Ada-Europe Vous êtes étudiant, vous aimez Ada, le foot, les défis  ?

Et vous lisez l'anglais alors ce concours de programmation Ada est pour vous, il est ouvert depuis septembre 2010 et les soumissions doivent se faire en avril 2011 :



"The Ada Way" is an annual student programming contest organized by Ada-Europe, the international organization that promotes the knowledge and use of Ada in European academia, research and industry. A Steering Committee formed by representatives of promoting institutions oversees the organization of the contest. The Steering Committee is currently comprised of: Dirk Craeynest and Ahlan Marriott (Ada-Europe), Ricky Sward (ACM SIGAda), Jamie Ayre and Matteo Bordin (AdaCore), Jean-Pierre Fauche (Atego), Ian Broster (Rapita), Rod White (MBDA).
This initiative aims to attract students and educators to Ada in a form that is both fun and instructive. For this reason the contest is a yearly programming competition among student teams, whereby each team must have a university affiliation and be endorsed by an educator. The ideal, but not exclusive, context for participation is as part of an organized teaching/course activity in which the theme and requirements of the contest are endorsed and supported by the educator. See the "Participation Requirements" section for details.
The contest opens in September with the announcement of the theme, and allows submissions until the end of April the following year. See below for the 2010-11 edition theme and the Submissions tab for the submission requirements.
Students and educators who may consider participating and want more information on "The Ada Way" in general and its 2010-11 edition in particular are invited to make contact with the Steering Committee at "board at ada-europe dot org".
http://www.ada-europe.org/AdaWay/
http://www.ada-france.org/?p=535
548 2010-11-02 Simple components for Ada v3.10 Dmitry A. Kazakov vient de mettre a jour ses composants pour Ada.
Son annonce :
The library provides implementations of smart pointers, directed graphs,
sets, maps, stacks, tables, string editing, unbounded arrays, expression
analyzers, lock-free data structures, synchronization primitives (events,
race condition free pulse events, arrays of events, reentrant mutexes,
deadlock-free arrays of mutexes), pseudo-random non-repeating numbers,
symmetric encoding and decoding, IEEE 754 representations support. It grew
out of needs and does not pretend to be universal. Tables management and
strings editing are described in separate documents see Tables and Strings
edit. The library is kept conform to both Ada 95 and Ada 2005 language
standards.
http://www.dmitry-kazakov.de/ada/components.htm
The version 3.10 extends the package Object.Handle.Generic_Set and provides
some bug fixes.
http://www.ada-france.org/?p=548
518 2010-11-02 Ada France sur l'internet social Pour accompagner la révision du site l'association Ada France se branche sur l'internet social.

L'association Ada France est maintenant présente sur les grands sites en vogue de l'internet social :

Follow adafrance on Twitter


Follow adafrance on identi.ca


Follow adafrance on Facebook


Vous êtes encouragés a "suivre" ou à "devenir ami" avec l'association Ada France, en plus bien sur de votre adhésion à l'association elle même.
Enfin en en bas à droite bas de la page vous pouvez trouver les classiques flux RSS, pour le site :

Flux RSS


Et celui des commentaires (modérés).
Bon Web 2.0 !
http://www.ada-france.org/?p=518
483 2010-11-02 Adhérer à l'association Ada France Comme toute association Ada France vit grace aux cotisations et contributions de ses adhérents. Si vous souhaitez soutenir le langage Ada en France alors vous devez adhérer ou renouveller votre cotisation à l'association Ada France.


Le montant de cotisation annuelle à l'association Ada France est inchangé : 30 euros.
Vous avez également la possibilité d'y joindre votre adhésion à Ada-Europe d'un montant additionnel de 25 euros, pour un total de 55 euros.
Vous pouvez envoyer votre règlement à l'ordre d'Ada France à notre trésorier à l'adresse postale suivante :
Xavier Grave
Trésorier Association Ada France
28 rives de la Juine
91 150 Ormoy la rivière

Veuillez y joindre les renseignements suivants :

Fiche d'inscription Ada France
Renseignements :
Nom : ........................................................ Prénom : ..........................................................
Né(e) le : ................................................... A : ....................................................................
Adresse : ..............................................................................................................................
..............................................................................................................................................
Téléphone : ..........................................................................................................................
E­mail : ..................................................................................................................................
Ada France : 30 €     OUI | NON
Ada Europe : 25 €    OUI | NON
Total : ______

Si vous souhaitez l'imprimer voici une version PDF du formulaire d'adhésion a Ada France.
Vous pouvez aussi régler de manière électronique (par paypal ou autre) en contactant par courriel notre trésorier à :
tresorier AT ada-france POINT org

Les cotisations nous permettent de maintenir le serveur de l'association qui sert à héberger ce site, des listes de diffusions et un serveur monotone pour des projets Ada.
Merci à tous !
http://www.ada-france.org/?p=483
407 2010-11-01 Call For Papers Ada-Europe 2011 Deadline 21 November 2010 2nd CALL FOR PAPERS
The Ada Connection
16th International Conference on
Reliable Software Technologies - Ada-Europe 2011 + Ada Conference UK 2011
20 - 24 June 2011, Edinburgh, UK

http://www.ada-europe.org/conference2011

Organized by Ada-Europe,
in cooperation with ACM SIGAda

*** DEADLINE 21 NOVEMBER ***
*** Web submission system available ***
-----------------------------------------------------------------------
Ada-Europe organizes annual international conferences since the early
80's. This is the 16th event in the Reliable Software Technologies
series, previous ones being held at Montreux, Switzerland ('96),
London, UK ('97), Uppsala, Sweden ('98), Santander, Spain ('99),
Potsdam, Germany ('00), Leuven, Belgium ('01), Vienna, Austria ('02),
Toulouse, France ('03), Palma de Mallorca, Spain ('04), York, UK ('05),
Porto, Portugal ('06), Geneva, Switzerland ('07), Venice, Italy ('08),
Brest, France ('09), and Valencia, Spain ('10).
The Ada Conference UK is organized roughly every 1.5 years to promote
awareness of the Ada programming language in the UK and to highlight
the increased relevance of Ada in safety- and security-critical
programming. Previous events were held at Manchester ('06 and '07)
and London ('09).
General Information
-------------------
The Ada Connection combines the 16th International Conference on
Reliable Software Technologies - Ada-Europe 2011 - with Ada Conference
UK 2011. It will take place in Edinburgh, Scotland's capital city and
the UK's most popular conference destination.
In traditional Ada-Europe style, the conference will span a full week,
including a three-day technical program and vendor exhibition from
Tuesday to Thursday, along with parallel tutorials and workshops on
Monday and Friday. The Ada Connection will also encompass technical
and vendor tracks under the banner of Ada Conference UK.
The Ada Connection will thus provide a unique opportunity for
interaction and collaboration between academics and industrial
practitioners.
Schedule
--------
21 November 2010: Submission deadline for regular papers, tutorial and
workshop proposals
08 January 2011: Submission of industrial presentation proposals
08 February 2011: Notification of acceptance to authors
08 March 2011: Camera-ready version of regular papers required
16 May 2011: Industrial presentations, tutorial and workshop
material required
20-24 June 2011: Conference
Topics
------
Over the years Ada-Europe has established itself as an international
forum for providers, practitioners and researchers into reliable
software technologies. The conference presentations will illustrate
current work in the theory and practice of the development and
maintenance of long-lived, high-quality software systems for a variety
of established and novel application domains. The program will allow
ample time for keynotes, Q&A sessions, panel discussions and social
events. Participants will include practitioners and researchers
representing industry, academia and government organizations active in
the promotion and development of reliable software technologies.
All contributions, whether regular papers, industrial presentations,
tutorials or workshops, should address the topics of interest to the
conference, which for this edition include but are not limited to:
- Methods and Techniques for Software Development and Maintenance:
Requirements Engineering, Object-Oriented Technologies, Model-driven
Engineering, Formal Methods and Supporting Toolsets, Re-engineering
and Reverse Engineering, Reuse, Software Management.
- Software Architectures: Architectural Styles, Service-Oriented
Architectures, Cloud Service Model, Design Patterns, Frameworks,
Architecture-Centered Development, Component and Class Libraries,
Component-based Design and Development.
- Enabling Technologies: Software Development Environments, Compilers,
Debuggers, Run-time Systems, Middleware Components, Concurrent and
Distributed Programming, Ada Language and Technologies.
- Software Quality: Quality Management and Assurance, Risk Analysis,
Program Analysis, Verification, Validation, Testing of Software
Systems.
- Theory and Practice of High-Integrity Systems: Real-Time,
Distribution, Fault Tolerance, Security, Reliability, Availability,
Trust and Safety, Language Vulnerabilities.
- Embedded Systems: Multicore Architectures, HW/SW Co-Design,
Reliability and Performance Analysis.
- Mainstream and Emerging Applications: Manufacturing, Robotics,
Avionics, Space, Health Care, Transportation, Energy, Fun and
Business Games, Telecommunication, etc.
- Experience Reports: Case Studies and Comparative Assessments,
Management Approaches, Qualitative and Quantitative Metrics.
- The Future of Ada: New language features, implementation and use
issues; positioning in the market and in education; where should
Ada stand in the software engineering curriculum; lessons learned
on Ada Education and Training Activities with bearing on any of the
conference topics.
Call for Regular Papers
-----------------------
Authors of regular papers which are to undergo peer review for
acceptance are invited to submit original contributions. Paper
submissions shall be in English, complete and not exceeding 14
LNCS-style pages in length. Authors should submit their work via
the Web submission system accessible from the Conference Home page.
The format for submission is solely PDF. Should you have problems
to comply with format and submission requirements, please contact
the Program Chairs.
Proceedings
-----------
The conference proceedings will be published in the Lecture Notes in
Computer Science (LNCS) series by Springer, and will be available at
the start of the conference. The authors of accepted regular papers
shall prepare camera-ready submissions in full conformance with the
LNCS style, not exceeding 14 pages and strictly by 8 March 2011.
For format and style guidelines authors should refer to
http://www.springer.de/comp/lncs/authors.html. Failure to comply and
to register for the conference by that date will prevent the paper
from appearing in the proceedings.
The conference is ranked class A in the CORE ranking and is listed
among the top quarter of CiteSeerX Venue Impact Factor.
Awards
------
Ada-Europe will offer honorary awards for the best regular paper and
the best presentation.
Call for Industrial Presentations
---------------------------------
The conference also seeks industrial presentations which deliver value
and insight, but may not fit the selection process for regular papers.
Authors of industrial presentations are invited to submit a short
overview (at least one page) of the proposed presentation by 8 January
2011. Please follow the submission instructions on the conference
website. The Industrial Committee will review the proposals and make
the selection. The authors of selected presentations shall prepare a
final short abstract and submit it by 16 May 2011, aiming at a
20-minute talk. Accepted authors will also be invited to submit
corresponding articles for publication in the Ada User Journal, which
will host the proceedings of the Industrial Program of the Conference.
For any further information please contact the Industrial Chair
directly.
Call for Tutorials
------------------
Tutorials should address subjects that fall within the scope of the
conference and may be proposed as either half- or full-day events, to
be scheduled at either end of the conference week. Proposals should
include a title, an abstract, a description of the topic, a detailed
outline of the presentation, a description of the presenter's lecturing
expertise in general and with the proposed topic in particular, the
proposed duration (half day or full day), the intended level of the
tutorial (introductory, intermediate, or advanced), the recommended
audience experience and background, and a statement of the reasons for
attending. Proposals should be submitted by e-mail to the Tutorial
Chair. The authors of accepted full-day tutorials will receive a
complimentary conference registration as well as a fee for every paying
participant in excess of five; for half-day tutorials, these benefits
will be accordingly halved. The Ada User Journal will offer space for
the publication of summaries of the accepted tutorials.
Call for Workshops
------------------
Workshops on themes that fall within the conference scope may be
proposed. Proposals may be submitted for half- or full-day events, to
be scheduled at either end of the conference week. Workshop proposals
should be submitted to the Conference Chair. The workshop organizer
shall also commit to preparing proceedings for timely publication in
the Ada User Journal.
Call for Exhibitors
-------------------
The commercial exhibition will span the two days (Tuesday & Wednesday)
of the main conference. Vendors and providers of software products and
services should contact the Exhibition Chair for information and for
allowing suitable planning of the exhibition space and time.
Grants for Reduced Student Fees
-------------------------------
A limited number of sponsored grants for reduced fees is expected to be
available for students who would like to attend the conference or
tutorials. Contact the Conference Chair for details.
Organizing Committee
--------------------
Honorary Chair
John Barnes, John Barnes Informatics, UK
jgpb@jbinfo.demon.co.uk
Conference Co-Chairs
Rod Chapman, Altran Praxis Ltd, UK
rod.chapman@altran-praxis.com
Steve Riddle, Newcastle University, UK
steve.riddle@ncl.ac.uk
Program Co-Chairs
Alexander Romanovsky, Newcastle University, UK
alexander.romanovsky@ncl.ac.uk
Tullio Vardanega, University of Padua, Italy
tullio.vardanega@math.unipd.it
Tutorial Chair
Albert Llemosí, Universitat de les Illes Balears, Spain
albert.llemosi@uib.cat
Exhibition Chair
Joan Atkinson, CSR, UK
joan.atkinson@ncl.ac.uk
Industrial Chair
Jamie Ayre, AdaCore, France
ayre@adacore.com
Publicity Chair
Dirk Craeynest, Aubay Belgium & K.U.Leuven, Belgium
Dirk.Craeynest@cs.kuleuven.be
Finance Chair
Neil Speirs, Newcastle University, UK
neil.speirs@ncl.ac.uk
Local Chairs
Joan Atkinson & Claire Smith, CSR, UK
{joan.atkinson,claire.smith}@ncl.ac.uk
Program Committee
-----------------
Alejandro Alonso, Universidad Politécnica de Madrid, Spain
Ted Baker, Florida State University, USA
John Barnes, John Barnes Informatics, UK
Johann Blieberger, Technische Universität Wien, Austria
Jørgen Bundgaard, Rovsing A/S, Denmark
Bernd Burgstaller, Yonsei University, Korea
Alan Burns, University of York, UK
Jon Burton, Altran Praxis Limited, UK
Rod Chapman, Altran Praxis Limited, UK
Dirk Craeynest, Aubay Belgium & K.U.Leuven, Belgium
Alfons Crespo, Universidad Politécnica de Valencia, Spain
Juan A. de la Puente, Universidad Politécnica de Madrid, Spain
Franco Gasperoni, AdaCore, France
Michael González Harbour, Universidad de Cantabria, Spain
José Javier Gutiérrez, Universidad de Cantabria, Spain
Andrew Hately, Eurocontrol Experimental Centre, France
Peter Hermann, Universität Stuttgart, Germany
Jérôme Hugues, ISAE Toulouse, France
Albert Llemosí, Universitat de les Illes Balears, Spain
Franco Mazzanti, ISTI-CNR Pisa, Italy
John McCormick, University of Northern Iowa, USA
Julio Medina, Universidad de Cantabria, Spain
Stephen Michell, Maurya Software, Canada
Javier Miranda, Universidad Las Palmas de Gran Canaria, Spain
Daniel Moldt, University of Hamburg, Germany
Jürgen Mottok, Regensburg University of Applied Sciences, Germany
Laurent Pautet, Telecom Paris, France
Luís Miguel Pinho, Polytechnic Institute of Porto, Portugal
Erhard Plödereder, Universität Stuttgart, Germany
Jorge Real, Universidad Politécnica de Valencia, Spain
Alexander Romanovsky, Newcastle University, UK
Bo I. Sandén, Colorado Technical University, USA
Sergio Sáez, Universidad Politécnica de Valencia, Spain
Ed Schonberg, AdaCore, USA
Theodor Tempelmeier, Univ. of Applied Sciences Rosenheim, Germany
Jean-Loup Terraillon, European Space Agency, The Netherlands
Elena Troubitsyna, Äbo Akademi, Finland
Santiago Urueña, GMV, Spain
Tullio Vardanega, Università di Padova, Italy
Andy Wellings, University of York, UK
Jürgen Winkler, Friedrich-Schiller Universität, Germany
Industrial Committee
--------------------
Guillem Bernat, Rapita Systems, UK
Dirk Craeynest, Aubay Belgium & K.U.Leuven, Belgium
Hubert Keller, Forschungszentrum Karlsruhe GmbH, Germany
Ismael Lafoz, Airbus Military, Spain
Ahlan Marriott, White-Elephant GmbH, Switzerland
Paul Parkinson, Wind River, UK
Jean-Pierre Rosen, Adalog, France
Alok Srivastava, TASC Inc, USA
Rei Stråhle, Sweden
Rod White, MBDA, UK
-----------------------------------------------------------------------
Our apologies if you receive multiple copies of this announcement.
Please circulate widely.
If you have a LinkedIn account, let your network know that you will
be attending or are interested in thist event; see
http://events.linkedin.com/Ada-Connection-16th-International/pub/405820
Dirk.Craeynest@cs.kuleuven.be, Ada-Europe'2011 Publicity Chair
http://www.ada-france.org/?p=407
1 2010-10-31 Nouveau site pour l'association Ada France


Le nouveau site de l'association Ada France est maintenant disponible. Nous avons remplacé le vénérable SPIP par Worpress avec le thème Arthemia-fr.



Ada Lovelace


Les anciennes URLs devraient rediriger automatiquement vers les nouvelles donc rien à changer dans vos pages.
Les commentaires sont activés mais modérés, n'hésitez pas à ajouter toute remarque en commentaire.
Bonne lecture.
http://new.ada-france.org/?p=1
2 2010-10-31 À propos L’association Ada-France a pour objet de regrouper les utilisateurs du langage de programmation Ada, en vue de partager expériences d’utilisation et points de vues. Pour cela, elle coordonne les interactions entre les membres de l’association et organise des manifestations propices à ces échanges et à la promotion du langage Ada.
Adhérer à l'association Ada France pour soutenir le langage Ada
http://new.ada-france.org/?page_id=2
448 2010-08-04 Adacontrol version 1.12r4 La version 1.12r4 d'Adacontrol est disponible. http://www.ada-france.org/?p=448
455 2010-07-28 GNAT GPL 2010 Edition L'édition 2010 de GNAT GPL edition est disponible.
http://www.ada-france.org/?p=455
444 2010-03-19 AdaSockets 1.8.8 La version 1.8.8 d'AdaSockets est disponible sur le site de Samuel Tardieu. http://www.ada-france.org/?p=444
467 2009-10-15 Compte rendu de la réunion du 14 octobre 2009 Le 14 octobre 2009 a 14h15 les candidats à la reprise de l'association Ada France se sont réunis dans les locaux d'AdaLog.

Crédit Image : wikipedia.
Présents :

  • Xavier Grave

  • Laurent Guerby

  • Jean-Pierre Rosen

Présents par téléphone :

  • Samuel Tardieu

  • Thomas de Contes

Points discutés :

  1. Déclaration à la prefecture du nouveau bureau

  2. Analyse par Xavier du dossier banque, point sur les comptes

  3. Siège social et reception du courrier

  4. Récupération des archives par Jean-Pierre

  5. Assurance de l'association ?

  6. Mise à jour du site web par Laurent

  7. Reprendre contact avec Ada Europe pour Jean-Pierre, cout éventuel de l'envoi postal du Ada User Journal voir avec Xavier, régler la cotisation Ada Europe.

  8. Création et mise à jour de contacts courriels par Laurent

  9. Créer un compte paypal

  10. Contacter les vendeurs Ada

  11. Changement de serveur  ? En plus du web et du mail nous hébergeons un serveur monotone pour les travaux de Ludovic. Le serveur est chez dedibox.

  12. Offre d'emploi via lolix.com

  13. Création identi.ca / twitter / facebook

  14. Appel à cotisation pour financer le serveur de l'association, récupérer les listes d'adresse pour Jean-Pierre une fois le site en place.

  15. Échange de coordonnées des nouveaux membres du bureau.

Le nouveau bureau :

  • Thomas De Contes

  • Xavier Grave (trésorier)

  • Laurent Guerby (secrétaire)

  • Jean-Pierre Rosen (président)

  • Samuel Tardieu
http://www.ada-france.org/?p=467
397 2008-11-14 AdaControl 1.10r10 Posté sur fr.comp.lang.ada:
Cette nouvelle version est une simple correction de bugs, pour des cas
tordus de renamings compliqués. Aucun changement de fonctionnalité.
Mise à jour conseillée, désolé pour le dérangement.
J-P. Rosen

Voir en ligne : AdaLog

http://www.ada-france.org/?p=397
395 2008-11-03 AdaControl 1.10r8 Adalog a le plaisir d'annoncer la mise à disposition d'une nouvelle version d'AdaControl, avec maintenant 372 possibilité de vérifications! Plus des améliorations aux autres règles, et à la facilité d'utilisation en général (et même quelques corrections de bugs).
Les distributions exécutables sont maintenant précompilées pour gnat/GPL2008.
En plus, les utilisateurs Windows seront ravis de voir que les distributions source et exécutable sont aussi fournies sous forme d'installateurs qui s'occupent de tout. (Merci à Inno-Setup, un excellent générateur d'installateurs libre).
Comme toujours, tout est sous licence GMGPL. Un service de support commercial, ainsi que des servcies associés à l'utilisation de l'outil sont fournis par Adalog.

Voir en ligne : AdaLog

http://www.ada-france.org/?p=395
393 2008-11-03 Nouvelle édition de la Charte Debian pour Ada Cette Troisième Édition de la Charte Debian pour Ada reflète la manière dont les paquets sont faits dans Debian 5.0 "Lenny". Le document est disponible en anglais en HTML, texte, PDF, info et texinfo.
La source texinfo de ce document se trouve dans la base de données Monotone publique d'Ada-France.
Les changements depuis la Seconde Édition (Debian 4.0 "Etch"):
- Publication finale de l'Amendement 1 (Ada 2005)
- Transition vers GCC 4.3
- Les fichiers projets deviennent des fichiers projets de bibliothèques (library project files)
- GLADE remplacé par PolyORB (mais malheureusement pas fourni dans Debian)
- Les bibliothèques fournissent maintenant les informations de déverminage dans des paquets -dbg séparés

Voir en ligne : Debian Policy for Ada

http://www.ada-france.org/?p=393
285 2008-11-02 Un petit tutoriel Ada L'association Telecom-Robotics a publié un tutoriel Ada.

On peut trouver ce tutoriel sur le site de l'association. Il est à noter que Telecom Robotics est une des premières équipes à utiliser Ada lors de la coupe Eurobot.
http://new.ada-france.org/?p=285
279 2008-10-15 Ada au FOSDEM 2009, appel aux bonnes volontés 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.

FOSDEM , le Free and Open Source Developers' European Meeting, est un événement gratuit et non commercial d'un week-end organisé tous les ans en février à Bruxelles, en Belgique.
Son but est de fournir aux développeurs de logiciels libres un lieu de rencontres et d'échanges, un programme de présentations par des membres éminents de projets de logiciels libres, et une promotion des logiciels et solutions libres.
Dans une Developers Room au FOSDEM 2006, Ada-Belgium a organisé une journée entière de présentations qui ont fait salle comble.
Chaque année, le nombre de demandes pour des DevRooms excède le nombre de salles disponibles, confrontant les organisateurs à des arbitrages difficiles. Pour le FOSDEM 2008, Ada-Belgium a proposé un nouveau programme de présentations d'une journée mais les organisateurs pensaient que trop peu d'auditeurs seraient intéressés. Ada-Belgium veut réitérer cette proposition en 2009, cette fois en montrant que l'intérêt est suffisant, comme il l'était manifestement en 2006.
Pour augmenter les chances qu'une DevRoom soit attribuée aux présentations Ada, Ada-Belgium lance un appel aux bonnes volontés:
- dites haut et fort que vous voulez voir des présentations Ada au FOSDEM 2009 en envoyant un mail à info@fosdem.org (et mettez ada-belgium-board@cs.kuleuven.be en copie SVP)
- Visitez la page de brainstrorming du FOSDEM et demandez des conférences et des orateurs "orientés" Ada
- Un bonus si vous informez ada-belgium-board@cs.kuleuven.be de vos désirs précis en ce qui concerne des présentations dans une éventuelle DevRoom
- Un super-bonus si vous souscrivez à la liste AdaFOSDEM pour y mettre les détails au point
- Un super-méga-bonus si vous vous vous proposez comme orateur; la liste AdaFOSDEM est le lieu pour cela!
Ada-Belgium attend vos réactions rapides et en tout état de cause avant le 15 novembre 2008.
Autres liens:
- article111
- Appel aux propositions du FOSDEM pour des DevRooms en 2008
- L'annonce originale en HTML
- L'annonce originale en texte (6 ko)
- L'annonce originale en PDF (152 ko)
http://new.ada-france.org/?p=279
389 2008-05-06 Ada-Belgium organise un barbecue avec atelier Debian le 18 mai 2008 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

http://www.ada-france.org/?p=389
275 2008-02-12 Appel à cotisations AdaFrance 2008
Après la remise en marche de l'association, nous lançons un appel à cotisations pour garantir à l'association sa stabilité pour l'année à venir.
Comme discuté lors de la dernière assemblée générale:
- Une journée Ada-France a été organisée à Brest en 2007: http://www.ada-france.org/article138.html. Une autre est prévue pour 2008.
- Le comité de direction d'AdaEurope nous a confirmé que l'édition 2009 de la conférence Reliable Software Technologies, AdaEurope'09 sera organisée à Brest
Ces activités ne peuvent être menées à bien par l'association sans adhérents. Les informations pour adhérer sont présentes ici http://www.ada-france.org/article4.html
http://new.ada-france.org/?p=275
273 2007-12-10 Présentations faites lors de la journée Ada 6 décembre 2007
Ada-France a organisé le 6 décembre 2007 une journée sur les systèmes embarqués à Télécom Bretage. Cette journée a rassemblé une trentaine de participants. Voici les présentations faites
- Premiers retours d'un chercheur sur l'utilisation de l'IDM pour le temps réel. Jérôme Delatour, ESEO (Angers) .

- AADL: état et perspectives. Pierre Dissaux, Ellidiss Technologies (Brest) .

- Validation de systèmes temps-réel et embarqué à partir d’un modèle MARTE : expérimentation. Eric Maes, THALES Research and Technology (Palaiseau) .

AUTOSAR: Streamlining automotive systems and processes. Francois Dupont, Geensys (Brest) .
- Expérimentation d’unités de preuve pour la validation formelle de logiciels embarqués critiques. Philippe Dhaussy*, Pierre Yves Pilain*, Dominique Kerjean* Stéphane de Belloy**, Arnaud Monégier du Sorbier**, Hugues Bonnin +, Frédéric Boniol***. * Laboratoire DTN, ENSIETA (Brest), ** THALES AIR SYSTEMS (Rungis), + CS-SI (Toulouse), *** IRIT-ENSEEIHT (Toulouse).

- Ada 2005 pour les systèmes embarqués temps réel. José F. Ruiz, AdaCore (Paris) .

- Les outils de retro-ingénierie de code Ada. Eric Audrezet, Sodius (Nantes).
http://new.ada-france.org/?p=273
271 2007-11-19 Programme de la Journée Ada-France le 6 décembre 2007, à Brest

Thématique de la journée


Un système embarqué est un ensemble cohérent de constituants informatiques (matériels et logiciels). Il est souvent invisible à l’utilisateur d'un équipement. Il donne à l’équipement la capacité de remplir un ensemble de missions spécifiques en le dotant d'intelligence. Il effectue des traitements numériques et gère les échanges d'informations de l'équipement nécessaires à l'accomplissement de ses missions. D'autre part, un système informatique embarqué doit faire face, à des degrés divers, à des contraintes temps réel dont la nature conduit à distinguer les systèmes temps réel durs ou critiques (devant respecter des bornes de temps de réponses, faute de quoi la mission de l'équipement ne peut être remplie) et les systèmes temps réel mous (devant tendre à respecter des contraintes dont le non respect temporaire engendre au plus un dysfonctionnement partiel qui ne remet pas en cause sa mission). On parle de système embarqué critique lorsqu'un équipement réalise une mission dont l'échec a potentiellement un impact majeur sur la vie, la santé de personnes, sur l'état de l'environnement,... plus généralement sur l'accomplissement de missions critiques auquel il participe. Que ce soit à cause de leur coût de fabrication, leur caractère critique, leur complexité ou encore leur inaccessibilité pendant leur utilisation, l'ingénierie de ces systèmes nécessite l'utilisation de méthodes, de procédés, de modèles et d'outils spécifiques.
Sponsors et partenaires de la journée :
- AdaCore (http://www.adacore.com)
- Ellidiss technologies (http://www.ellidiss.com)
- Jessica France (http://www.jessica-france.fr/)

Programme de la journée


Matinée
9h-9h30. Accueil des participants, café.
9h30-10h15. Premiers retours d'un chercheur sur l'utilisation de l'IDM pour le temps réel. Jérôme Delatour, ESEO (Angers) .
10h15-11h. AADL: état et perspectives. Pierre Dissaux, Ellidiss Technologies (Brest) .
11h-11h45. Validation de systèmes temps-réel et embarqué à partir d’un modèle MARTE : expérimentation. Eric Maes, THALES Research and Technology (Palaiseau) .
11h45-12h30. AUTOSAR: Streamlining automotive systems and processes. Francois Dupont, Geensys (Brest) .
Après-midi
Pause déjeuner, café.
14h30-15h15. Expérimentation d’unités de preuve pour la validation formelle de logiciels embarqués critiques. Philippe Dhaussy*, Pierre Yves Pilain*, Dominique Kerjean* Stéphane de Belloy**, Arnaud Monégier du Sorbier**, Hugues Bonnin +, Frédéric Boniol***. * Laboratoire DTN, ENSIETA (Brest), ** THALES AIR SYSTEMS (Rungis), + CS-SI (Toulouse), *** IRIT-ENSEEIHT (Toulouse).
15h15-16h. Ada 2005 pour les systèmes embarqués temps réel. José F. Ruiz, AdaCore (Paris) .
16h-16h45. Les outils de retro-ingénierie de code Ada. Eric Audrezet, Sodius (Nantes).
16h45. Fin de la journée, bilan et annonce de la journée suivante.

Inscription et informations pratiques


La participation à cette journée est gratuite. Les pauses café ainsi qu'un déjeuner seront offerts par les sponsors. Pour des raisons de logistiques (repas, salles), l'inscription à cette journée est obligatoire. La date limite d'inscription est fixée au 1er décembre.
L'inscription peut être effectuée en renvoyant le bulletin ci-dessous par email à F. Singhoff (singhoff@univ-brest.fr).
Nom :
Prénom :
Profession :
Organisme/établissement :
Adresse professionelle :
Téléphone :
E-mail :
La journée se déroule à l'ENST-Bretagne. Un plan d'accès (avion, bus, voiture, train) est disponible ici : http://www.enst-bretagne.fr/ecole/campus_de_brest/plan_d_acces/

Résumés des présentations


Premiers retours d'un chercheur sur l'utilisation de l'IDM pour le temps réel
Jérôme Delatour, ESEO (Angers)
Une nouvelle approche de développement, l'Ingénierie Dirigée par les Modèles (IDM, ou MDA en anglais), est apparue en 2000. Le domaine des systèmes temps réel et/ou enfouis (embedded and real-time systems) s'est très vite intéressé à cette nouvelle approche. Sept ans après son apparition, cet exposé propose de faire un premier état des lieux sur les intérêts mais aussi les limites de cette approche pour le développement de système temps réel. Un rapide panorama de la terminologie de l'IDM, ainsi que des outils et techniques disponibles sera effectué. Cet exposé sera illustré par des exemples issus des travaux effectués dans ce domaine par l'équipe de recherche TRAME (TRAnsformations de Modèles pour l'Embarqué).
AADL: état et perspectives
Pierre Dissaux, Ellidiss Technologies (Brest)
Le langage AADL (Architecture Analysis and Design Language) a fait l'objet d'une publication en tant que norme internationale auprès de la SAE (Society for Automotive Engineering) en novembre 2004. Une nouvelle version du standard est actuellement en cours de finalisation. Cette présentation débutera par un brève revue des principaux concepts de AADL et de son comité de standardisation, sera suivi d'une synthèse des trois années de mise en oeuvre du standard en terme de réalisation d'outillage, de prise en compte dans des programmes de recherche et d'évaluation industrielle, et se terminera par un panorama des nouveautés attendues pour la nouvelle version avec un éclairage plus focalisé sur l'annexe comportementale. Une des interrogation fréquente des utilisateurs potentiels d'AADL concerne son positionnement vis à vis du monde UML. Dans chaque partie de l'exposé, les intéractions existantes ou futures avec UML seront évoquées.
Validation de systèmes temps-réel et embarqué à partir d’un modèle MARTE : expérimentation
Eric Maes, THALES Research and Technology (Palaiseau)
Un processus de modélisation pour les systèmes temps-réels et embarqués implique l’utilisation de différents modèles dédiés chacun aux différentes phases du développement (spécification, conception, test, ...) et aux interactions avec des outils (vérification de modèle, analyse de performance, analyse d’ordonnançabilité, ...). Centraliser ces différentes informations généralement traitées par des intervenants différents au niveau d’un seul modèle permet d’avoir une vue générale du système, d’en garantir la cohérence et d’en faciliter la validation tout au long du processus de développement afin de réduire le coût de ce développement.
Le nouveau standard MARTE (« Modeling and Analysis of Real-time and Embedded systems ») est le profil UML de l’OMG permettant de répondre à cette problématique dans le domaine du temps-réel et de l’embarqué. Il propose un langage intégrant l’ensemble des concepts propres à ce domaine et ceci pour les différents stades du processus de développement. MARTE permet d’étendre un modèle UML avec des caractéristiques spécifiques aux systèmes-temps réels. Celles-ci peuvent alors être utilisées pour faire des prédictions quantitatives relatives aux fonctionnalités temps-réel et embarqué d’un système, tout en tenant compte, tant des aspects matériels que des caractéristiques logicielles. Cela facilite une interopérabilité entre les outils utilisés pour la spécification , la conception, l’analyse et la vérification.
Afin de montrer le gain obtenu par l’utilisation d’une telle démarche, il est nécessaire d’établir un processus outillé et de construire une étude concrète permettant de démontrer l’interopérabilité entre les outils. Un processus outillé recquiert : 1) une démarche de modélisation, 2) la prise en compte de l’ensemble des concepts nécessaires pour appliquer une analyse utile et 3) l’automatisation du processus pour envisager une interaction rapide et sûre avec des outils de validation. Un tel processus outillé doit convaincre les utilisateurs industriels à adhérer à la démarche. Nous proposons de définir et de mettre en oeuvre un tel processus outillé dans le cadre particulier d’un cas d’étude classique du monde temps-réel et embarqué que nous souhaitons valider à l’aide d’un outil d’analyse.
Le cas d’étude, un robot autonome relevant la température à intervalles réguliers de temps, le long d’une route prédéterminée, a été modélisé en utilisant MARTE, en y intégrant les notions propres à sa conception et à son analyse. Les caractéristiques du modèle sont ensuite prises en compte pour pouvoir en réaliser une analyse d’ordonnançabilité avec l’outil cheddar. Mettant en évidence la détection de disfonctionnements possible du système, cette expérimentation permet aussi et surtout de proposer une démarche pour modéliser les systèmes temps-réel en utilisant MARTE et de valider l’approche qui consiste à travailler avec un modèle unique.
AUTOSAR: Streamlining automotive systems and processes
Francois Dupont, Geensys (Brest)
The talk explains the AUTOSAR initiative for reducing industrial costs and streamlining the relationships between actors by leveraging the benefits of meta-modeling embedded distributed systems and its impact on related development and industrial processes.
Expérimentation d’unités de preuve pour la validation formelle de logiciels embarqués critiques
Philippe Dhaussy*, Pierre Yves Pilain*, Dominique Kerjean* Stéphane de Belloy**, Arnaud Monégier du Sorbier**, Hugues Bonnin +, Frédéric Boniol***. * Laboratoire DTN, ENSIETA (Brest), ** THALES AIR SYSTEMS (Rungis), + CS-SI (Toulouse), *** IRIT-ENSEEIHT (Toulouse)
Contexte : les systèmes d’information embarqués
Les concepteurs de logiciels embarqués critiques ont aujourd'hui à leur disposition de nombreux outils de spécification, de conception et de validation facilitant le développement des logiciels dans leur processus d'ingénierie. De nombreux travaux universitaires dans le domaine de la validation formelle ont exploré différents formalismes ou langages et ont contribué à la conception de techniques d'analyse et de preuve exploitables en contexte industriel. Néanmoins, nous constatons aujourd'hui encore une faible pénétration dans le processus d'ingénierie système et logicielle comparativement aux énormes besoins en terme de recherche de fiabilité et sûreté de fonctionnement des systèmes critiques. Cette contradiction trouve en partie ses causes dans la difficulté réelle de manipuler des concepts théoriques et des méthodes formelles dans un cadre industriel. Il nous apparaît donc indispensable de poursuivre les efforts pour contribuer à une meilleure intégration des techniques formelles dans les processus d’ingénierie.
Apport de l’IDM : opportunité et composants MDA
L'Ingénierie Dirigée par les Modèles (IDM) apparaît par ailleurs au niveau industriel comme une réponse potentielle pour la réalisation des systèmes à logiciels prépondérants qui englobent les systèmes embarqués et les systèmes d’information. Il est donc à notre avis pertinent de profiter des réflexions de la communauté IDM pour étudier les conditions d'une meilleure intégration des méthodes formelles. Ces approches peuvent nous permettre, par le biais de la notion de méta modèles et leur exploitation dans la manipulation et la transformation de modèles, de poser les bases des principes mis en œuvre dans les futurs outils à concevoir. Ceux-ci doivent permettre à l'ingénieur une utilisation plus importante des techniques de vérification et une meilleure capitalisation de son savoir-faire. Il semble donc pertinent d’identifier des composants MDA spécifiques pour la validation pouvant être manipulés comme des composants à part entière d’un processus de développement et se poser le problème de leur intégration dans les processus d’ingénierie.
Contribution
Pour contribuer à répondre à ce défi, le laboratoire DTN de l’ENSIETA, en partenariat avec THALES, CS-SI et l’IRIT, a développé une approche pour la vérification formelle basée sur la définition de composants MDA, nommés unités de preuves. Celles-ci encapsulent toutes les données nécessaires à la preuve de propriétés sur un modèle logiciel à vérifier et plongé dans un environnement. L’ensemble des unités de preuve, manipulé par l’utilisateur durant l’activité de validation de son modèle, constitue l’ensemble des obligations de preuve devant être démontrées. Elles peuvent être construites à partir des données fournies par les phases d’analyse et de conception du système. Ces composants intègrent des contextes de preuve qui modélisent formellement des exigences de sûreté ou vivacité bornée dans un contexte comportemental donné. Dans une approche IDM, les contextes de preuve sont traduits par transformation en codes exploitables par des outils d’analyse formelle. La présentation proposée rend compte d’expérimentations de cette approche menées sur des cas d’étude fournis par les industriels. Les unités de preuve intègrent une description des contextes de preuve dans un langage nommé CDL (Context Description Language) et sont exploités par l’outil de vérification OBP (Observer-Based Prover), développé au laboratoire ENSIETA-DTN mettant en œuvre le langage à automates temporisés IF et une technique de vérification par observateur.
Ada 2005 pour les systèmes embarqués temps réel
José F. Ruiz, AdaCore (Paris)
The presentation will show some interesting features that Ada offers to develop embedded real-time software, paying special attention to the new capabilities added to the Ada 2005 revision.
Embedded real-time systems typically have strong requirements in terms of predictability, memory footprint and efficiency. Ada defines a standardized mechanism to specify configuration directives which allow developers to constrain the language features to a well-defined subset, in such a way as to preclude complex, inefficient and non-deterministic features. The compiler can hence select a more efficient implementation of the required functionality according to the selected restrictions, including the removal of unnecessary run-time support.
An interesting subset for embedded high-integrity real-time systems is the Ravenscar profile, a reliable concurrency model standardized in Ada 2005. The Ravenscar profile comprises a powerful and expressive computational model that can be supported by a small, reliable, and extremely efficient run-time system. The Ravenscar tasking model has been designed to meet the requirements for determinism, schedulability analysis, and memory boundedness, making it suitable for both hard real-time and high-integrity systems. An additional Ada 2005 tasking feature designed to increase robustness is the support to monitor and control execution time.
These features allow run-time detection of an excessive consumption of computational resources, typically caused by either software errors or design errors made in the computation of worst-case execution times. Ada 2005 defines also some flexible scheduling policies, such as round robin using time slicing, and Earliest Deadline First (EDF) policy, which can also be mixed according to priority levels within a partition. Timing events are a new Ada 2005 feature that allows programmers to define code that is executed at a future point in time in an efficient and elegant way.
Ada 2005 includes also the means to use the powerful notions of object-oriented programming in embedded systems, where we want to limit the usage of memory and processing resources. Type extension and inheritance provide meaningful abstractions to design extensible and reusable modules where code is structured into a hierarchical set of classes with strict control over visibility of encapsulated state, data, and methods. Ada 2005 provides very fine-grained control over inheritance by allowing each operation to declare explicitly whether it is intended to inherit. Multiple inheritance of specification has been introduced in Ada 2005 through the notion of interfaces, which also extends to the unique Ada notions of task and concurrent object, maintaining the important design principle that concurrency is a first class citizen.
The use of Ada high-level constructs for low-level programming facilitates development, code reviews and analysis. Representation clauses in Ada allow close mapping of software data structures to the hardware. The association of this abstract data representation and Ada's strong typing allows for compile-time verifications that help early detection of errors in the development process. Hardware-specific features, such as vector processing instructions or direct operations on I/O ports, are also supported in Ada, together with the mechanisms for handling hardware interrupts. It is also possible to force read and update operations to be performed either directly to memory, or in an indivisible (atomic) manner.
Les outils de retro-ingénierie de code Ada
Eric Audrezet, Sodius (Nantes)
Les outils de retro-ingénierie de code Ada. Eric Audrezet, Sodius (Nantes). Dans le cadre de la reprise de code Ada soit à des fins de rétrodocumentation ou pour nourrir des modèles à réutiliser, il est essentiel de disposer de solutions flexibles d'analyse de code existant. Toutefois, les différents processus de codage existant, ainsi que la variété des profiles UML destinataires, ne permettent pas d'imaginer une solution universelle. Il est donc impératif de se baser sur des mécanismes flexibles, permettant d'avoir un haut niveau de maîtrise des structures UML à générer. Dans le cadre de la réalisation de notre outil de retro-ingénierie Ada, nous avons mis en place un mécanisme mettant en jeu plusieurs niveaux de méta-modèles, syntaxique et sémantique, liés entre eux par des règles de transformation. La présentation entre dans le détail de ce mécanisme.
Sponsors
http://new.ada-france.org/?p=271
269 2007-09-19 Reprise des activités d'Ada-France
Bonjour,
Malgré le peu d'activités visibles de la part de l'association, le nouveau bureau a poursuivi un travail de fonds pour repartir de plus belle:
Comme promis lors de la dernière assemblée générale:
- Une journée Ada-France est en cours d'organisation: http://www.ada-france.org/article135.html
- Le comité de direction d'AdaEurope nous a confirmé que l'édition 2009 de la conférence Reliable Software Technologies, AdaEurope'09 sera organisée à Brest
Par ailleurs
- Le site web va subir plusieurs mises-à-jour dans les semaines qui viennent
Ces différents points vont nous permettre de relancer l'association. Nous comptons sur vous pour faire de ces différents événements des succès.
http://new.ada-france.org/?p=269
14 2007-09-19 Journée Ada-France le 6 décembre 2007 à Brest
Appel à soumission pour la journée 2007 de l'association Ada-France.
"Méthodes, processus, modèles et outils pour l'ingénierie du logiciel embarqué temps réel critique".
Un système embarqué est un ensemble cohérent de constituants informatiques
(matériels et logiciels). Il est souvent invisible à l'utilisateur d'un équipement.
Il donne à l'équipement la capacité de remplir un ensemble de missions spécifiques
en le dotant d'intelligence. Il effectue des traitements numériques et gère les
échanges d'informations de l'équipement nécessaires à l'accomplissement de ses missions.
D'autre part, un système informatique embarqué doit faire face, à des degrés
divers, à des contraintes temps réel dont la nature conduit à distinguer les
systèmes temps réel durs ou critiques (devant respecter des bornes de temps de
réponses, faute de quoi la mission de l'équipement ne peut être remplie) et les
systèmes temps réel mous (devant tendre à respecter des contraintes dont le non
respect temporaire engendre au plus un dysfonctionnement partiel qui ne remet pas
en cause sa mission). On parle de système embarqué critique lorsqu'un équipement
réalise une mission dont l'échec a potentiellement un impact majeur sur la vie, la santé
de personnes, sur l'état de l'environnement,... plus généralement sur l'accomplissement
de missions critiques auquel il participe.
Que ce soit à cause de leur coùt de fabrication, leur caractère critique, leur complexité
ou encore leur inaccessibilité pendant leur utilisation, l'ingénierie de ces systèmes
nécessite l'utilisation de méthodes, de procédés, de modèles et d'outils spécifiques.
L'association Ada-France invite les acteurs de la communauté des systèmes embarqués
temps réel critiques, du monde académique et du monde industriel, à venir présenter leurs expériences dans ce domaine lors d'une journée organisée à l'ENST-Bretagne (Brest) le 6 décembre.
Sont sollicitées des présentations décrivant des expérimentations d'outils, de modèles
et/ou de méthodes utilisés ou susceptibles d'être utilisés pour la réalisation de systèmes embarqués temps réel critiques. Les domaines applicatifs ciblés par cette journée sont, entre autre, l'avionique, l'automobile, les télécommunications, la robotique ...
Soumission :
Les propositions de présentation doivent être soumises au format texte, word ou pdf.
Il est demandé un titre, un résumé de 500 mots maximum ainsi que le nom et
les coordonnées de l'orateur.
Les propositions devront être adressées avant le 20 octobre 2007 à
Frank Singhoff (singhoff@univ-brest.fr).
Avec nos remerciements pour votre participation.
Dates importantes :
- 20 Octobre 2007, échéance sur la date d'envoi des propositions
- 12 Novembre 2007, notifications aux auteurs et diffusion du programme de la journée
- 6 Décembre 2007, déroulement de la journée Ada-France à Brest, ENST-Bretagne.
Sponsors et partenaires de la journée :
- AdaCore (http://www.adacore.com)
- Ellidiss technologies (http://www.ellidiss.com)
- Jessica France (http://www.jessica-france.fr/)
Comité d'organisation :
- Jérôme Hugues (Président d'Ada-France, ENST, hugues@enst.fr)
- Yvon Kermarrec (Secrétaire d'Ada-France, ENST-Bretagne, yvon.kermarrec@enst-bretagne.fr)
- Frank Singhoff (Trésorier d'Ada-France, LISYC/Université de Brest, singhoff@univ-brest.fr)
http://new.ada-france.org/?p=14
267 2007-09-19 Compte rendu de l'assemblée générale du 19 Janvier 2007
Compte-rendu de l'assemblée générale ordinaire d'Ada France
réunie le 19 janvier 2007 à l'École nationale supérieure des
télécommunications.
Présents :
Thomas Quinot, président
Samuel Tardieu, trésorier
Jérôme Hugues
Jean-Pierre Rosen
Guillaume Folliard
Éric Forterre
Valablement représentés par un pouvoir écrit :
Fabrice Kordon (par Thomas Quinot)
Frank Singhoff (par Samuel Tardieu)
Yvon Kermarrec (par Jérôme Hugues)
Total : 9 adhérents présents ou représentés.
Le président, constatant que l'assemblée générale ordinaire
a été régulièrement convoquée en application de l'article 14
des statuts, ouvre la séance à seize heures.
Le secrétaire de séance est Thomas Quinot.
1. Rapport moral
----------------
Depuis la précédente assemblée générale (27 mai 2004), l'association a
été essentiellement dormante. Malgré tout, un certain nombre de services
ont été maintenus :
* le site web a été déménagé vers un hébergement plus fiable que le
précédent ;
* l'adhésion à Ada Europe a été maintenue, permettant notamment
l'envoi récent à chaque adhérent du manuel de référence Ada 2005 ;
* des ressources informatiques ont été mises à la disposition de
Ludovic Brenta, développeur Debian, pour qu'il puisse maintenir les
paquetages de GNAT dans cette distribution.
Éric Forterre note qu'un stock d'exemplaires d'Ada Users Journal est
toujours en sa possession, qu'il n'a pu expédier aux adhérents en raison
de changements professionnels (6 numéros x 25 adhérents environ). Pour
l'avenir il est proposé de confier ces envois directement à Ada Europe,
afin d'éviter une double expédition.
Pendant cette période, en revanche, il n'est pas apparu de motivation
suffisante pour organiser des événements ou poster de nouveaux articles
sur le site web. Pour qu'il soit intéressant de maintenir l'association
en vie, il est nécessaire aujourd'hui qu'une équipe motivée pour
reprendre une activité plus substantielle se manifeste.
Délibération :
L'assemblée générale donne quitus au président sur son rapport moral
pour la période écoulée par 9 voix pour, 0 contre, 0 abstention.
2. Rapport financier
--------------------
Samuel Tardieu, trésorier, présente le rapport financier pour la période
2004-2006. (détail dépenses-recettes annexé)
À l'issue de la période, le fonds associatif est constitué du solde
créditeur du compte bancaire, qui s'élève à un peu moins de 2 900 EUR.
Les dépenses récurrentes à prévoir pour l'exercice 2007 se décomposent en
:
650,00 EUR adhésion Ada Europe (26 adhérents)
438,75 EUR hébergement du serveur green.ada-france.org (Free)
39,60 EUR frais bancaires
Les actifs actuels, en l'absence de recettes, couvriraient donc deux ans
et demi de fonctionnement.
Pour assurer la pérennité du fonctionnement, un appel à cotisations sera
prochainement émis. Il appartiendra au Conseil d'administration de fixer
le montant des cotisations individuelles et d'entreprises. L'assemblée
générale note qu'eu égard aux services et activités proposés par
l'association, une cotisation trop chère pour les individuels serait
dissuasive. Faire « subventionner » les adhérents invididuels par les
adhérents entreprises (notamment pour supporter le coût de l'adhésion à
Ada Europe, qui est l'un des points importants pour les adhérents)
pourrait être une solution.
Délibération :
L'assemblée générale donne quitus au trésorier sur son rapport
financier pour la période écoulée par 9 voix pour, 0 contre,
0 abstention.
Arrivée d'un adhérent :
Patrick de Bondeli arrive à 16:20 et prendra part aux votes pour
la suite des délibérations.
3. Reprise de l'activité
------------------------
Une nouvelle équipe propose sa candidature au Conseil d'administration.
Elle se compose de
Jérôme Hugues (maître de conférences à l'ENST)
Frank Singhoff (maître de conférences à l'Université de Bretagne
Occidentale)
Yvon Kermarrec (professeur à l'ENST Bretagne)
Jérôme Hugues présente le projet de cette équipe :
* reprendre l'organisation de journées thématiques (une à deux
demi-journées par an), la première devant avoir lieu courant 2007 ;
* présenter la candidature de Brest pour l'organisation d'Ada Europe
en 2009.
L'assemblée générale est appelée à renouveler les membres élus du
conseil d'administration.
Délibération :
Yvon Kermarrec est élu par 9 voix pour, 0 contre, une abstention ;
Jérôme Hugues est élu par 10 voix pour, 0 contre, 0 abstention ;
Frank Singhoff est élu par 10 voix pour, 0 contre, 0 abstention.
Le conseil d'administration est donc composé des trois membres
nouvellement élus, ainsi que des trois membres fondateurs,
administrateurs de droit (Fabrice Kordon, Laurent Pautet et Samuel
Tardieu). Le conseil d'administration se réunira à sa convenance pour
désigner un bureau.
4. Dissolution
--------------
Délibération :
L'assemblée générale décide de ne pas prononcer la dissolution de
l'association par 10 voix contre la dissolution, 0 pour, 0 abstention.
5. Discussions diverses ne donnant pas lieu à délibération
----------------------------------------------------------
Jean-Pierre Rosen rappelle que le vote final WG9 sur Ada 2005 vient
d'avoir lieu et qu'un communiqué commun rassemblant Ada France et les
partenaires industriels serait opportun.
L'ordre du jour étant épuisé, le président lève la séance à 16;40.
----------
http://new.ada-france.org/?p=267
387 2007-06-15 Ada chez Barco avionique 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)

http://www.ada-france.org/?p=387
265 2007-03-27 Ingénieur Ada contexte simulation Ingénieur Ada contexte simulation

AXLOG, PME 80 pers. (Groupe Robinson), société d'ingénierie experte en informatique industrielle, scientifique et technique, intervient dans les domaines de l'aéronautique, du transport, de l'automobile, du spatial, de l'avionique et recrute pour de nouveaux projets.
Rattaché au responsable secteur, vos missions dans l'équipe de développement :
- la conception & réalisation de systèmes temps réel distribués en environnement industriel embarqué (Ada, C, et/ou C++)
- le développement de composants logiciels
- la conception & réalisation d'outils d'aide au développement
- la participation à l'intégration système et la mise au point de systèmes de simulation.
Formation Bac+5, école d'ingénieur ou DESS informatique, mini 1 an d’expérience en développement (débutants acceptés si stages significatifs), vous maîtrisez Ada (de préférence 95), C, C++. Une connaissance environnement HLA serait un plus.
Merci d’envoyer vos candidatures par mail à : recrutement@axlog.fr
http://new.ada-france.org/?p=265
263 2007-02-07 Ada-France hosts a Monotone server (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.

What is a source package?


A Debian source package consists of three files:
- package_version.orig.tar.gz contains the pristine upstream sources. The top-level directory in this archive is always package-version.orig (note: hyphen, not underscore as in the file name).
- package_version-revision.diff.gz is a compressed patch containing the packaging scripts and other Debian-specific files, as well as any changes to the upstream sources that the Debian maintainer deemed necessary. In particular, the executable file debian/rules builds the package; it is usually a Makefile.
- package_version-revision.dsc is a short text file containing the MD5 sums of the above files and is digitally signed by the package maintainer.
In order to build a Debian package:

$ tar xzf package_version.orig.tar.gz
$ zcat package_version-revision.diff.gz | patch -p0
$ mv package-version.orig paquet-version
$ cd package-version
$ debian/rules binary

All these steps, and others, are automated by apt-get:
$ apt-get source --build package

So, what is the problem?


With the above commands, you can download and rebuild any Debian package from your current distribution (stable, testing, unstable or experimental); you can also change the packaging scripts and patch the upstream sources to your heart's content. But you cannot:
- use older versions of the packaging scripts;
- use scripts not yet published on the Debian mirrors, perhaps because they are still under development;
- submit enhancements in a simple and safe way to the Debian maintainer; the official way is by means of a bug report, and that is inefficient and error-prone.
Many Debian packages are maintained by teams rather than individuals. All the above problems become show-stoppers in that situation.

Version control


A version control system makes the packaging scripts maintenance public. It is a necessary condition for team maintenance. For the Ada packages in Debian, I would like to instigate such teamwork by making all my packaging scripts public.
Many Debian package maintenance teams use Alioth together with Subversion, GNU Arch, Bazaar-NG or GIT.
I usually work on the train with no network access, and so an absolute requirement for me is a distributed version control system. After evaluating several candidates, I settled on Monotone.

Why Monotone?


In my humble opinion, Monotone is the Ada of version control systems; it only appropriate that Ada-France use it. Monotone is safe, correct and powerful by design. It uses cryptographic keys to authenticate all changes, and cryptographic hashes (SHA-1) to identify everything. It is written by elite programmers who, despite using C++, have the “Ada attitude”: no pointers, one assertion every 9 lines of code, heavy use of templates (a.k.a generics), and not a single critical bug in three years. This presentation, as well as my own trials, convinced me to use Monotone every day for all my Debian packages, and I have been doing so since July 2006.
A Monotone database is just a single file; this is very convenient for system administration.

What is in the database?


The Ada-France database is a replica of the one I work on (on my laptop) every day. It contains one or more branches for each package. Every version ever published also has a tag. By browsing this database, you can see all changes, with comments, since I began maintaining the packages in 2003. The size of this database is approximately 6.5 Mb (it was 1.7 Mb when I first published this article in French.) Today (2007-02-07), mtn list branches gives:
fr.free.brouits.libspopc
org.debian.408703
org.debian.adacontrol
org.debian.asis
org.debian.asis-doc
org.debian.asis.2005
org.debian.gnade
org.debian.gnat-gdb
org.debian.gnat-glade
org.debian.gnat-glade-doc
org.debian.gnat-gps
org.debian.gnat-gps.3.1.3
org.debian.gnat-gps.debug
org.debian.libadabindx
org.debian.libaunit
org.debian.libaws
org.debian.libflorist
org.debian.libgtkada2
org.debian.libopentoken
org.debian.libtemplates-parser
org.debian.libtexttools
org.debian.libxmlada1
org.debian.libxmlada2
org.gnu.emacs.ada-mode
org.log4Ada
org.ludovic-brenta.ada-mode
org.ludovic-brenta.camel
org.ludovic-brenta.cv
org.ludovic-brenta.cv.beaver-branch
org.ludovic-brenta.cv.production-engineering-branch
org.ludovic-brenta.defendguin
org.ludovic-brenta.defendguin.UPSTREAM
org.ludovic-brenta.distributed-version-control-systems
org.ludovic-brenta.findnewest
org.ludovic-brenta.meyse
org.ludovic-brenta.morse-decoder
org.ludovic-brenta.morse-decoder.START-OF-DEVELOPMENT
org.ludovic-brenta.spamkiller

The list of tags (mtn list tags) would be too long for this article.
Each branch contains a complete tree of files and directories with a debian directory and, usually, a patches directory. I use Quilt to maintain the patches.
Therefore, if you create a working copy (checkout) inside a directory that already contains the pristine upstream sources, you are ready to build the package.
The database does not contain the .orig.tar.gz files; these files are available either from the Debian mirrors or, if not yet published officially, from Ada-France: here.

Read access to the Ada-France database


- Install Monotone, version 0.26 or later (the server currently runs 0.31) (was 0.28 initially).
- create a database:
$ mtn --db=debian.mtn db init

(Personally, I like placing my databases under /var/lib/monotone, but you may place it anywhere; remember that it is just a single file).
- Pull the branches you are interested in from the Ada-France database:
$ mtn --db=debian.mtn pull www.ada-france.org 'org.debian.*'

- Create a working copy:
$ tar xzf package_version.orig.tar.gz
$ mv package-version.orig package-version
$ cd package-version
$ mtn --db=../debian.mtn checkout --branch=org.debian.package .

Now, you can build the package, see the log (mtn log), etc. but you cannot write to your own database yet. For this, you need to create a public-private key pair:
$ mtn genkey your.email@address

Now you can do mtn commit to record your changes in your own database. You can create additional branches, even branches not related to the Debian packages in any way.
(Note: all the above commands can be abbreviated: -d instead of --db=, -b instead of --branch=, etc. Also, --db= and --branch= become unnecessary as soon as you are in a working copy, because the working copy remembers the database and branch.)

Write access to the Ada-France database


As explained above, you already have write access to your own database, but what if you wish to submit your changes to other people? You will want to push them to the Ada-France database.
I will allow write access to anyone who requests it on condition that they are a member of the Debian web of trust. This in turn requires a GPG key pair which is signed by someone in the Web of Trust. You do not have to be a Debian Developer, but I want to know who you are. (These requirements are less stringent than the ones for becoming a Debian Developer. Here you need one signature from anyone in the Web of Trust; Debian, in contrast, requires two signatures from Debian Developers.)
The procedure is as follows:
- extract your public Monotone key from your Monotone database:
$ mtn --db=debian.mtn pubkey your.email@address > my_public_key

The file my_public_key is a short text file.
- send me your key in an email signed by your GPG key.
- wait until I tell you that you now have write permission.
- Push your changes to the Ada-France database:
$ mtn --db=debian.mtn push

(Your database remembers where you pulled it from, and will push there by default; you can change that if necessary.)
Ludovic Brenta has been maintaining most Ada packages in Debian since July 2003 as a volunteer. You can reach him at lbrenta@debian.org.
http://new.ada-france.org/?p=263
385 2007-02-06 Log4Ada 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
http://www.ada-france.org/?p=385
383 2006-12-07 AdaControl 1.6r8 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 encore.
Comme d'habitude, AdaControl est fourni sous licence GMGPL.
AdaControl est un produit commercial d'Adalog; pour toute information
concernant le support et l'assistance d'AdaControl, ou plus
généralement tout ce qui concerne l'établissement et la vérification
de règles de codage, merci d'écrire à info@adalog.fr

Voir en ligne : Le site d'AdaControl

http://www.ada-france.org/?p=383
381 2006-12-07 ImgSvr 0.6.7 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

http://www.ada-france.org/?p=381
261 2006-09-23 Un serveur Monotone sur Ada-France 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.

Qu'est-ce qu'un paquet source?


Un paquet source dans Debian se compose de trois fichiers:
- paquet_version.orig.tar.gz contient les sources non modifiées (dites sources «amont») du programme ou de la bibliothèque empaquetée. L'arborescence de fichiers commence obligatoirement au répertoire paquet-version.orig. (noter le tiret au lieu du blanc souligné).
- paquet_version-révision.diff.gz est une rustine compressée qui, appliquée à l'arborescence de fichiers ci-dessus, apporte les scripts de compilation et autres fichiers spécifiques à Debian, ainsi que les changements faits par le responsable du paquet. En particulier, le fichier exécutable debian/rules construit le paquet; c'est en général un Makefile.
- paquet_version-révision.dsc contient les sommes de contrôle MD5 des deux fichiers ci-dessus, et est signé par la clé GPG privée du responsable du paquet.
Pour compiler un paquet Debian, il faut donc faire:

$ tar xzf paquet_version.orig.tar.gz
$ zcat paquet_version-révision.diff.gz | patch -p0
$ mv paquet-version.orig paquet-version
$ cd paquet-version
$ debian/rules binary

Toutes ces étapes, et d'autres, sont automatisées par apt-get:
$ apt-get source --build paquet

Mais où est le problème?


Avec la commande ci-dessus, vous pouvez télécharger et recompiler n'importe quel paquet Debian, tel qu'il se trouve dans votre version (stable, en test, instable, ou expérimentale). Vous pouvez modifier les scripts de compilation ou appliquer des rustines aux sources amont. Mais vous ne pouvez pas:
- utiliser d'anciennes versions des scripts de compilation
- utiliser des scripts non encore publiés dans l'archive Debian, et qui sont en cours de mise au point
- proposer vos changements de façon simple et sûre au responsable du paquet (la manière officielle est d'ouvrir un rapport de bogue).
De nombreux paquets Debian sont entretenus par des équipes plutôt que par des personnes isolées. Tous les problèmes ci-dessus deviennent critiques dans ce contexte.

Le contrôle des versions


Un système de contrôle de versions permet de rendre l'entretien des scripts de compilation public. C'est une condition indispensable au travail en équipe. Pour les paquets Ada, j'aimerais susciter l'émergence d'une équipe en rendant mes scripts publics.
De nombreux paquets Debian sont maintenus sur Alioth au moyen de Subversion, GNU Arch, Bazaar-NG ou GIT.
Pour ma part, je travaille surtout dans le train, sans accès au réseau, et j'ai donc absolument besoin d'un système de contrôle des versions distribué. Après voir évalué plusieurs candidats, j'ai choisi Monotone.

Pourquoi Monotone?


À mon sens, Monotone est aux systèmes de contrôle des versions ce qu'Ada est aux langages de programmation; il n'est donc que trop approprié pour Ada-France. Monotone est, par construction, sûr, correct et puissant. Il utilise des clés cryptographiques pour authentifier les changements. Il est écrit par des programmeurs d'élite qui, bien qu'utilisant le langage C++, ont l'«attitude Ada»: pas de pointeurs, une assertion toutes les 9 lignes de code, des génériques (templates) à foison, et pas un seul bogue critique depuis trois ans. Cette présentation, ainsi que mes propres essais, m'ont convaincu d'utiliser Monotone quotidiennement depuis plusieurs mois pour tous mes paquets Debian.
Une base de données Monotone se compose d'un seul fichier; c'est donc très pratique pour la maintenance.

Qu'y a-t-il dans la base de données?


La base de données d'Ada-France est une réplique de celle sur laquelle je travaille tous les jours. Elle contient une branche différente pour chaque paquet; chaque version publiée de chaque paquet est en outre étiquetée. Vous pourrez voir tous les changements, commentés, depuis le début de mon activité dans Debian. La taille de la base de données est d'environ 1,7 méga-octets.
À la date d'aujourd'hui, mtn list branches me donne:
org.debian.adacontrol
org.debian.asis
org.debian.asis-doc
org.debian.asis.2005
org.debian.gnat-gdb
org.debian.gnat-glade
org.debian.gnat-gps
org.debian.libaunit
org.debian.libaws
org.debian.libflorist
org.debian.libgtkada2
org.debian.libopentoken
org.debian.libtemplates-parser
org.debian.libtexttools
org.debian.libxmlada1
org.debian.libxmlada2

La liste des étiquettes (mtn list tags) serait trop longue pour cet article.
Dans chaque branche se trouve une arborscence de fichiers avec un sous-répertoire debian et, en général, un répertoire patches. J'utilise Quilt pour tenir ces rustines à jour.
Donc, en créant une copie de travail (checkout) dans un répertoire qui contient les sources «amont» non modifiées, vous êtes prêt à compiler le paquet.
La base de données ne contient pas les fichiers .orig.tar.gz, qui sont par ailleurs disponibles soit dans les serveurs Debian, soit, s'ils ne sont pas encore publiés, sur celui d'Ada-France: ici.

Comment accéder au référentiel d'Ada-France?


Si vous voulez lire la base de données:
- installez Monotone, version 0.26 ou supérieure (le serveur est pour le moment en version 0.28).
- créez une paire de clés (publique/privée):
$ mtn genkey votre.adresse@email

- créez une base de données:
$ mtn --db=debian.mtn db init

(j'aime bien mettre toutes mes bases de données dans /var/lib/monotone/, mais vous pouvez mettre votre base de données n'importe où).
- répliquez toutes les branches commençant par org.debian:
$ mtn --db=debian.mtn pull www.ada-france.org 'org.debian.*'

- Créez une copie de travail:
$ tar xzf paquet_version.orig.tar.gz
$ mv paquet-version.orig paquet-version
$ cd paquet-version
$ mtn --db=../debian.mtn checkout --branch=org.debian.paquet .

- Vous pouvez maintenant construire le paquet, modifier les sources, et même faire un commit dans votre base de données. Vous pouvez créer une sous-branche si vous désirez que vos changement restent séparés.
(Toutes les commandes ci-dessus peuvent être abrégées: -d pour --db=, -b pour --branch=, etc. Le paramètre --db est inutile si vous êtes dans une copie de travail: la copie de travail sait où se trouve votre base de données).
Pour accéder à la base de donnés en écriture:
Comme expliqué ci-dessus, vous pouvez écrire dans votre propre base de données, mais si vous voulez me proposer vos changements automatiquement, vous voudrez écrire dans la base de données d'Ada-France.
Je n'accepterai de vous accorder la permission d'écrire que si je sais qui vous êtes :) donc, vous aurez besoin d'une paire de clés GPG, signée et membre du Réseau de Confiance de Debian en plus de votre paire de clés Monotone. Vous n'avez pas besoin d'être responsable Debian, mais vous devez vous identifier.
- extrayez votre clé publique de votre base de données:
$ mtn --db=debian.mtn pubkey votre.adresse@email > ma_cle_publique

Le fichier ma_cle_publique est un simple fichier texte, très court.
- envoyez-moi votre clé dans un courrier électronique signé par votre clé GPG.
- attendez que je vous réponde pour vous dire que vous pouvez maintenant écrire dans la base de données.
- répliquez vos changements:
$ mtn --db=debian.mtn push

(la base de données sait où se trouve la base dont elle provient; vous pouvez changer cela et «pousser» vers une autre base de données si vous le désirez).
Ludovic Brenta est le responsable bénévole de la plupart des paquets Ada dans Debian depuis juillet 2003. Vous pouvez le joindre par email: lbrenta@debian.org.
http://new.ada-france.org/?p=261
379 2006-07-14 AdaControl dans Debian 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 trace des bogues et demandes d'évolution. Il est également possible de s'abonner au paquet afin de recevoir tous les courriers relatifs à de tels bogues. Pour cela, visitez le Package Tracking System de Debian, lien ci-dessous.

Voir en ligne : AdaControl dans le Package Tracking System de Debian

http://www.ada-france.org/?p=379
251 2006-07-12 Ada dans Debian: transition vers GCC 4.1 pour Etch 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.

Debian 3.1 Sarge est la version stable en cours de Debian, et est recommandée en production. La version en cours de test, Etch, deviendra stable en décembre 2006. Début juillet 2006, sa partie Ada est entrée dans une zone de turbulences, cette version n'est donc pas recommandée en production pour l'instant. Les turbulences sont dues au changement de compilateur que je vais maintenant expliquer.
La décision d'utiliser GCC 4.1 plutôt que la dernière version GNAT GPL 2006 Edition répond à deux soucis:
- la license de la bibliothèque d'exécution doit permettre de distribuer les programmes compilés sous d'autres licenses que la GPL. Avec GCC, c'est possible, mais pas avec GNAT GPL Edition.
- l'interopérabilité avec les autres langages doit être optimale. Avec GNAT GPL Edition, on n'a que C et Ada. Avec GCC, on a en outre C++, Fortran 95, Java, Objective C, et Objective C++.
GCC 4.1 prend en charge la plupart des nouvelles fonctionnalités du langage Ada 2005, mais pas toutes; ce sera pour la prochaine version.
Dans Sarge, GNAT prenait en charge i386, sparc et powerpc. Etch y ajoutera amd64, hppa, ia64, kfreebsd-i386, mips, mipsel et s390. Il n'y aura en revanche pas de prise en charge des architectures duales telles que i386-amd64 ou powerpc-ppc64. Ce sera pour la prochaine version de Debian, en même temps que la prise en charge généralisée des architectures multiples (multilib).
Le paquet gnat-4.1 est arrivé dans Debian Etch en avril 2006. Après une période de stabilisation, il deviendra le compilateur par défaut ce mois-ci (Juillet). Le nouveau paquet gcc-defaults, qui fournit "gnat", est d'ores et déjà dans la distribution instable où il remplace l'ancien "gnat" qui était en version 3.15p. Le paquet "gnat-4.1" est construit à partir du paquet source "gcc-4.1" en même temps que tous les autres langages sauf Java. J'ai rejoint à cet effet l'équipe des responsables de GCC dans Debian.
Les autres versions de GNAT, à savoir la 3.15p et celles contenues dans GCC 3.3, GCC 3.4 et GCC 4.0, seront retirées de Debian: je me concentre sur une seule version afin de fournir un support de qualité.
Tous les autres paquets sont en cours de migration. Comme l'interface binaire du compilateur change, toutes les bibliothèques doivent être recompilées avec un changement de leur soname. La migration devrait prendre entre un et deux mois, suivant les difficultés rencontrées.
- ASIS: la version 2005 GPL Edition est arrivée dans instable le 2006-07-11, et elle devrait migrer vers Etch sous peu. Elle fonctionne bien avec GCC 4.1, contrairement à la 2006 GPL Edition qui requiert des changements au compilateur. Attention au changement de license; la GNAT-Modified GPL devient GPL pure. La documentation, qui est non-libre (elle ne permet pas les modifications) a été transférée vers un nouveau paquet, asis-doc.
- GtkAda: la version 2.8.1 sera prochainement dans instable, avec là aussi un changement de license en GPL pure.
- GPS va passer de la version 2.1 à la version 4.0, en utilisant GtkAda 2.8.1.
- Le GDB amélioré pour Ada va passer de la version 5.3 à la 6.3, avec prise en charge du nouveau format utilisé par GCC pour les informations de débogage (DWARF2 au lieu de STABS).
- Florist, l'interface POSIX, va passer à la 2006 GPL Edition en changeant la license en GPL pure.
- GLADE (les systèmes distribués) va passer de 3.15p à 2006 GPL Edition avec changement de license en GPL pure.
- XML/Ada va passer de la 1.0 en 2.2, avec changement de license vers la GPL pure.
- AWS passera de la version 2.0p en 2.2, avec changement de license vers la GPL pure.
- Charles sera retiré de Debian: cette bibliothèque de conteneurs génériques est remplacée par les conteneurs normalisés (Ada.Containers) fournis par GCC 4.1.
- GNADE, l'interface aux bases de données ODBC, PostgreSQL, MySQL et SQLite, passera de la version 1.5.1 à la dernière en date, 1.6.1. Elle restera en GMGPL.
- AUnit passera de la version 1.01 à 1.05, sans changement de license puiqu'elle a toujours été GPL pure.
- AdaBrowse a déjà été recompilé avec ASIS 2005 et est dans instable.
- Le sort des autres bibliothèques, plus rarement utilisées, est en suspens. Il s'agit de libadabindx, libtexttools et libopentoken. Contactez-moi si vous utilisez une ce ces bibliothèques et désirez qu'elle reste dans Debian.

Changement de license


Le changement de license vers la GPL pure, qui affecte plusieurs bibliothèques importantes, est imposé par leur éditeur la société AdaCore. Avec la GPL pure, il n'est plus possible de distribuer des logiciels non-libre qui utilisent ces bibliothèques. Si votre logiciel utilise une bibliothèque en GPL pure, vous avez quatre possibilités:
- ne distribuez pas votre logiciel du tout (vous pouvez toujours l'utiliser pour vous-même)
- distribuez votre logiciel sous license GPL, donc avec son texte source et les quatre libertés (inspection, redistribution, modification et redistribution des copies modifiées)
- distribuez votre texte source seul sous une license de votre choix (par exemple avec des clauses de confidentialité et de non-redistribution), et demandez à vos utilisateurs de le recompiler eux-mêmes
- contactez AdaCore et achetez une license GMGPL qui vous permettra de distribuer vos logiciels sans dévoiler vos sources.
Il est possible de garder les anciennes versions sous license GPL modifiée GNAT en parallèle avec les nouvelles. Toutefois, cela demande un travail de maintenance supplémentaire que je ne peux pas et ne veux pas fournir seul. Je suis disposé à fournir deux versions (GPL et GMGPL) de certaines bibliothèques en parallèle si et seulement si je reçois des offres de contributions. Ceci est donc un appel à contributions: contactez-moi si vous avez besoin de bibliothèques en GMGPL. Cela vaut en particulier pour GtkAda, AWS et XML/Ada.

Références


- Debian: http://www.debian.org
- Debian Ada Policy: http://www.ada-france.org/debian/debian-ada-policy.html
Ludovic Brenta est le principal responsable des paquets Ada dans Debian. Il y travaille bénévolement depuis Juillet 2003 et fournit une plate-forme de développement et de déploiement complète et intégrée. Vous pouvez le contacter à lbrenta@debian.org.
http://new.ada-france.org/?p=251
259 2006-06-21 Un nouveau serveur pour Ada-France (bis)

Nous avons un nouveau serveur pour Ada-France, hébergé chez Dedibox. Il est plus puissant et dispose de plus de disque et de bande passante.
Cependant, lors de la remise à niveau de plusieurs logiciels simultanément (Apache, MySQL, SPIP), nous avons connu quelques problèmes avec les textes de ce site, notamment les accents. S'il y a des volontaires pour faire une passe et les corriger, qu'il me contacte et je lui donnerai un accès administrateur pour cela.
http://new.ada-france.org/?p=259
257 2006-05-31 Présentations Ada au FOSDEM 2006 Les transparents présentés lors du FOSDEM 2006 sont disponibles en ligne.

Les transparents présentés lors du FOSDEM 2006 sont disponibles en ligne depuis le site d'Ada Belgium.
http://new.ada-france.org/?p=257
375 2006-05-31 GNAT porté vers GNU/kFreeBSD 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 : Le message d'Aurélien sur gcc-patches

http://www.ada-france.org/?p=375
377 2006-05-31 Ada UK Conference 2006 : les vidéos Les vidéos de la « Ada UK Conference 2006 » sont disponibles sur le site d'AdaCore.

Voir en ligne : Site des vidéos

http://www.ada-france.org/?p=377
255 2006-05-11 Évolution matérielle Comme vous avez pu le constater, nous avons eu de gros problèmes matériel avec le serveur de l'association, qui commence à avoir bien vécu. Nous allons bientôt migrer vers une autre solution. http://new.ada-france.org/?p=255
247 2005-11-29 Ada au FOSDEM 2006 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.

Une salle de développement est réservée à Ada lors du FOSDEM 2006. Le programme des présentations:
- 10:00 - 11:00 Jean-Pierre Rosen: Présentation d'Ada
Jean-Pierre Rosen mettra sa verve bien connue au service d'une présentation du langage à destination des programmeurs débutants ou confirmés.
- 11:00 - 12:00 Jean-Pierre Rosen: Adacontrol
Adacontrol est un outil d'analyse du code Ada qui permet de vérifier le respect de règles de programmation. C'est un logiciel libre, écrit avec ASIS, l'interface normalisée qui permet à un programme Ada d'analyser du code source Ada, sous contrat avec Eurocontrol. Jean-Pierre nous présentera Adacontrol, ASIS, et le modèle économique qui permet de gagner sa vie en écrivant des logiciels libres.
- 12:00 - 13:00 Philippe Waroquiers: utilisation de logiciels libres pour la gestion tu trafic aérien en Europe
Philippe Waroquiers dirige le développement logiciel à Eurocontrol, l'agence européenne de contrôle aérien avec 34 pays membres. Les logiciels dont dépend le confort de millions de voyageurs chaque année sont écrits en Ada avec GNAT Pro, le compilateur Ada libre d'AdaCore.
- 13:00 - 14:00 pause déjeuner
- 14:00 - 15:00 Ludovic Brenta: Ada dans Debian
Ludovic Brenta présentera son travail d'intégration d'Ada dans Debian et la charte qui unifie tous les paquets, faisant de Debian la meilleure plate-forme de développement Ada libre du monde :) Ce sera du même coup l'occasion d'un rapide tour d'horizon des logiciels libres existant en Ada.
- 15:00 - 16:00 Robert Dewar, AdaCore: Ada Academic Initiative
AdaCore est la société qui fournit des services de support technique et de conseil autour de GNAT, le compilateur Ada libre du projet GNU. AdaCore est également le principal développeur de GNAT. L'Ada Academic Initiative consiste à encourager les universités et grandes écoles à travers le monde à enseigner et utiliser Ada, en proposant gratuitement aux professeurs et enseignants une vaste gamme de services. Si possible, il y aura une démonstration de la toute dernière version du GNAT Programming Studio avec GNAT GPL 2005 Edition.
- 16:00 - 17:00 Thomas Quinot, AdaCore: PolyORB, un intergiciel schizophrénique
Exemple de collaboration fructueuse entre les mondes académique et industriel, PolyORB permet à des programmes hétérogènes de communiquer entre eux en établissant un "pont" entre plusieurs technologies: CORBA, MOM, Systèmes Distribués Ada (annexe E de la norme).
L'audience étant très internationale, les présentations seront en anglais. Cependant, tous les présentateurs parlent également le français.
Vous pouvez poser vos questions sur fr.comp.lang.ada ou comp.lang.ada, ou bien rejoindre la liste AdaFOSDEM (en anglais).
FOSDEM: ici
AdaCore: ici
Logiciels libres proposés par AdaCore: ici (inclut, entre autres, GNAT, GPS et PolyORB dont il sera question lors des présentations).
Debian: ici
Eurocontrol: ici
Ada-Belgium: ici
Liste de diffusion AdaFOSDEM organisée par Ada-Belgium: ici
Logiciels libres proposés par Adalog, y compris Adacontrol: ici
http://new.ada-france.org/?p=247
241 2005-11-25 Ingénieur Ada / Ferroviaire Ingénieur développement
Débutant accepté
30/50 K€
PARIS , VAL-DE-MARNE.

AXLOG, PME 65 pers. (Grpe Robinson), sté d'ingénierie experte en info industrielle, scientifique et technique, intervient dans les domaines de l'aéronautique, du transport, de l'automobile, du spatial, de l'avionique et recrute pour de nouveaux projets.
Ratt. au Resp. secteur, vos missions dans l'équipe: la conception & réalisation de systèmes temps réel distribués en environnement industriel & embarqué (Ada, C) - le dévt de composants logiciels - la conception & réalisation d'outils d'aide au dévt - la participation à l'intégration système et la mise au point.
Formation Bac+5 Ecole d'ing. ou DESS info. avec mini 1 an d'exp. en dévlpt (stages significatifs ds domaine d'intervention OK), vous maîtrisez Ada , C. Connaissance temps réel , et os-driver bas niveau seraient un plus. Une connaissance des normes EN 50 128 (SIL) serait également un plus.
Connaissances du domaine ferroviaire appréciée.
Candidature par mail s/ref ADALM à : recrutement@axlog.fr
http://new.ada-france.org/?p=241
243 2005-11-25 Ingénieur développement informatique embarquée Ada
AXLOG, PME 65 pers. (Groupe Robinson), sté d'ingénierie experte en informatique industrielle, scientifique et technique, intervient dans les domaines de l'aéronautique, du transport, de l'automobile, du spatial, de l'avionique et recrute pour de nouveaux projets.
Rattaché au Resp. secteur, votre mission: la conception & la réalisation de systèmes temps réel distribués en environnement industriel & embarqué (Ada, C,) - le développement de composants logiciels.- la conception & la réalisation d'outils d'aide au dévt - la participation à l'intégration système et la mise au point.
De formation Bac+5 Ecole d'ing. ou DESS informatique, vous avez mini 1 an d'exp. dans une fonction similaire, vous maîtrisez Ada . Une expérience significative d'un ou plusieurs OS temps réel (VxWorks, QNX, pSOS, RT Linux, ...), de différentes cibles (Power PC, ARM, ST10, ...), et des outils & méthodes (UML, CVS, RTRT, ...) est exigée. Une bonne connaissance de l'outil TCL/TK serait un plus.
Candidature par mail à : recrutement@axlog.fr
http://new.ada-france.org/?p=243
245 2005-11-25 Perfectionnements d'un outil d'analyse statique de code Ada Offre de stage, développement Ada
Domaine: compilation, ASIS, GTK/Ada

AdaControl est un logiciel libre, écrit et diffusé par Adalog, permettant de vérifier l'application de règles de codage dans des programmes Ada.

Nature du travail


Plusieurs axes de développements sont envisagés autour d'AdaControl. Le travail à réaliser sera déterminé en accord avec le stagiaire, selon ses domaines d'intérêt et le temps disponible pour le stage.
Les principaux axes sont les suivants :
- Vérification et optimisation d'AdaControl. Mesure de performances, détermination de goulots d'étranglement, mesures correctives. Exécution d'AdaControl sur la suite de validation (ACATS).
- Développement d'une interface graphique avec GTK/Ada pour créer les fichiers de règles, lancer l'exécution et dépouiller les résultats. Etude de la possibilité de faire la même chose sous forme de plug-in Eclipse.
- Développement et test de nouvelles règles.

Connaissances requises (selon axe)


- Ada
- IHM, GTK, GTK/Ada
- Notions de compilation, ASIS.

Durée


3-4 mois ou plus.

Candidature par E-mail à: recrutement@adalog.fr
http://new.ada-france.org/?p=245
239 2005-11-21 Ada 2005 : manuel de référence
Le futur manuel de référence Ada 2005 est disponible à l'autre bout de ce lien.
http://new.ada-france.org/?p=239
237 2005-09-24 Mise à jour de la FAQ Mise à jour de la Foire Aux Questions (FAQ) du groupe fr.comp.lang.ada pour prendre en compte les différentes licenses de GNAT.

La Foire Aux Questions (FAQ) de fr.comp.lang.ada a été mise à jour afin d'intégrer le changement de license des versions de GNAT distribuées par AdaCore.
Vous pouvez consulter:
- la FAQ
- la section relative à la license de GNAT
http://new.ada-france.org/?p=237
235 2004-11-25 Ada pour le programmeur C++
Le document ci-joint présente le langage Ada en comparaison avec le langage C++.
Il devrait donc permettre à un utilisateur venant du second de rentrer rapidement dans les notions du premier.
----
Merci de bien vouloir faire part à l'auteur de vos remarques, à l'adresse figurant dans le document.

----
http://new.ada-france.org/?p=235
233 2004-11-25 Ada aux RMLL 2004 : les présentations
Voici les présentations Ada données aux Rencontres Mondiales du Logiciel Libre (voir l'annonce) .
Elles sont en anglais (sauf celle de Stéphane sur AIDE).
Celles de Ludovic sont disponibles dans les deux langues et distribuées dans le format original, sous license GPL.
----
- Lionel Draghi
- Jean-Pierre Rosen
- Ludovic Brenta
- Ludovic Brenta
- Samuel Tardieu
- Stéphane Rivière
- Thomas Quinot
----
A nouveau, un grand merci à tous.
Une mention spéciale pour Martin Cattoen et Xavier Rivière, nos orateurs de 13 ans!
http://new.ada-france.org/?p=233
229 2004-11-15 La persitance en une seule ligne de code Peut-être vous êtes vous déja demandé comment sauvegarder des préférences de l'utilisateur d'une exécution à l'autre. Il existe de nombreuses solutions, mais, pour peu que l'on se contente d'un stockage dans un format binaire, GNAT nous en fournie une imbattable en terme de simplicité.

Soit un paquetage déclarant un compteur :

-- sans persistance :
package Preferences is
Run_Count : Natural := 0;
end Preferences;

Avec GNAT, l'ajout du simple pragma Shared_Passive
rend ce compteur
-# partageable entre exécutables, et
-# rémanent d'une exécution à l'autre.
C'est cette dernière propriété qui nous intéresse ici.

-- avec persistance :
package Preferences is
pragma Shared_Passive (Preferences); -- seule ligne ajoutée
Run_Count : Natural := 0;
end Preferences;

Vous trouverez ci-après deux sources vous permettant de vérifier rapidement cette propriété de persistance sur votre plateforme favorite.
Il y a :
- un paquetage Preferences, déclarant des variables à sauver,
- et une procédure principale nomée Run qui modifie et affiche ces variables.
Ce petit exemple se compile par gnatmake run.

package Preferences is
-- Ce package illustre la sauvegarde de préférences
-- avec quelques types de base.
-- Ce code est expliqué dans l'article
-- http://www.ada-france.org/article113.html
-- Lionel Draghi, novembre 2004
pragma Shared_Passive (Preferences);
-- 1 - un compteur :
Run_Count : Natural := 0;
-- 2 - une String :
Font : String := "Helvetica";
-- NB : l'utilisation des Bounded/Unbounded string n'est pas possible
-- car ces Strings ne sont pas déclarés dans des paquetages
-- categorisés Pure ou Shared_Passive.
-- 3 - un énuméré :
type User_Level is (Beginner, Expert);
Level : User_Level := Beginner;
end Preferences;

with Ada.Text_IO;
with Preferences;
-- Teste l'implementation GNAT de Shared_Passive, decrite dans le GNAT RM
-- Ce code est expliqué dans l'article
-- http://www.ada-france.org/article113.html
-- Lionel Draghi, novembre 2004
procedure Run is
begin
Preferences.Run_Count := Preferences.Run_Count + 1;
Ada.Text_IO.Put_Line ("Run number" & Natural'Image (Preferences.Run_Count));
if Preferences.Run_Count > 2 then
Preferences.Level := Preferences.Expert;
end if;
Ada.Text_IO.Put_Line ("User Level = " &
Preferences.User_Level'Image (Preferences.Level));
if Preferences.Font = "Helvetica" then
Preferences.Font := "Courrier ";
else
Preferences.Font := "Helvetica";
end if;
Ada.Text_IO.Put_Line ("Font switched to " & Preferences.Font);
end Run;

Exécutons le plusieurs fois. Que constate-t-on?
- d'abord, je l'espère, que ca marche :-), c'est à dire que, par exemple, le compteur d'exécution augmente à chaque fois.
- ensuite, que des fichiers se sont créés dans le répertoire d'exécution. Nommés paquetage.variable, ils sont aisément identifiables. Si on les affiches, on vérifiera qu'ils sont bien dans un format binaire.
----
Quelques remarques complémentaires :
- il s'agit d'une technique spécifique à GNAT. Ces sources sont de l'Ada légal, et sont donc compilable avec n'importe quel compilateur. Mais, avec un autre compilateur que GNAT, les variables reprendront leurs valeurs par défaut à chaque exécution. Cette limitation de portabilité ou de fonctionnalité est à mettre dans la balance.
- moyennant le positionnement d'une variable d'environnement, GNAT peut effectuer la sauvegarde dans un autre répertoire que le répertoire courant.
- Dans notre exemple, le fichier preferences.level n'est créé qu'a la troisième exécution : un fichier n'est créé que lorsque la variable correspondante est modifiée.
- On peut utiliser des objets protégés pour gérer de possibles écritures simultanées par plusieures applis sur les mêmes variables. La encore, l'aspect persistance est transparent, il s'agit de code "normal".
- Enfin, et pour peu que l'on remplace le paquetage standart de gestion des IO des Stream de GNAT par la version XDR de GLADE, ces fichiers sont partageables entre plateformes d'endianess différente.
Pour une description plus précise de ces points, il faut se reporter au GNAT Reference Manual.
----
En conclusion, pour sauvegarder avec GNAT des données simples, dans un format binaire, pensez au pragma Shared_Passive.
http://new.ada-france.org/?p=229
231 2004-10-01 Headway Software annonce Headway reView

La société Headway Software propose Headway reView, un outil de compréhension du code.
Headway reView emploie des techniques avancées de désossage pour augmenter la compréhension et la visualisation du code, faciliter les revues et le refactoring, calculer des métriques, etc.
Headway reView est disponible pour Java, C++ et Ada. Les spécificités de la version Ada sont décrites ici.
Headway reView supporte GNAT et ObjectAda sur Windows, Solaris et GNU/Linux.
http://new.ada-france.org/?p=231
227 2004-07-07 Rédaction d'un "Ada Adoption Flyer"
Cet article a pour but de fédérer les efforts de rédaction d'un "Ada Adopton Flyer" tout en évitant un trafic trop important sur la liste ada-france.

Sensible à un couriel sur la liste ada-france de Lionel Draghi quant à la rédaction d'un "Ada Adoption Flyer", je soumets à la communauté une rapide réflexion sur le sujet qui pourra peut-être servir de base pour ce projet. Toutes les contributions sont naturellement les bienvenues.
Le fait de passer par le site ada-france permet de ne pas générer un trafic trop important sur la liste ada-france.
Cette première maquette se présente sous la forme d'un fichier word zippé.
http://new.ada-france.org/?p=227
225 2004-06-27 Ada aux Rencontres Mondiales du Logiciel Libre 2004 à Bordeaux Dans le cadre du thème Langages de haut niveau pour les applications , Ada-France organise la présentation d'Ada aux RMLL 2004, le 8 juillet.

Alors qu'une majorité des logiciels libres est toujours écrite en C, le thème des langages de haut niveau offre à la communauté du libre l'occasion de se pencher sur des langages manipulant des concepts plus proches de l'utilisateur, et permettant des développement plus rapide, plus fiable, plus lisible, plus évolutif, etc.
Dans ce panel, Ada présente un ensemble de qualités exceptionnel :
- sémantique de haut niveau, proposant des traits puissants introuvables ailleurs,
- conçu pour le développement de logiciels complexes, avec de nombreux codeurs, sur de longues durées : cela ne concernait que quelques industries il y a 30 ans, c'est maintenant commun dans les logiciels libres.
- libre, vraiment libre : normalisé et évoluant dans le cadre de l'ISO, indépendant de tout grand éditeur, et pas sous l'influence d'un gourou fondateur.
- disposant d'un environnement de développement libre de grande qualité, en particulier un très bon compilateur.
Les présentations illustreront à la fois la puissance du langage, sa facilité d'apprentissage et sa simplicité de déploiement.
Voici l'agenda :
-* 13h, Lionel Draghi : ouverture
-* 13h10, Ludovic Brenta : présentation du langage
-* 14h05, Jean-Pierre Rosen (Adalog): Ada, un langage de choix pour les logiciels libres
-* 14h45, Thomas Quinot (ACT-Europe): le rôle d'AdaCore dans l'utilisation de GNAT pour le libre
-* 15h20, Samuel Tardieu : Ada, langage ouvert : utilisation d'Ada en robotique avec d'autres langages, comme Forth, Erlang, etc.
-* 16h15, Thomas Quinot (ACT-Europe): PolyOrb, l'intergiciel schizophrène, exemple d'un projet innovant en Ada, issu de la recherche et aujourd'hui industrialisé toujours sous license libre
-* 16h50, Stéphane Rivière :
-** présentation de AIDE (Ada Instant Development Environment), le CD Ada libre pour Windows
-** Martin et Xavier (13 ans tous les deux) nous expliqueront comment ils apprennent à programmer en Ada avec AIDE
-* 17h30, Ludovic Brenta : Ada dans Debian

Informations pratiques :
- Se déplacer à Bordeaux
- Réserver une chambre en cité U
http://new.ada-france.org/?p=225
222 2004-06-08 Embelec diffuse Real-Time Studio et SCORE
La société EMBELEC , créée tout récemment, propose parmi les outils qu'elle représente deux solutions autour d'Ada :
-Real-time Studio d'ARTiSAN SW, qui est un AGL basé sur UML temps réel et supportant plusieurs moutures du langage Ada : 95, Spark95, 83 et Spark83. Compatible avec les compilateurs DDC-I, Irvine et GNAT. Il permet d'animer et simuler le comportement dynamique du système.
-SCORE (Safety Critical, Object-oriented, Real-time Embedded) Multi-Language Integrated Development Environment de DDC-I.
Si vous recherchez une solution de développement pour logiciel embarqué ayant fait ses preuves, SCORE répond à la certification FAA et est utilisé dans l'aéronautique, le spatial, ferroviaire etc. Solution parfaitement compatible avec ARTiSAN SW pour former un AGL
(Atelier de Génie Logiciel) cohérent.
http://new.ada-france.org/?p=222
220 2004-06-03 Présentations faites lors de la journée Ada et Modélisation, 27 mai 2004 Ada-France a organisé une journée thèmatique autour d'Ada et Modélisation. Cette journée a eu lieu à Jussieu en salle 203 (bat 41) pour le 27 mai 2004.

Présentations faites lors de la journée Ada et Modélisation
- D. Minguillon, CNES (présenté par A. Canals CS) : EAST ou le logiciel libre pour Enhanced Ada SubseT

- F. Normend, CNES (présenté par A. Canals CS) : HELIOS retour d'expérience sur l'utilisation de Ada95

- H. Bonnin, CS : Problématiques autour de l'extraction de propriétés avec ASIS

- M. Assouline, Aonix : Modélisation à base de patrons de conception pour Ravenscar

- B. Maudry, Top GraphX : Modelisation d'applications réparties en CORBA

- JF. Peyre, CNAM Quasar : ou modélisation d'applications concurrentes par Réseaux de Petri

- J. Hugues, ENST : Modélisation d'un ORB CORBA en Réseaux de Petri

- P. Dissaux, TNI-Europe : Modélisation et Description d'Architecture avec AADL
(en raison de problèmes personnels, P.Dissaux n'a pas pu effectuer sa présentation, il a cependant communiqué à Ada-France ses transparents)
http://new.ada-france.org/?p=220
16 2004-05-29 Compte rendu de l'assemblée générale du 27 mai 2004 Le nouveau Conseil d'Administration d'Ada-france se compose de :
-* Agusti Canals
-* Eric Forterre
-* Fabrice Kordon
-* Laurent Pautet
-* Thomas Quinot
-* Samuel Tardieu
A la suite de la journée thématique Ada et la modélisation, l'Assemblée Générale du 27 mai 2004 a donné lieu à une présentation des activités de l'association ainsi qu'à la constitution d'un nouveau Conseil d'Administration.

-* Présents: L. Draghi, S. Tardieu, L. Pautet, A. Canals, E. Forterre,
J-P. Rosen, P. Debondeli, G. Foliard (adhérents)
-* Procurations: T. Quinot (à S. Tardieu), F. Kordon (à L. Draghi).
-* J. Hugues, F.Gasperoni, S. Nurdin, H. Bonnin (non-adhérents).

L. Draghi ouvre la séance en rappelant les événements de l'année
2002-2003 qui se résument à la participation a Ada-Europe 2003 ainsi
qu'à la journée thématique qui s'est tenue avant l'Assemblée Générale.
Il rappelle également que l'objectif de monter un site web a été
atteint avec un certain succès. Il regrette cependant la faible
activité sur ces deux dernières années.
S. Tardieu présente le bilan financier dont les résultats principaux
se trouvent indiqués ci-dessous. Il rappelle notamment qu'en raison de la bonne
santé financière de l'association, les adhérents 2002 ont profité d'un
an d'adhésion gratuite (adhésion Ada-Europe comprise). Le bilan
financier est adopté à l'unanimité des adhérents présents.
Il répond ainsi à la question de F. Gasperoni qui s'inquiétait de ne
pas avoir été relancé pour l'adhésion. F. Gasperoni rappelle la forte
volonté d'ACT-Europe d'aider les associations autour d'Ada.
Il s'engage une discussion sur la constitution du nouveau Conseil
d'Administration. L. Draghi ne souhaite pas reprendre d'activité dans
Ada-France. Plusieurs personnes s'expriment sur les objectifs de
l'association.
F. Gasperoni émet le voeux d'avoir une journée comme le faisait
autrefois l'association Ada-UK (dissoute) ou comme les journées à
Brest organisées par Y. Kermarrec et P. Dissaux. J-P. Rosen propose
également de renforcer le prosélytisme autour d'Ada.
Globalement, il se dégage une volonté d'agir pour la communauté au
travers d'une journée mêlant présentations techniques et présentations
technologies ainsi qu'une volonté d'agir en dehors de la communauté
dans le cadre de conférences ou de réunions (comme celles des Réunions
Mondiales du Logiciel Libre).
L. Pautet rappelle qu'il n'est pas souhaitable de trop se focaliser
sur le Logiciel Libre qui risque d'exclure des acteurs industriels de
la communauté Ada. Cependant tout le monde s'accorde à dire que si
rien d'autre n'est proposé par les industriels concernés, il faudra
jouer cette carte.
S. Tardieu propose que les objectifs étant clarifiés, les participants
élisent le Conseil d'Administration. Il rappelle que les membres
fondateurs F. Kordon, L. Pautet et lui-même sont membres de droit du
Conseil d'Administration afin d'en assurer la pérennité. L. Draghi
rappelle également qu'en l'absence d'autres candidatures, il faudra
s'exprimer sur la dissolution de l'association. A. Canals et
E. Forterre souhaitent être renouvellés. S. Tardieu fait valoir la
canditature écrite de T. Quinot obligé de s'absenter.
Ce Conseil d'Administration est adopté à l'unanimité des adhérents
présents.
Conseil d'Administration
-* Agusti Canals
-* Eric Forterre
-* Fabrice Kordon
-* Laurent Pautet
-* Thomas Quinot
-* Samuel Tardieu
http://new.ada-france.org/?p=16
12 2004-05-28 Conseil d'administration et bureau Composition du conseil d'administration et du bureau de
l'association Ada-France.

Le conseil d'administration de l'association Ada-France
est composé des personnes suivantes depuis le 19 Janvier 2007:
- Jérôme Hugues
- Yvon Kermarrec
- Fabrice Kordon
- Laurent Pautet
- Frank Singhoff
- Samuel Tardieu
Le bureau de l'association est composé des personnes suivantes depuis le 28 mai 2004:
- Jérôme Hugues
- Yvon Kermarrec
- Frank Singhof
http://new.ada-france.org/?p=12
218 2004-05-11 Journée Ada-France sur le thème Ada et Modélisation, 27 mai 2004
Ada-France est heureuse d'annoncer une journée thématique autour d'Ada et la Modélisation. Cette journée aura lieu a Jussieu en salle 203 (bat 41) pour le 27 mai 2004.
Le plan d'accès et le plan du site figurent ici.
Nous pourrons profiter de neuf présentations de 30 minutes accompagnées de 15 minutes de questions. Les présentations porteront en tout premier lieu sur les concepts de modélisation mis en oeuvre et par la suite sur les technologies offertes à la communauté Ada.
Pour terminer la journée aura lieu une Assemblée Générale de l'Association.
- 09H30-10H15 D. Minguillon, CNES (présenté par A. Canals CS) : EAST ou le logiciel libre pour Enhanced Ada SubseT
- 10H15-11H00 J. Desquilbet, IBM : Positionnement d'Ada autour de UML et MDA
- 11H00-11H45 P. Dissaux, TNI-Europe : Modélisation et Description d'Architecture avec AADL
- 11H45-12H30 F. Normend, CNES (présenté par A. Canals CS) : HELIOS retour d'expérience sur l'utilisation de Ada95
Dejeuner
- 13H30-14H15 M. Richard-Foy, Aonix : Modélisation à base de patrons de conception pour Ravenscar
- 14H15-15H00 JF. Peyre, CNAM Qasar : ou modélisation d'app. concurrentes par Réseaux de Petri
- 15H00-15H45 B. Maudry, Top Graph'X : Modelisation d'applications réparties en CORBA
- 15H45-16H30 J. Hugues, ENST : Modélisation d'un ORB CORBA en Réseaux de Petri
- 16H30-17H15 H. Bonnin, CS : Problématiques autour de l'extraction de propriétés avec ASIS
- 17H15-18H30, L. Draghi et al : Assemblée Générale Ada-France
http://new.ada-france.org/?p=218
216 2004-04-16 Natural Docs Natural Docs est un outil permettant de générer automatiquement
de la documentation à partir de code source Ada.

Natural Docs est un générateur de documentation pour du code
source, écrit en Perl. Il parcourt le code afin de trouver
des commentaires marqués spécialement et les utilise pour
créer une documentation indépendante. Il est disponible
gratuitement et sous forme de logiciel libre (licence GPL).
Il est écrit en Perl.

Philosophie


Les deux principes fondateurs de Natural Docs sont:
- Les commentaires doivent rester aussi lisibles et naturels que possible (d'où le nom, Natural Docs). Les marqueurs obligatoires sont aussi légers que possible. Notamment, il n'y a pas de marqueur tel que =head1 (comme dans POD) ou @param (comme dans JavaDoc). La structure est minimale et quasi-transparente. Les commentaires dans les fichiers sources sont aussi lisibles que la documentation générée.
- Le programme doit être aussi automatique et non-intrusif que possible.
Natural Docs supporte un grand nombre de langages, dont Ada.

Lien


La page de Natural Docs se trouve sur ici.
http://new.ada-france.org/?p=216
214 2004-03-13 enregistrer et relire ses données avec DTraq Si il est une fonction trop souvent redéveloppée, c'est celle d'enregistrement et de rejeux de données. DTraq fournit une solution sur étagère à ce problème.

Les systèmes de data logging sont toujours le résultats de compronis :
- ils stockent plus ou moins de données, donnant le choix entre des traces incomplètes ou une exécution perturbée,
- ils dépouillent plus ou moins bien c'est données : au pire, elles sont stockées sous forme binaires, au mieux elles sont affichées en clair, mais au prix d'un effort de codage et d'un impact parfois insuportable sur la consomation CPU.
DTraq apporte ici, avec l'aide d'ASIS, une solution intéressante.
Une simple procédure générique fournit par DTraq doit être instancié dans le code sur le type que l'on désire espionner.
Un outils off-line analyse ensuite le code, retrouve les générique, analyse le type des données espionnées, et génère automatiquement le programme de conversion du flot binaire en texte.
Ce programme est indépendant de l'exécutable testé. Il peut être lancé simultanément ou à postériori, par exemple pour préserver la CPU.
Lors de l'exécution ou du rejeux, on voit les structures de données en clair sans avoir écrit le moindre Put_Line, et qui plus est dans une sympathique interface graphique.
La version courante compile avec :
- GNAT 3.15p
- ASIS-for-GNAT 3.15p
- GtkAda 2.2
et a été testé sur Linux RedHat 9.
http://new.ada-france.org/?p=214
369 2004-03-13 GNADE 1.5.1 La version 1.5.1 de GNADE (GNAT Ada Database Environment) est disponible.
Cette version aligne les build Windows et Linux, et utilise les projet files de GNAT.

Voir en ligne : GNADE

http://www.ada-france.org/?p=369
367 2004-03-13 Ada-Belgium Special Evening Event Ada-Belgium organise le 18 mars 2004 une présentation de Pascal Leroy intitulée «An invitation to Ada 2005».

Voir en ligne : Ada-Belgium Meetings and Conferences

http://www.ada-france.org/?p=367
363 2004-03-12 Imgsvr change d'herbergeur Le projet ImgSvr change d'herbergeur pour permettre une collaboration plus facile.
Imgsvr en est actuellement à la version 0.4 et la version 0.5 devrait très prochainement sortir, apportant un fonctionnement en tant que service et plugin à AWS...

Voir en ligne : Site du projet Imgsvr

http://www.ada-france.org/?p=363
365 2004-03-12 G2F_Io, un binding Ada d'ImageMagick Ali Bendriss met en ligne une version alpha incomplète de G2F_Io, un binding Ada de l'API C d'ImageMagick.
ImageMagick est une riche bibliothèque de lecture, écriture et de manipulation d'images dans 89 formats majeurs.
Ali attend les commentaires, en particulier sur le typage, la gestion de la mémoire, les exceptions, et même pourquoi pas un autre nom pour le binding.

G2F_Io est sous license GMGPL, testé sous Linux et Windows 2000 avec GNAT, et la version d'ImageMagick concernée est la 5.5.7.

Voir en ligne : G2F_Io

http://www.ada-france.org/?p=365
371 2004-03-05 Excel Software ajoute le support d'Ada à ses outils UML Avec sa version 3.5, WinA&D
ajoute une capacité de modélisation et de génération de code Ada. WinTranslator 2.2 ajoute lui une capacité de rétro-ingéniérie de code Ada.

Voir en ligne : UML for Ada

http://www.ada-france.org/?p=371
212 2003-12-29 Les désabonnements automatique de la liste Ada-France
Certains d'entre vous ont vu leur abonnement à la liste suspendu par mailman, le logiciel qui gère la liste de diffusion Ada-France.
Voici quelques explications sur le fonctionnement et les réglages actuels de la liste.
- Chaque abonné a un score de "rebond".
- Si il n'est pas joignable, le score augmente, au maximum de 1 par jour.
- Si il n'y a pas de rebond durant 7 jours, le score retourne à zéro.
- Lorsque le score atteint 5, l'abonnement est désactivé.
- Mailman envoie alors, à trois reprises et à intervalle d'une semaine, un message informant de la situation et contenant les mesures à prendre pour réactiver l'abonnement.
Comme vous pouvez le constater, il faut un problème persistant pour désactiver un compte, et la réactivation reste simple à faire.
Pour éviter cette mésaventure, utilisez une adresse mail fiable. Une adresse utilisant un nom de domaine dynamique redirigeant sur un ordinateur personnel qui ne fonctionne pas en permanence n'est pas une bonne idée.
http://new.ada-france.org/?p=212
210 2003-12-02 Enseigner Ada Plaidoyer de 35 pages au format HTML sur des retours d'expériences de l'enseignement d'Ada (oeuvre collective).

Enseigner Ada


Ce texte bien trop long pour figurer ici peut être consulté sur enseigner Ada où il est mis à jour en fonction des réactions encore attendues.
Daniel Feneuille et tous les auteurs des contributions.
http://new.ada-france.org/?p=210
208 2003-11-13 AWS 1.4 AWS est un ensemble de paquetages permettant d'intégrer des
services WWW dans une application Ada.

AWS (Ada Web Server) est un composant HTTP permettant d'intégrer
des services WWW dans une application Ada. AWS est entièrement
développé en Ada.
AWS implémente SOAP, le server push, HTTP/SSL, un client HTTP,
le chargement dynamique de modules.
AWS est librement disponible depuis .
http://new.ada-france.org/?p=208
206 2003-11-13 XML/Ada 1.0 XML/Ada 1.0, une bibliothèque libre permettant de développer des
applications XML, est disponible.

XML/Ada est composé d'un ensemble de paquetages Ada permettant
de manipuler les flux XML. Il comprend un parseur XML complet
ainsi que des interfaces compatibles SAX 2.0 et DOM 2.0.
XML/Ada est disponible à l'adresse ici.
http://new.ada-france.org/?p=206
202 2003-10-16 XML4Ada95
XML4Ada95 permet l'utilisation de documents XML avec Ada. Il offre un accès complet à DOM Level 1, DOM Level 2 Core, et un accès partiel à DOM Level 3 Core et DOM Level 3 Load and Save.
Réalisé par Zdenko Denny Vrandecic, XML4Ada95 est en fait un binding Ada du parser Xerces, et est disponible sous cette license.
http://new.ada-france.org/?p=202
200 2003-09-20 Scala
Manuel Op de Coul annonce Scala 2.2.
Scala est un logiciel d'expérimentation avec des échelles musicales et tempéraments.
Scala est un volumineux logiciel utilisant GtkAda 2.2. Il est gratuit, et Manuel peut envoyer les sources à qui le lui demandera, mais il préfère pour l'instant en rester l'unique mainteneur.
Les versions pour Linux/Intel et Windows sont disponibles, et Manuel cherche des volontaires pour compiler sur Mac OS X et sur Linux/PowerPC
http://new.ada-france.org/?p=200
361 2003-09-18 Un binding Ada vers Lua 5.0 Chris Campbell démarre un binding Ada vers le langage de script Lua.
Il met une version embryonaire à disposition pour recueillir immédiatement des commentaires, sur le code et sur la portabilité.
La ligne de commande sur Linux (Debian) ressemble à
gnatmake -I../.. commandll.adb -largs -L/usr/include -llualib50 -llua50 -ldl

Voir en ligne : Lua 5.0 Binding

http://www.ada-france.org/?p=361
198 2003-09-18 ImgSvr

Patrice Freydiere lance ImgSvr.
ImgSvr est un serveur web d'images, basé sur AWS. Il est sous licence GPL.
http://new.ada-france.org/?p=198
170 2003-09-15 Entretien avec Thomas Quinot, développeur de PolyORB Thomas Quinot est le développeur principal de PolyORB, un intergiciel schizophrène disponible sous forme de logiciel libre.

- Bonjour Thomas. Pourrais-tu nous expliquer brièvement ce qu'est un intergiciel, et plus particulièrement un intergiciel schizophrène ?
Un intergiciel, c'est une bibliothèque qui offre aux développeurs d'application un moyen de faire interagir des composants distants sans avoir à prendre en charge certains aspects délicats de la répartition. En particulier, un intergiciel permet la communication entre composants sans que les développeurs aient à utiliser eux-mêmes les fonctionnalités de communication de l'environnement (par exemple les interfaces offertes par les réseaux).
Un intergiciel peut prendre en charge d'autres aspects problématiques de la communication entre calculateurs, tels que l'hétérogénéité. À partir d'une description de haut niveau des données que doivent échanger deux composants, un intergiciel peut proposer une représentation commune de ces données, destinée à être communiquée entre calculateurs, et fournir les fonctions de conversion permettant de passer des représentations natives utilisées par les composants de l'application à la représentation commune utilisée pour les échanges.
Enfin, un intergiciel peut offrir de nombreux services de haut niveau permettant de répondre à certains problèmes introduits spécifiquement par la répartition, tels que des services d'annuaires de composants.
Les intergiciels offrent ces fonctionnalités aux applications par l'intermédiaire d'interfaces de programmation, qui peuvent être définies de diverses façons. Chaque façon de présenter les fonctionnalités des intergiciels aux composants applicatifs définit une personnalité, c'est-à-dire une vue de ces fonctionnalités présentée aux composants applicatifs.
De même, diverses conventions (ou protocoles) peuvent être
utilisés par les intergiciels lorsqu'ils communiquent à travers un réseau pour s'informer mutuellement des interactions demandées par les composants applicatifs. Chaque protocole susceptible d'être utilisé constitue également une personnalité, c'est-à-dire une vue des fonctionnalités d'intergiciel, présentée cette fois aux autres intergiciels d'une application répartie.
Un intergiciel schizophrène est un intergiciel dans lequel les personnalités applicatives et protocolaires sont découplées, afin d'offrir aux applications la plus grande flexibilité pour intégrer des composants répartis d'origines diverses au sein d'une même application. La séparation entre les personnalités applicatives et les personnalités protocolaires est le trait fondamental de l'architecture schizophrène.
Celle-ci permet également la coexistence de multiples personnalités applicatives et protocolaires au sein d'un même intergiciel. Cette coexistence de multiples personnalités permet à un intergiciel schizophrène de jouer le rôle de passerelle entre des composants tiers incompatibles.
- Par quel chemin es-tu venu à Ada et aux intergiciels ?
Lorsque j'étais élève ingénieur à l'ENST, j'ai eu l'occasion de participer à un projet d'équipe sur les systèmes répartis en Ada 95. Mon premier contact avec Ada 95 m'a forcé à me déshabituer de la concision de C, mais j'ai fini par apprécier les règles du langage qui ont pour objectif d'interdire les constructions “dangereuses” et à rendre explicite l'intention du programmeur. Depuis cette époque (fin 1997), j'ai continué d'utiliser Ada et d'en découvrir l'expressivité.
Jusqu'en 1999, l'annexe des systèmes répartis constituait
un espace clos vis-à-vis des normes existantes pour les
systèmes répartis telles que CORBA ou SOAP. Je me suis
attaché, sous la direction de Laurent Pautet, à la problématique de l'ouverture des systèmes répartis Ada 95 vers le monde extérieur. Cette recherche a d'abord donné lieu à un premier outil orienté sur la compilation et la génération de code, CIAO. J'ai identifié un certain nombre de limitations de cette approches, qui m'ont conduit à prendre en compte la nécessité de l'interopérabilité au
sein même de l'intergiciel (et non comme une surcouche générée sur un système existant). Cette démarche a abouti à la proposition de l'architecture d'intergiciel schizophrène.
- Combien de personnes au total ont travaillé sur PolyORB ?
PolyORB est le fruit d'un travail d'équipe. Au cours de son développement, chaque année, de nouveaux étudiants de l'ENST ont contribué à l'enrichissement de ses fonctionnalités dans le cadre de projets, de mémoires de fin d'études ENST ou de stages du DEA Systèmes Informatiques Répartis (en cohabilitation entre l'ENST et l'université Pierre-et-Marie-Curie).
Quelques utilisateurs extérieurs nous ont également soumis des modifications, que nous avons intégrées. Au total,
la liste des contributeurs compte actuellement trente noms (et j'espère que ce chiffre va rapidement augmenter,
notamment grâce à cette entrevue !)
- Le langage choisi a-t-il facilité l'intégration de
différents travaux ?

Le mécanisme des paquetages, en Ada, permet au programmeur de définir l'interface exposée par un module de façon clairement isolée par rapport à la mise en oeuvre de ce module. Il favorise les bonnes pratiques de génie logiciel qui consistent à concevoir une interface en fonction d'un besoin, d'un service à rendre à un utilisateur, avant de décider comment ce service doit être réalisé.
Cette possibilité d'abstraction a facilité le développement de PolyORB de plusieurs manières. Tout d'abord, elle a permis la réutilisation de nombreuses bibliothèques existantes, telles que XML/Ada ou GNAT.Sockets, ainsi que l'intégration de certaines fonctionnalités issues du projet AdaBroker. Comme le langage encourage un style de programmation modulaire et offre les constructions nécessaires à l'expression de ce style, il facilite le développement d'applications par assemblage de briques préexistantes.
La modularité et les constructions orientées objets (introduites par Ada 95) ont également permis l'intégration dans PolyORB de nombreuses contributions réalisées par des développeurs travaillant chacun de façon autonome sur un aspect de l'intergiciel. Ainsi, plusieurs étudiants de l'ENST ont pu travailler de front, seuls ou en équipe, sur différents aspects de PolyORB, en pouvant compter sur le fait que l'interface de chaque module demeurait relativement stable, même lorsque sa mise en oeuvre évoluait rapidement.
- As-tu été amené à modifier le compilateur GNAT pour l'interfacer avec PolyORB ?
L'un des objectifs de PolyORB est de pouvoir être utilisé comme moteur de communication pour mettre en oeuvre l'annexe des systèmes répartis d'Ada 95 (annexe E).
Cette annexe offre aux utilisateurs les moyens de spécifier que certaines unités composant une application Ada doivent être exécutées par des calculateurs différents, à charge pour le compilateur et l'environnement d'exécution de rendre leur localisation aussi transparente que possible.
Ainsi, les appels de sous-programmes situés sur un autre calculateur sont transformés en appels à distance, et transportés par une couche de communication. De même, les appels de méthodes portant sur des objets instanciés sur un autre calculateur doivent faire l'objet d'une transmission.
La fourniture de cette annexe suppose la réalisation d'une bibliothèque de communication, mais aussi une spécialisation du compilateur : tous les appels de sous-programmes ou de méthodes distants doivent être remplacés par des appels à la bibliothèque de communication.
Une mise en oeuvre de l'annexe des systèmes répartis pour GNAT existait déjà : GLADE. Elle était basée sur une bibliothèque de communication ad hoc, Garlic, qui utilisait un protocole dédié. J'ai pu réutiliser une partie des travaux effectués sur GLADE en modifiant la phase d'expansion de GNAT pour adapter le code généré à l'interface offerte par la couche neutre de PolyORB, très différente des fonctionnalités exposées par Garlic.
Cette expérience m'a permis de modifier le compilateur pour pouvoir produire des souches et des squelettes dont la structure soit adaptée à PolyORB au cours de mon travail de thèse. Rien de tout cela n'aurait été possible sans la possibilité d'accéder aux sources de GNAT, de les comprendre et de travailler sur des versions modifiées. La disponibilité des composants de base sous forme de logiciel libre a donc en l'occurrence été un atout majeur pour la recherche en systèmes. C'est entre autres pour cela que PolyORB est également, et demeurera, un logiciel libre.
- PolyORB est-il seulement un projet de recherche universitaire ou a-t-il de l'avenir en tant que produit industrialisé ?
PolyORB est maintenant un produit industriel supporté par ACT Europe. Plusieurs clients ont déjà fait état de leur intérêt pour le produit, et un premier contrat de support est d'ores et déjà en vigueur. Ce contrat a permis la correction d'un certain nombre de problèmes existant dans les versions antérieures de PolyORB, ainsi que le développement d'améliorations à l'exécutif de répartition, notamment pour ce qui concerne les performances.
Cependant, PolyORB demeure également une plateforme de recherche et d'enseignement : une thèse de doctorat et plusieurs projets d'étudiants à l'ENST et au LIP6 sont en cours autour de PolyORB.
- Maintenant que tu as obtenu ta thèse de doctorat, continues-tu à travailler en Ada ?
Bien sûr ! Tout d'abord, je continue à travailler au développement et à la maintenance de PolyORB et de GNAT, qui sont majoritairement écrits en Ada. J'ai également tendance à pencher pour Ada lorsque je dois choisir un langage pour un nouveau projet, chaque fois qu'il est nécessaire d'écrire du code sûr et pérenne. Enfin, même lorsque je suis amené à programmer en utilisant d'autres langages, tels que C, j'essaie de mettre en application autant que possible les bonnes pratiques issues d'Ada, telles que la séparation stricte entre spécification et mise en oeuvre d'une unité. Avec gcc, en activant l'ensemble des avertissements et en les considérant tous comme des erreurs, on peut se rapprocher des vérifications de type offertes par tout compilateur Ada. Même quand j'écris du C, je pense en Ada ! Cela m'a déjà économisé d'innombrables heures de débogage.
Thomas, merci, et bonne continuation !
Merci à toi !
----
Liens:
- PolyORB
- ACT Europe
- Page personnelle de Thomas Quinot
- Thèse de Thomas Quinot
http://new.ada-france.org/?p=170
194 2003-09-10 Charger des bibliothèques Linux avec DLibs
Réalisée par Chris Campbell, DLibs est une bibliothèque permettant à un programme Ada de charger et utiliser les bibliothèques dynamiques de Linux.
DLibs est sous licence GMGPL.
http://new.ada-france.org/?p=194
359 2003-09-01 AdaGraph 0.5e Jerry van Dijk corrige un bug bloquant d'AdaGraph sur Win2K/XP.
La bibliothèque dispose maintenant d'un installeur et d'une documentation html.

Voir en ligne : AdaGraph

http://www.ada-france.org/?p=359
357 2003-09-01 Ada World, un nouveau portail Ada Stéphane Richard a ouvert Ada World, un site généraliste sur Ada, en anglais.

Voir en ligne : Ada World

http://www.ada-france.org/?p=357
353 2003-08-12 AdaOpenGL 0.12 La version 0.12 de AdaOpenGL viens de sortir. Cette librairie est un biding Ada pour la trés populaire API OpenGL. Un projet interessant, dans la lignée de GtkAda, qui aporte le support d'une librairie largement utilisée à Ada. Le projet avance doucement et un peut d'aide ne serais pas de refus, notament des volontaires pour tester le soft et donner un retour sur les bugs rencontrés.

Voir en ligne : AdaOpenGL

http://www.ada-france.org/?p=353
373 2003-08-11 RainCode Checker RainCode a mis en ligne une version d'éluation du RainCode Checker pour Ada, un outil qui vérifie environ 70 règles de codage.
RainCode peut implémenter des règles de codage spécifiques à une entreprise.

Voir en ligne : RainCode

http://www.ada-france.org/?p=373
355 2003-07-21 Version 3 de AdaCL La version 3.0.0 de la bibliothèque AdaCL de Martin Krischik apporte un ramasse-miette utilisant l'algorythme Boehm-Demers-Weiser et un kit d'extension pour les composants de Booch.
Un exemple d'utilisation est disponible en ligne.

Voir en ligne : AdaCL

http://www.ada-france.org/?p=355
196 2003-07-10 AdaBrowse Si il y a une sorte d'outils qui ne manque pas pour Ada, ce sont les équivalent de JavaDoc. Après AdaDoc, profitons de la sortie de la version 4 de AdaBrowse pour le présenter.

Réalisé par Thomas Wolf, AdaBrowse est un outil hautement configurable de génération de documentation sur des unités Ada de bibliothèque.
Il produit un document html contenant toutes les clauses de contexte, exceptions, variables, opérations, un index des types, etc.
AdaBrowse essaye également d'extraire les commentaires attenants, de façon configurable.
Autre caractéristique intéressante, AdaBrowse peut générer une sortie XML rendant possible d'autres formats de sortie (le DTD est inclus dans la distribution).
Un exemple de document produit est disponible en ligne.
Basé sur ASIS, AdaBrowse a été développé avec GNAT sur Windows NT/2K, mais fonctionne également sous Unix. Il est sous licence GPL.
http://new.ada-france.org/?p=196
351 2003-07-09 Version 2.2 de GtkAda disponible La version 2.2.0 est la première mise à jour majeure de la bibliothèque GtkAda depuis la 2.0.0.
Elle est logiquement destinée à Gtk+ 2.2.0 et suivantes.
La bibliothèque, sa documentation et la liste des évolutions sont disponible sur le site de GtkAda.

Voir en ligne : GtkAda

http://www.ada-france.org/?p=351
349 2003-07-08 Version 0.4.1 de AdaGPGME Une nouvelle version du binding Ada de GnuPG est disponible sur le site d'Andreas Almroth.
Cette version reflète les évolutions de l'API C, et ajoute un binding à gpg-error.
Elle requière GnuPG 1.2.2 et gpg-error 0.1.

Voir en ligne : AdaGPGME

http://www.ada-france.org/?p=349
347 2003-07-08 Article sur Ada dans COTS Journal COTS Journal de mai 2003 publie un article « pro-ada », en anglais, intitulé 21st Century Ada: Faster, Stronger... and Higher A noter une évaluation du marché des outils de développements Ada, dont la croissance est prévue continue au moins jusqu'en 2006.

Voir en ligne : 21st Century Ada: Faster, Stronger... and Higher

http://www.ada-france.org/?p=347
192 2003-06-27 Ada à la MIAGE de Paris 12 (Créteil) Ada est enseigné en formation initiale et en apprentissage au niveau DEUG 2 (première année de MIAGE) et licence (deuxième année). Un projet de programmation en Ada est réalisé en fin de licence. La maîtrise en formation continue comporte un cours d'algorithmique qui se base sur Ada. Les enseignements durent 35h sur un semestre pour chaque année, sous la forme de cours/TD/TP (l'enseignant est libre de son organisation).

Première année: les bases.
- utilisation de GNAT sous Linux ;
- typage et sous-typage ;
- contrôle de flot ;
- récursivité ;
- procédures et fonctions ;
- utilisation des paquetages ;
- algorithmes numériques classiques : factorielle, pgcd, primalité, etc. ;
- structures de données simples : tableaux et articles ;
- algorithmes de base sur les tableaux : recherche, inversion, tris simples, etc. ;
- entrées/sorties de texte.
Deuxième année : approfondissement.
- exceptions ;
- types accès ;
- écriture de paquetages ;
- introduction à la généricité ;
- structures de données dynamiques simples : piles, files, listes ;
- algorithmes classiques non étudiés en première année : tri rapide, etc.
Le projet de programmation en Ada a pour but d'appliquer et d'approfondir ces notions sur un exemple imposé. (Parmis les sujets déjà posés : compression/décompression de Huffmann, tableur avec formules et dépendances entre cellules.)
En formation continue, le cours a une orientation algorithmique appliqué en Ada. La présentation du langage est donc simplifiée. On étudie les principales structures de données (tableaux, articles, listes, piles, files et arbres) et les algorithmes importants pour les manipuler. (Les graphes sont présentés dans un cours spécifique, sans Ada.)
http://new.ada-france.org/?p=192
188 2003-06-24 Ada Terminal Emulator Réalisé par Ross Higson, Ada Terminal Emulator
est un ensemble d'outils dédié à l'émulation de terminal sous Windows.

Ada Terminal Emulator
offre sous license GPL, et pour Windows 95/98/NT/2000 des outils dédié à l'émulation de terminal.
L'ensemble a été développé avec GNAT et GWindows.
On y trouve des émulations complètes de DEC VT52 / VT100 / VT102 et partielles de VT220 / VT420 et ISO 6429.
Ada Terminal Emulator
consiste en 3 paquetages :
- Terminal_Emulator, pour créer, configurer et interagir avec un terminal sous windows. Terminal_Emulator offre de nombreuses fonctions, comme le support de la souris, la sauvegarde et le chargement de buffer virtuels depuis/vers des fichiers textes et le support de l'impression.
- Term_IO, qui remplace Text_IO en y ajoutant principalement le support d'un ou plusieurs terminaux comme entrée/sortie standard.
- Redirect, un programme indépendant des deux autres qui permet de rediriger les entrées/sorties standard de programmes (y compris non Ada) à travers un terminal, avec édition et historique de la ligne de commande, et complétion des noms de fichiers.
http://new.ada-france.org/?p=188
343 2003-06-22 GNADE 1.4.3 Michael Erdmann a annoncé la disponibilité de GNADE (GNAT Ada 95 Database Development Environment) 1.4.3.
En dehors des corrections, cette version ajoute (extrait de l'annonce originale) :
- Thin bindings to the ODBC interface.
- ISO 92 embedded SQL preprocessor for Ada 95 generating code for the ODBC interface.
- Oracale Call Interface.
- Bindings for MySQL.
- Bindings for PostgreSQL.
- A small command line toolset to import/export tables and to executed SQL queries.
- Documentation in pdf, postscript and html format.

Voir en ligne : GNADE

http://www.ada-france.org/?p=343
345 2003-06-18 LinXtris Dulio Matos Leite nous propose un sympathique clone sous GPL de Tétris, LinXtris.
Il tourne sur Linux, et est réalisé avec GNAT et GtkAda 2.0.

Voir en ligne : LinXtris

http://www.ada-france.org/?p=345
186 2003-06-15 École d'ingénieurs du canton de Vaud en Suisse (EIVD) Ada95 est enseigné comme premier langage.

EIVD-INA
http://new.ada-france.org/?p=186
184 2003-06-13 Enseignements en Ada à Télécom Paris (ENST)
Télécom Paris utilise le langage Ada depuis de nombreuses années afin d'illustrer les cours suivants (répétés fréquemment sur plusieurs trimestres):
- Comparaison entre la programmation structurée et celle orientée objet (9h de cours, 6h de TP dont un TP noté avec auto-évaluation) - Intervenants : F. Gasperoni et L. Pautet
- Programmation concurrente (3h de cours, 3h de TP) - Intervenants : Laurent Pautet
- Langages pour le temps réel (3h de cours, 3h de TP) - Intervenants : Laurent Pautet
- Langages pour la répartition (3h de cours, 3h de TP) - Intervenants : Laurent Pautet
- Certains TPs utilisent Ada comme support par exemple ceux correspondant aux cours d'algorithmique de groupe.
- De nombreux projets en équipe s'effectuent en Ada ce qui a permis des contributions de premier plan dans les projets GLADE , AdaBroker , PolyORB .
http://new.ada-france.org/?p=184
182 2003-06-09 Insa Toulouse

L'Ada est enseigné en premier cycle, et en troisième année au département de génie électrique et informatique (sections aei/gii/rt)
www.insa-tlse.fr
http://new.ada-france.org/?p=182
180 2003-06-08 Université Paul Sabatier Toulouse
Enseignement en 2e année de DEUG (Diplôme d'Études Universitaires Générales) mias
www.ups-tlse.fr
http://new.ada-france.org/?p=180
178 2003-06-07 La liste de diffusion générale de l'association
L'association Ada-France dispose d'une liste de diffusion ouverte à tous. Cette liste est accessible sous plusieurs formes.

Cette liste de diffusion, ada-france@ada-france.org, est accessible à tous, adhérents à l'association ou non. Elle regroupe des utilisateurs d'Ada qui s'entraident et discutent des subtilités ou des nouveautés du langage.
Il est possible de s'abonner à la liste ou d'y accéder à travers un forum de discussion Usenet. Ainsi, chacun peut y participer tout en conservant ses habitudes.
La liste est protégée par SpamAssassin. Si un message est détecté comme étant une publicité ou un message non sollicité, il est automatiquement supprimé. S'il reste une part de doute, il est présenté aux administrateurs de la liste qui l'acceptent ou le refusent.
Bonne lecture !
Liens:
- informations sur la liste et archive des anciens messages
- accès à la liste à travers un forum de discussions
http://new.ada-france.org/?p=178
190 2003-06-07 AdaDoc L'annonce d'AdaDoc 2.0.1 est l'occasion de découvrir cet outils qui permet de générer automatiquement une documentation à partir d'une spécification de paquetage Ada.

Réalisé par Julien Burdy et Vincent Decorges, AdaDoc est un outils sous license GPL permettant de produire un document à partir de spécifications Ada.
AdaDoc produit un format intermédiaire XML commun avant de générer du HTML, LaTeX, etc... L'ajout d'un nouveau format de sortie est donc simplifié.
Les sources en ligne d'AdaDoc sont un bon exemple de ce que sait faire l'outil.
En plus des sources, le site d'AdaDoc met à votre disposition des binaires pour Windows et Linux.
http://new.ada-france.org/?p=190
174 2003-06-05 Entretien sur AWS avec Pascal Obry Il est rare qu'une conversation où il est question de Web et d'Ada ne cite pas AWS. Quelques semaines après l'introduction de la version 1.3, Pascal Obry, son créateur, fait le point pour nous.

Bonjour Pascal,
- L'API d'AWS est officiellement stable. Considères-tu avoir atteint
tes objectifs premiers? L'activité de développement va-t-elle ralentir?

En fait les objectifs sont assez généraux et les modifications apportées à AWS sont celles dont les utilisateurs ont besoin.
Les objectifs initiaux étaient de comprendre le protocole HTTP et de pouvoir réaliser des serveurs Web robustes en Ada, alors oui les objectifs premiers sont atteints.
Un autre objectif était d'ouvrir à Ada le monde des systèmes d'information qui sont principalement bâtis aujourd'hui sur les technologies Web.
La dernière version (AWS 1.3) est sortie depuis quelques semaines mais nous avons déjà apporté beaucoup de modifications.
Ralentir ? Non pas pour le moment :) Un exemple ? AWS 1.4 supporte WSDL pour rendre l'utilisation de SOAP transparent.
- L'annonce de la version 1.3 parle de HTTPS, SOAP, LDAP, SMTP, Jabber, etc. On dépasse largement le cadre de HTTP. Vers quelles fonctionalités se dirige AWS?
En effet, AWS c'est l'acronyme d'Ada Web Server, mais je préfère maintenant parler d'AWS seulement. AWS dépasse le cadre d'HTTP car cela est nécessaire pour la réalisation d'applications Web aujourd'hui.
Toute application (Web ou non) doit pouvoir se connecter aux différents services de l'entreprise. Les protocoles LDAP et SMTP sont donc incontournables et SOAP le deviendra bientôt.
- A quoi sert et comment fonctionne le hot-plug dans AWS?
Le hot-plug d'AWS est une notion simple qui étend la notion de "dispatcher" au processus. Dans AWS un "dispatcher" permet d'aiguiller telle ou telle requête vers une procédure de traitement. Le hot-plug permet de transférer le traitement à un autre processus éventuellement s'exécutant sur une machine distante. Dans ce cas le serveur principal se comporte comme un proxy, il passe la requête au serveur distant, récupère la réponse et se charge enfin de la renvoyer au navigateur.
Ceci permet un "load balancing" en déportant certains traitements lourds vers une machine spécialisée par exemple. Une autre utilisation possible est de modifier dynamiquement un serveur Web en ajoutant ou supprimant des éléments.
Par exemple il est possible de désactiver une page ou un service Web temporairement sans recompiler ou relancer le serveur.
- A ta connaissance, AWS a-t-il des alter-égos dans d'autres environnements?
Non je ne pense pas. Pour le moment AWS est unique en son genre bien que l'architecture soit proche de celle d'un serveur d'application Java.
Une particularité d'AWS c'est le serveur auto-portant. Le support des ressources permet effectivement de distribuer un seul exécutable qui comporte les images, les pages Web, les templates, les icones et le serveur lui-même. Il n'y a pas plus facile pour distribuer un serveur Web.
- Tu vantes parfois le Template Parser qui accompagne AWS. Il n'a pas la
notoriété qu'il mérite?

En effet. Templates Parser est un élément clef pour le développement Web.
Ce composant permet de séparer à 100% le code du design. C'est effectivement un point important, cela permet de faire évoluer le design d'un site sans modifier le code, ou de modifier le code sans impacter le design.
De plus développeurs et designers sont des métiers distincts rarement exercés par la même personne sur un projet, alors dans ce cas l'utilisation du Templates Parser prend tout son sens.
A noter que Template parser est plus ancien qu'AWS, le projet a débuté en 1995, à cette époque je l'utilisais avec des CGI Ada.
Templates Parser a devancé de plusieurs années les "struts" de Java qui visent le même objectif (séparation code et design).
- Y-a t-il des applications utilisant AWS que tu aimerais faire si tu en avais le temps?
Certainement, mais... je n'ai pas eu le temps de me poser cette question :)
- Y-a-t-il une communauté de contributeurs AWS?
Non pas vraiment. Nous avons quelques contributions de temps en temps, mais nous ne sommes toujours que deux à réellement porter AWS.
- Laissons AWS de côté un instant. As-tu d'autres projets dont tu
puisses nous parler?

Non, je dois dire qu'AWS prend déjà beaucoup de mon temps et c'est assez pour le moment. Le monde du Web bouge très vite, c'est difficile de suivre toutes les technologies et d'intégrer celles-ci dans AWS, dans ce monde on perd très vite pied.
- Finissons sur la question déjà traditionnelle, pourquoi avoir
choisi Ada?

Pour plusieurs raisons. La première c'est que je crois en Ada comme langage de programmation pour créer des applications robustes. Une autre c'est que Ada n'avait pas d'environnement de développement pour le Web, ce qui n'est pas le cas de Java par exemple :) Et aussi parce que je trouve les solutions autour de Java (JSP, EJB, Java Beans...) bien trop compliquées.
Merci Pascal, et souhaitons longue vie à AWS.
----
Références :
- AWS
- Templates_Parser
http://new.ada-france.org/?p=174
176 2003-06-03 Une première réalisation du futur Ada.Directories La partie la plus attendue de la révision du langage en cours concerne la définition de bibliothèques prédéfinies.
Une réalisation préliminaire de la bibliothèque de manipulation de répertoires est disponible.

C'est Martin Dowie qui propose une réalisation de Ada.Directories, dont la spécification est définie dans l'AI-248 .
Précisons quand même que cette spécification n'est pas définitive, Martin y ajoute d'ailleurs un itérateur, et que c'est une version alpha incomplète. Elle permet toutefois de se familiariser avec la future norme.
La réalisation et les tests ont été faits avec GNAT 3.15p sous Windows NT et XP.
http://new.ada-france.org/?p=176
172 2003-05-28 XMLBooster

XMLBooster est un générateur de parser XML multi-langage, qui supporte Ada.
La gamme comprend également un générateur de documentation et un GUI pour éditer les données.
http://new.ada-france.org/?p=172
158 2003-05-26 Formations Rational
Rational propose les cours intra-entreprise :
- de Ada 83 à Ada 95,
- utiliser Rational Apex,
- OOAD avec UML (également en cours inter-entreprise),
- et d'autres formations; le catalogue complet est en ligne.
Jérome Desquilbet (jerome.desquilbet @ fr.ibm.com - +33 1 30 12 09 60) répondra à vos questions sur les détails techniques du contenu.
Votre contact commercial est Armelle Wexsteen (formation-fr @ rational.com - +33 1 30 12 09 50).
_ IBM Rational Software
_ 1, place Charles de Gaulle
_ 78067 St Quentin en Yvelines Cedex
http://new.ada-france.org/?p=158
169 2003-05-20 Un nouveau serveur pour Ada-France
Conformément aux décisions prises lors du
conseil d'administration du 17 mai 2003, l'association Ada-France s'est dotée d'un nouveau serveur. Nous possédons maintenant une adorable OpenBrick, hébergée par Lost Oasis.
Ce nouveau serveur héberge le serveur de nom pour ada-france.org, ce serveur WWW et les listes de diffusion de l'association.
http://new.ada-france.org/?p=169
166 2003-05-19 Conseil d'administration du 17 mai 2003
Sur proposition de Lionel Draghi (président) et Samuel Tardieu (trésorier), le conseil d'administration de l'association Ada-France a adopté le plan de développement suivant:
- Un serveur de type OpenBrick sera acheté et hébergé chez la société Lost Oasis. Il accueillera le serveur WWW et les listes de diffusion de l'association.
- Les adhérents personnes physiques se verront offrir, pendant une période d'un an, leur cotisation à Ada Europe. Cela leur permettra notamment de recevoir la revue « Ada User Journal ». Les modalités de cette offre seront déterminées par le président et le trésorier. Cette offre pourra éventuellement être renouvelée au bout d'un an si les finances s'y prêtent.
- Le concours 2003 de l'association sera primé sur fonds propres à hauteur de 2000 euros. En raison de ses répercussions importantes sur la valeur du fonds associatif, cette décision sera soumise au vote en assemblée générale extraordinaire et donnera lieu à un référendum par Internet.
http://new.ada-france.org/?p=166
164 2003-05-19 Entretien avec Gautier de Montmollin Déja auteur de plusieurs contributions, déja évoqué sur nos pages avec P2Ada, Gautier revient avec TeXCAD.
Tâchons d'en savoir plus!

- Bonjour Gautier. Peux-tu te présenter brièvement?
Je suis mathématicien, j'habite à Zürich (Suisse) et travaille comme actuaire [[actuariat: calcul des risques liés à une couverture d'assurance pour en établir la prime]]
dans une compagnie de réassurances.
- TeXCAD est un outil existant. En quoi était-il programmé?
Il a été programmé autour de 1990 en Turbo Pascal.
C'est un outil très commode pour faire toutes sortes de diagrammes en LaTeX.
Sa particularité est que le format de fichier n'est rien d'autre qu'un bout
de code LaTeX contenant un dessin (picture), qu'on peut inclure dans un texte -
directement ou par la commande \\input.
Ce confort suppose un parser puissant, souple, résistant aux
notations «alternatives» et capable de mémoriser les commandes qu'il ne comprend pas.
C'est donc le fruit d'un gros travail, mais qui était menacé de disparition parce
qu'étant un programme DOS. Il fallait de plus en plus d'acrobaties pour le faire tourner
sur les machines actuelles. Comme les sources de TeXCAD 3.2
existent (encore) et que le programme est bon, c'était préférable de les rénover
que de repartir de zéro.

- Pourquoi avoir changé pour Ada?
Il y a mille bonnes raisons (que j'explique de long en large sur
cette page Web) de passer
du Pascal vers l'Ada. Le Pascal «de base» a été une étape importante et nécessairement éphémère
dans l'histoire de la programmation et je lui souhaite une bonne retraite.
Il y a bien sûr en circulation toutes sortes d'extensions du Pascal,
mais elles ne sont pas satisfaisantes: sur des
points essentiels, elles ne sont pas encore au niveau de l'Ada 83;
les palliatifs à la rigidité du Pascal sont souvent mal conçus, brisant
sa cohérence et le typage fort; enfin, et c'est le plus ennuyeux,
on a affaire a une myriade de dialectes incompatibles.
Pour TeXCAD, le passage du Pascal à l'Ada n'était pas en soi indispensable,
comme il l'est pour du calcul numérique, mais plutôt commode.
Il s'agit de pouvoir produire des versions Mac, Linux, Unix ou Windows
avec une base commune et bien sûr d'avoir quelque chose qui
puisse évoluer et être utilisable dans 10 ou 20 ans.
La disponibilité d'un environnement de programmation à la fois professionnel
et gratuit (GNAT), ainsi que de bibliothèques d'interfaces graphiques également gratuites
a fait le poids. En somme, un exécutable TeXCAD peut être obtenu avec des
données (compilateur, sources, bibliothèques) entièrement gratuites et disponibles
sur le Web. Pour moi c'est idéal!
La conversion des sources a été très simple: un petit coup de
P2Ada,
amélioré pour l'occasion, et je me suis retrouvé avec des sources Ada dans
lesquelles il était facile de piocher.
- As-tu d'autres idées pour TeXCAD, ou comptes-tu en rester là?
Il y a encore à faire: quelques défauts hérités de la version originale,
des détails pour la version Windows, des commandes de LaTeX à implémenter.
Des idées me parviennent déjà de la part d'utilisateurs...
L'important sera de garder cet outil aussi simple que possible, tout en le faisant
évoluer.

- Pourquoi avoir choisi GWindows?
Pour Windows, il y a un certain nombre d'environnements (à ma connaissance: CLAW, JEWL, GWindows, GtkAda).
J'ai fait un petit prototype dans chacun d'entre eux pour sonder la faisabilité et
voir honnêtement sur quelles difficultés on bute. J'ai aussi pensé au confort de
l'utilisateur, à la facilité d'installation, et toutes sortes de paramètres
«hors programmation».
Sans entrer dans les détails, c'est GWindows qui s'en sort haut la main.
Maintenant, pour d'autres plateformes, c'est une autre histoire.
- Tes contributions semblent montrer ton intéret pour l'infographie. C'est un de tes sujets favoris?
Si tu penses à Engine_3D eh bien
oui, j'avoue avoir un faible pour la réalité virtuelle, surtout quand
on peut construire le décor, faire un travelling, jouer sur la focale,
les éclairages, les effets spéciaux. En plus, comment voir la puissance
de la programmation mieux qu'en contemplant des millions de pixels rafraîchis
30 fois par seconde ? C'est planant... Ça m'a aussi permis de découvrir
qu'Ada et optimisation ne sont pas contradictoires, loin de là!
- Que t'a-t-il manqué le plus pour tes développements dans Ada?
Quand j'ai commencé à programmer en Ada en 1996, c'était un peu limite.
Ada n'était pas vraiment sorti du nid et il allait probablement y rester...
En quelques années, l'effet combiné de la norme Ada95, de GNAT, d'Internet, des processeurs rapides
(important si le compilateur est lent!) a beaucoup changé le tableau.
Évidemment, Ada gagnera à être mieux connu; il y a encore du pain sur la planche...
- Qu'attends-tu de la prochaine révision de la norme?
Une clause "with and use X(,Y);" qui signifie "with X(,Y); use X(,Y);"
ou bien "with X; use X; (with Y; use Y;)" (à définir par les juristes!).
- Quels sont tes autres projets?
En tout cas, un jeu en 3D (graphisme basé sur OpenGL).
- Et en quel langage les réaliseras-tu? :-)
Je ne suis pas sectaire.
Du moment que j'ai le choix, il faut en tout cas qu'il soit modulaire,
lisible, portable, non propriétaire et correctement typé.
Il faut aussi un compilateur, des outils gratuits et au moins une
petite communauté d'utilisateurs.
Alors quelque chose me dis que nous aurons l'occasion d'en reparler sur Ada-France!
Merci Gautier.
http://new.ada-france.org/?p=164
156 2003-05-15 Ada à l'Université du Québec à Montréal (UQAM) Cours de Ada à l'université du Québec à Montréal

L'Université du Québec à Montréal (UQAM) propose plusieurs diplômes en informatique, du certificat (1 an) au doctorat.
L'apprentissage de l'informatique se fait par Ada en trois cours obligatoires INF1110, INF2110 et INF3102, le premier étant un prérequis pour le second, et le second pour le troisième.
Chaque cours représente un total de 45h (15 cours de 3h) de cours et 24h (12 TD de 2h) de travaux dirigés, le tout accompagné de 3 travaux pratiques en général.
Les étudiants peuvent se renseigner auprès de leur université pour faire un échange via le réseau CRÉPUQ.
Voici les adresses des descriptifs de cours:
- INF1110
- INF2110
- INF3102
- Tous les cours sont répertoriés dans cette liste.
http://new.ada-france.org/?p=156
154 2003-05-15 Formations Adalog
Adalog propose des formations de tous niveaux en entreprise
en Ada, méthodologies (notamment méthode HOOD), génie logiciel...
- formation initiale,
- perfectionnement,
- formation des formateurs,
Les descriptions, dates et tarifs des formations inter-entreprises figurent ici.
Les cours du catalogue sont également disponibles à la demande
en intra-entreprise, ainsi que des conférences sur des thèmes spécifiques :
- application d'Ada au parallélisme et au temps réel,
- applications numériques en Ada,
- composants logiciels et réutilisabilité,
- formation à la conception orientée objets,
- etc.
_ Contact : Maria Da Silva
_ Tel: 01 41 24 31 40
_ Fax: 01 41 24 07 36
_ Adalog
_ 19-21 rue du 8 mai 1945
_ 94110 ARCUEIL
http://new.ada-france.org/?p=154
339 2003-05-14 TeXCAD 4.0 La liste des contributions de Gautier de Montmollin au monde Ada s'allonge : il s'agit cette fois de TeXCAD, un programme pour dessiner ou retoucher des pictures dans LaTeX.
La portabilité a été soignée, et les dépendances a la plateforme isolées. La version dont les images figurent sur le site de Gautier tourne sous Windows, et utilise GWindows.

Voir en ligne : TeXCAD

http://www.ada-france.org/?p=339
341 2003-05-09 AdaCL 1.4.0 Martin Krischik a mis en ligne une nouvelle version de sa bibliothèque AdaCL (Ada Class Library).

Voir en ligne : AdaCL

http://www.ada-france.org/?p=341
162 2003-05-06 Ada Tools 1 : agrep
Quelques outils Ada en ligne seraient très utiles. Le premier est le plus simple. Il s'agit d'agrep, un grep spécialisé Ada qui permet de faire des recherche dans le code ou/et dans le source.
Les options de base seraient celle de grep, mais les recherches dans le code seraient insensible à la casse par défaut.
Les fichiers traités seraient *.ad[sba] par défaut.
Cela ressemblerait par exemple à :
agrep -R -cmt "Auteur"
pour rechercher récursivement les lignes Auteur dans les headers, ou
agrep -code "Get_" -code "Set_" *.ads
pour lister les accesseurs de toutes les specs.
C'est un outils simple à faire, et qui évite de tomber dans les pièges des expressions régulières lorsque l'on fait ce genre de recherche avec un simple grep.
Une option utile pour les recherches dans les commentaires est l'affichage des lignes suivantes. Donner un nombre de ligne de contexte absolu
agrep -cmt "Auteur" -3
comme dans diff, est simple mais guère utile.
Un
agrep -cmt "Auteur" -until cmt_end
qui listerait le commentaire contenant Auteur et toutes les lignes de commentaires accolées, ou un
agrep -cmt -before_code "type Msg_Queue"
qui donnerait les commentaires avant la déclaration de Msg_Queue semble bien plus puissant.
On peut même envisager des options de recherche plus fines, dans les noms de variables, de procédure, paquetage, etc.
Contrairement à la distinction code/commentaires qui peut se faire avec une expression régulière, cette recherche plus fine requiert une connaissance au moins syntaxique, et ne me semble pas d'une utilité immédiate.
NB : il existe déja un outils nommé agrep.
http://new.ada-france.org/?p=162
160 2003-05-03 Formations Arunix
Arunix propose une formation intra-entreprise structurée en deux niveaux de 4 jours chacun, permettant de satisfaire les débutants, aussi bien que les développeurs chevronnés
Arunix effectue également des formations sur mesure.
Le catalogue des formations est
disponible sur le site.
contact : Mathieu Le francois

Arunix
Z.A.L. St Amé
Rue de l'Abregain
62 806 Liévin Cedex
Téléphone (secrétariat) : 03.21.14.28.43
http://new.ada-france.org/?p=160
152 2003-05-02 Formations Aonix
Aonix, propose les cours suivant :
Le langage Ada 83 :
- 1ère partie : les bases
- 2ème partie : la puissance
Le langage Ada 95 :
- Ada 95 pour les programmeurs Ada 83
- Conception orientée objet d'applications avec Ada
Pour les descriptions, dates, tarifs, voir le catalogue en ligne.
Aonix adapte ses formations selon vos contraintes : domaine, métier, environnement.
Contact : Jérémie Lacour
01 41 48 10 46
Aonix
66-68 avenue Pierre Brossolette
92247 Malakoff Cedex France
http://new.ada-france.org/?p=152
337 2003-05-01 Nouvelle version de l'Atelier UML Alexis Muller a repris le développement de son atelier UML, qui est maintenant capable de charger un fichier XMI 1.1.
En attendant un prochain article sur le sujet, vous pouvez déja examiner le code, et, pourquoi pas, contribuer à ce projet.

Voir en ligne : Atelier UML

http://www.ada-france.org/?p=337
335 2003-04-30 La page Ada de Stephen Leake déménage La page Ada de Stephen est maintenant ici
Pour mémoire, elle contient
- Stephe's Ada Library (SAL)
- Windex
- comports
- pleins de bonnes choses pour Emacs et le mode Ada!

Voir en ligne : La page Ada de Stephen Leake

http://www.ada-france.org/?p=335
333 2003-04-30 Mise à jour de la grammaire Ada ANTLR Oliver Kellogg a annoncé une première version utilisable de la grammaire Ada ANTLR.
La première application est en cours de développement, et c'est rien moins que le support d'Ada dans Kdevelop,
voir le CVS.

Voir en ligne : Grammaire Ada ANTLR

http://www.ada-france.org/?p=333
150 2003-04-28 Ecole Nationale Supérieure de Mécanique et d'Aérotechnique (ENSMA)
- Enseignement en 1ère année (30h cours, 22h TD, nombreux TP)
- Enseignement en seconde année (3h cours, 6h TP): programmation Ada multi-tâches.
- URL: http://www.ensma.fr
- Coordonnées:
- ENSMA
- 1, av Clément Ader
- BP 40109
- 86961 Chasseneuil-Futuroscope Cedex
http://new.ada-france.org/?p=150
148 2003-04-27 Un serveur de mail anti-spam
Il s'agit d'un serveur de mail dont aucune des caractéristiques n'est réellement nouvelle, mais qui combine des idées glanées à différents endroits. L'idée générale, c'est d'intégrer une adresse mail "a vie" qui reste secrète, et des alias qui gravitent autour.
Les point forts sont :
1 - une création d'alias "on the fly" comme dans spamgourmet, mais en plus puissant : soit l'utilisateur dont l'adresse réelle est lionel@machin.org : pour se préserver des spameurs, cette adresse ne doit jamais être utilisée. Lionel utilisera plutôt une adresse de la forme IDENTIFIANT.PROFIL.lionel@machin.org.
IDENTIFIANT permetta à lionel de se rappeler à qui il a donné cette adresse, et PROFIL désigne un ensemble d'options inspiré par spamgourmet et mailexpire. Ces options permettrons de rendre l'alias caduc après une certaine période, ou après un certain nombre de mails reçus. L'utilisateur définit des profils par une interface web.
Bien sur, en cas de réponse par Lionel, le serveur substituera l'adresse réelle comme il se doit.
2 - une gestion de white list comme dans le WLE de Sam, ou dans mailcircuit.com. Lorsqu'un inconnu vous écrit, il reçoit une réponse lui demandant de confirmer en répondant ou en cliquant sur un lien @machin.org qu'il ne s'agissait pas d'un spam. Ce n'est fait qu'une seule fois. Par ailleurs, le serveur de mail autorise par défaut les adresses auquelles Lionel a écrit, il n'y a donc rien à faire le plus souvent.
3 - une fonction de relai, qui permet d'utiliser une ou plusieurs autres adresses que lionel@machin.org.
A noter, il n'y a pas dans un premier temps de système de filtrage (à la SpamAssassin), ce qui évite tout risque de filtrage malheureux.
Comme tout ceci réclame à la fois du pop/smtp/http, l'utilisation d'AWS permettrait sans doute de gagner du temps. Une DB est probablement indspensable, et GNADE doit également avoir sa place dans un tel projet.
L'avantage d'un serveur écrit en Ada serait de proposer ces services de façon efficace (en terme d'occupation CPU), et de façon sure (pour l'intégrité de la machine), et autonome (pas besoin d'Apache pour l'interface web utilisateur ou admin). Il ne s'agit pas d'une attaque frontale des vedettes du domaine, mais d'un serveur simple, efficace et orienté anti-spam.
http://new.ada-france.org/?p=148
331 2003-04-17 VAD 6.1 Leonid Dulman anonce la disponibilité de VAD en version 6.1.
VAD (Visual Ada Developer) est un GUI builder en Ada95 et Tcl/Tk portable sur différentes plateformes, comme
- Windows NT/9x,
- Unix (Linux),
- Mac,
- et OS/2.
VAD peut servir d'IDE pour des projets en Ada, mais également en C, C++ ou TCL.
Les sources Ada générés compilent avec GNAT sur Linux et ObjectAda 7.2 sous Windows.

Voir en ligne : VAD

http://www.ada-france.org/?p=331
329 2003-04-14 RTLGNAT 0.1 Jorge Real a annoncé RTLGnat version 0.1.
C'est un portage de GNAT 3.14 pour le Linux Temps-Réel RTLinux 3.1 et suivant.
Ceci permet de faire tourner des programmes Ada en mode noyau, avec des privilèges supérieurs aux applications normales.

Voir en ligne : RTLGnat

http://www.ada-france.org/?p=329
327 2003-04-14 Un parseur IDL3 en Ada Alexis Muller a réalisé un interpréteur (parser) IDL3 en Ada.
Il ne vérifie pas encore les règles sémantiques,
mais Alexis est ouvert aux contributions.

Voir en ligne : Parseur IDL3

http://www.ada-france.org/?p=327
146 2003-04-03 GtkAda 2.2 sous Windows Comment obtenir un GtkAda 2.2 fonctionnel sous Windows NT/2K/XP.

Environnement: Gcc 3.2 + GnatGcc 3.2 + GtkAda 2.2 sous windows NT (v 0.3)
Remerciements à l'équipe d'ACT, à Jeffrey Creem et tous les abonnés de la liste de diffusion GtkAda.
Note: une traduction anglaise de cet article existe

Introduction


L'arborescence suggérée prend en compte les chemins codés en dur de gcc, afin de garantir une bonne reproductibilité d'installation.
Je ne suis pas un expert d'Ada, ni un «gourou» de gcc. Je suis juste débutant dans ce domaine. N'hésitez pas à corriger ou améliorer cet article.
Le répertoire racine doit être x:\\mingw, où x est votre disque d'installation. Dans l'exemple ci-dessous, le disque d'installation est c:.
Vous pouvez choisir n'importe quel disque pourvu que vous gardiez le répertoire racine \\mingw.
Je crois qu'il y a plusieurs autres voies pour arriver au résultat, mais celle-ci est simple et facile.
À la fin de la procédure d'installation, vous obtiendrez deux répertoires :
- c:\\gnu contenant tous les paquets prêts pour une nouvelle installation
- c:\\mingw contenant une installation fonctionnelle de gnatgcc avec GtkAda

Téléchargement des paquets


Création des répertoires:
- Créer c:\\gnu
- Créer c:\\gnu\\mingw
- Créer c:\\gnu\\gtk
- Créer c:\\gnu\\gtkada

Charger MinGWin
de ici vers c:\\gnu\\mingw:
- MSYS-1.0.8.exe
- MinGW-2.0.0-3.exe
Charger GnatGCC de ici vers c:\\gnu\\mingw:
- gcc-3.2-Ada-20020817-1.tar.gz
Charger Gtk de
ici vers c:\\gnu\\gtk:
- gettext-dev-0.10.40-20020904.zip
- libintl-0.10.40-tml-20020904.zip
- pkgconfig-0.14.zip
- atk-1.0.3-20020821.zip
- atk-dev-1.0.3-20020821.zip
- glib-2.2.0-20030112.zip
- glib-dev-2.2.0-20030112.zip
- gtk+-2.2.0-20030119.zip
- gtk+-dev-2.2.0-20030119.zip
- pango-1.0.5-20021201.zip
- pango-dev-1.0.5-20021201.zip
Charger de ici
vers c:\\gnu\\gtk\\gtkada:
- libiconv-1.8-w32-1.bin.zip
- freetype-2.1.2-bin.zip
- freetype-2.1.2-1-lib.zip
- jpeg-6b-1-bin.zip
- jpeg-6b-1-lib.zip
- libpng-1.2.4-1-bin.zip
- libpng-1.2.4-1-lib.zip
- tiff-3.5.7-bin.zip
- tiff-3.5.7-lib.zip
- zlib-1.1.4-bin.zip
- zlib-1.1.4-lib.zip
Charger GtkAda de ici
vers c:\\gnu\\gtkada.
Télécharger le dernier cliche (snapshot) de GtkAda avec les commandes :

cvs -d :pserver:anoncvs@libre.act-europe.fr:/anoncvs login
(mot de passe vide)
cvs -d :pserver:anoncvs@libre.act-europe.fr:/anoncvs co GtkAda

Installation


Remarque importante: Dans la procédure d'installation décrite ci-dessous, quelques fichiers déjà installés seront écrasés.
Gnatgcc
Lancer MinGW-2.0.0-3.exe. À la question Select Destination Directory, répondre c:\\mingw.
Lancer MSYS-1.0.8.exe. À la question Select Destination Directory, répondre c:\\mingw\\msys.
À la question Do you wish to continue with the post install, répondre y.
À la question Do you have MinGW installed, répondre y.
À la question Where is you MinGW installation, répondre c:/mingw.
Décompresser gcc-3.2-Ada-20020817-1.tar.gz vers c:\\mingw

GTK+
Créer c:\\mingw\\gtk.
Décompresser vers c:\\mingw\\gtk :
-c:\\gnu\\gtk\\gettext-dev-0.10.40-20020904.zip
-c:\\gnu\\gtk\\libintl-0.10.40-tml-20020904.zip
-c:\\gnu\\gtk\\pkgconfig-0.14.zip
-c:\\gnu\\gtk\\atk-1.0.3-20020821.zip
-c:\\gnu\\gtk\\atk-dev-1.0.3-20020821.zip
-c:\\gnu\\gtk\\glib-2.2.0-20030112.zip
-c:\\gnu\\gtk\\glib-dev-2.2.0-20030112.zip
-c:\\gnu\\gtk\\gtk+-2.2.0-20030119.zip
-c:\\gnu\\gtk\\gtk+-dev-2.2.0-20030119.zip
-c:\\gnu\\gtk\\pango-1.0.5-20021201.zip
-c:\\gnu\\gtk\\pango-dev-1.0.5-20021201.zip
-c:\\gnu\\gtk\\freetype-2.1.2-bin.zip
-c:\\gnu\\gtk\\freetype-2.1.2-1-lib.zip
-c:\\gnu\\gtk\\jpeg-6b-1-bin.zip
-c:\\gnu\\gtk\\jpeg-6b-1-lib.zip
-c:\\gnu\\gtk\\libpng-1.2.4-1-bin.zip
-c:\\gnu\\gtk\\libpng-1.2.4-1-lib.zip
-c:\\gnu\\gtk\\tiff-3.5.7-bin.zip
-c:\\gnu\\gtk\\tiff-3.5.7-lib.zip
-c:\\gnu\\gtk\\zlib-1.1.4-bin.zip
-c:\\gnu\\gtk\\zlib-1.1.4-lib.zip
Créer c:\\tmpiconv
Décompresser libiconv-1.8-w32-1.bin.zip vers c:\\tmpiconv,
Copier:
-c:\\tmpiconv\\iconv.exe vers c:\\mingw\\gtk\\bin,
-c:\\tmpiconv\\*.dll vers c:\\mingw\\gtk\\lib,
-c:\\tmpiconv\\iconv.lib vers c:\\mingw\\gtk\\lib,
-c:\\tmpiconv\\iconv.lib vers c:\\mingw\\gtk\\lib\\libiconv.a,
-c:\\tmpiconv\\iconv.h vers c:\\mingw\\gtk\\include,
-c:\\tmpiconv\\libcharset.h vers
c:\\mingw\\gtk\\include.
Effacer c:\\tmpiconv.
Ouvrir le panneau de configuration, l'applet système, option Avancée, puis cliquer sur le bouton variables d'environnement.
Ajouter au PATH c:\\mingw\\gtk\\bin et c:\\mingw\\gtk\\dll
GtkAda 2
Modification manuelle des sources: il y a deux manières de faire.
- La manière propre (à mon goût).
-* Dans c:\\gnu\\gtkada\\src\\makefile.in, ajouter à la ligne 15 le paramètre -mms-bitfields afin d'obtenir la ligne suivante :

CFLAGS = @CFLAGS@ -mms-bitfields -Wall @GTK_CFLAGS@ -I.. $(FPIC).
-* Dans c:\\gnu\\gtkada\\src\\opengl\\makefile.in, ajouter à la ligne 10 le paramètre -mms-bitfields afin d'obtenir la ligne suivante :

CFLAGS = @CFLAGS@ -mms-bitfields -Wall @GTK_CFLAGS@ -I. $(FPIC).
-* Dans c:\\gnu\\gtkada\\src\\gtkextra\\makefile.in, ajouter à la ligne 10 le paramètre -mms-bitfields afin d'obtenir la ligne suivante :

CFLAGS=@CFLAGS@ -mms-bitfields.
- La manière paresseuse : la seule pour la plupart d'entre nous.
-* Juste avant de compiler, tapez :

CC='gcc -mms-bitfields'; export CC
-* En utilisant l'icône Msys du bureau, lancer Msys, et tapez alors :


cd /c/mingw/gtk
patch -p0 < ../contrib/gtkada-2.0-win32.diff

-* Quittez Msys
Installation
- Copiez c:\\gnu\\gtkada dans c:\\mingw\\gtk
- Lancez Msys
- Tapez&nbsp:
cd /c/mingw/gtk
./configure --prefix=/d/mingw/gtk --build=i386-pc-mingw32 --target=i386-pc-mingw32 --host=i686-windows-mingw32
make install

- Test: lancez c:\\mingw\\gtk\\testgtk\\testgtk.exe pour valider l'installation.

À faire


Intégration du paquet Open Gl

GtkAda 2.2 pour NT est désormais disponible officiellement.
Le travail de Stéphane reste toutefois intéressant car :
- il permet de disposer d'un environnement Ada pour NT basé sur gcc 3.2. Ceci ouvre une voie vers de nouveaux back-ends 8 bits, comme les 68HC1x et Atmel AVR.
- il explique en détail tout le montage.
Pour faciliter l'accès à ce travail, une archive au format tar.gz de l'arborescence complète est disponible ici.
Elle est datée du 25 aout 03, et fait 46 Mo.
Tout ceci est essentiellement à but éducatif et prospectif, et Stéphane ne conseille pas de faire de la production avec.
Merci encore à lui.
http://new.ada-france.org/?p=146
325 2003-03-27 Inscriptions pour Ada-Europe 2003 Les inscriptions pour la conférence Ada-Europe 2003 sont ouvertes.

Voir en ligne : Enregistrement pour Ada Europe 2003

http://www.ada-france.org/?p=325
144 2003-03-25 Comment ajouter quelque chose sur ce site WWW ? La question revient régulièrement: « Pourriez-vous SVP ajouter cette information sur le site WWW d'Ada-France ? ». La réponse tient en une phrase: « Faites-le vous-même !»

Le site WWW de l'association Ada-France utilise un système de publication coopératif appelé SPIP. Ce système permet à n'importe quel possesseur d'un accès rédacteur de rédiger de nouveaux articles ou de nouvelles brèves et de les proposer à la publication.
Obtenir un accès rédacteur
Tout le monde peut obtenir un accès rédacteur au site d'Ada-France. Il suffit pour cela de remplir le formulaire se trouvant en bas à droite de la page d'accueil du site.
Dès que vous aurez rentré votre nom et votre adresse électronique, le système SPIP vous enverra un mot de passe généré automatiquement, que vous pourrez bien entendu changer par la suite. Dès lors que vous disposez de ce mot de passe, vous pouvez vous connecter en suivant, dans le menu de gauche, le lien «Accès rédacteurs». Ce lien vous donne accès à la partie éditoriale du site, et vous permet de rédiger votre premier texte.
Configurer votre compte
Vous pouvez, depuis «l'Accès rédacteurs», configurer certains paramètres de votre compte. Le plus important est votre nom de rédacteur, puisque c'est le nom qui apparaîtra en marge de l'article. Préférez les formes de type «Prénom Nom» qui sont la norme sur ce site.
Vous pouvez également indiquer le nom et les coordonnées de votre page WWW personnelle si vous en avez une et si vous souhaitez que ces informations figurent à côté de vos articles.
Publier un article ou une brève
Lorsque vous estimez que votre article (ou votre brève) est prêt pour la publication, vous pouvez demander sa diffusion en cliquant sur le loin idoine. Un courrier électronique est alors envoyé automatiquement au comité de rédaction qui acceptera l'article tel quel ou demandera quelques modifications.
Améliorer la présentation
SPIP propose des moyens simples de faire des listes, des notes de bas de page, des tableaux, de mettre en gras, etc. Il suffit de cliquer sur le lien «raccourcis typographiques» au dessus de la fenêtre de saisie pour savoir comment faire.
Il existe également un mémento à imprimer.
Pour les cas les plus complexes, il est toujours possible d'utiliser directement html dans vos articles. On peut, par exemple, mettre du code Ada entre des balises
&lt;code&gt;

&lt;/code&gt;

Enfin, n'oubliez pas que vous pouvez agrémenter vos articles d'images, et leur associer une icone.
http://new.ada-france.org/?p=144
141 2003-03-21 Soutenance de thèse de Thomas Quinot Thomas Quinot soutiendra lundi 24 mars 2003 sa thèse de doctorat intitulée « Conception et réalisation d'un intergiciel schizophrène pour la mise en oeuvre de systèmes répartis interopérables ». Cette thèse a donné lieu à la réalisation du logiciel PolyORB, écrit en Ada 95.
Thomas Quinot soutiendra lundi 24 mars 2003 sa thèse de doctorat intitulée « Conception et réalisation d'un intergiciel schizophrène pour la mise en oeuvre de systèmes répartis interopérables ». Cette thèse a donné lieu à la réalisation du logiciel PolyORB, écrit en Ada 95.

Annonce de la soutenance


J'ai le plaisir de vous inviter à la soutenance de ma thèse
de doctorat de l'Université Pierre et Marie Curie :
« Conception et réalisation d'un intergiciel schizophrène
pour la mise en oeuvre de systèmes répartis interopérables »
qui aura lieu le :
_ lundi 24 mars 2003 à 14:00
_ à l'Université Pierre et Marie Curie
_ salle 203/205, bâtiment 41, 2ème étage
_ 4, place Jussieu - Paris
_ métro Jussieu
devant le jury composé de :
- Michel Riveill, professeur à l'Université de Nice,
Edmond Schonberg, professeur à New York University,
rapporteurs
- Pierre Cointe, professeur à l'École des Mines de Nantes,
Christian Queinnec, professeur à l'Université Pierre et Marie Curie, Philippe Waroquiers, responsable de projet TACT au CFMU Eurocontrol, examinateurs
- Fabrice Kordon, professeur à l'Université Pierre et Marie Curie, Laurent Pautet, maître de conférences à l'École nationale supérieure des télécommunications, habilité à diriger des recherches, directeurs de thèse,
ainsi qu'au traditionnel pot qui s'ensuivra.

Résumé


Les intergiciels rendent les applications réparties indépendantes
d'un environnement particulier, mais introduisent paradoxalement
une nouvelle dépendance vis-à-vis d'un modèle de répartition.
L'interopérabilité entre applications doit être intégrée à
l'architecture de l'intergiciel, car l'utilisation de passerelles statiques
présente un coût et une explosion combinatoire prohibitifs.
Les architectures d'intergiciels génériques permettent le
partage de code par plusieurs personnalités réalisant des modèles
de répartition différents. Nous les étendons en proposant l'architecture
schizophrène, qui découple les aspects exposes d'une part aux objets
applicatifs, d'autre part aux autres intergiciels, au moyen d'une
couche neutre réalisant les fonctions récurrentes des intergiciels
indépendamment des personnalités. Cette architecture
générique et configurable contribue à l'interopérabilité en permettant
la cohabitation efficace de plusieurs personnalités.
Nous présentons PolyORB, notre prototype d'intergiciel schizophrène.
Nous montrons ainsi que l'architecture proposée est opérationnelle
et efficace.
http://new.ada-france.org/?p=141
139 2003-03-21 Entretien avec Tristan Gingold, auteur de GHDL Tristan Gingold est l'auteur de GHDL, un compilateur VHDL disponible sous forme de logiciel libre. Tristan a accepté de répondre à quelques questions et ainsi d'inaugurer cette nouvelle rubrique du site de l'association Ada-France.

- Bonjour Tristan. Tu es, entre autres, l'auteur de GHDL, un compilateur VHDL écrit en Ada. Peux-tu nous expliquer en quoi cela consiste ?
VHDL signifie « Very high-speed integrated circuit Hardware Description Language ».
Comme son nom l'indique, c'est un langage dédié à la description matérielle de circuits intégrés. VHDL est très utilisé pour la conception de circuits, surtout en Europe. Pour plus d'informations, vous pouvez regarder les nombreuses pages sur le WEB (NdlR: voir la section « liens » à la fin de l'article).
La première version du standard VHDL (IEEE 1076) est sortie en 1987, et s'inspire très fortement de la syntaxe et de la sémantique d'Ada.
- Ton compilateur vient se greffer sur le générateur de code de GCC (GNU Compiler Collections). Pourquoi ne pas l'avoir développé de manière totalement autonome ?
Mes premières versions étaient autonomes: il s'agissait en fait d'un interpréteur. Mais hélas, la vitesse d'éxécution est très limitée par cette technique. J'ai donc choisi de changer de technique et de compiler le code VHDL. Plutôt que de réécrire un compilateur, j'ai choisi de m'interfacer avec GCC.
- Pourquoi avoir choisi Ada 95 pour développer cette partie frontale ? Ce choix s'est-il avéré judicieux ?
Il y a plusieurs réponses. Tout d'abord, il aurait été préférable de réaliser cette partie en VHDL, mais hélas, VHDL n'est pas bien adapté pour écrire des compilateurs ou des outils systèmes. Se posait également le problème du « bootstrap » (comment compiler ce premier compilateur ?).
Je n'ai pas hésité entre Ada95 et un autre langage. En effet, je voulais apprendre Ada95 et pour cela un projet est idéal. De plus, je ne connaissais pas très bien VHDL. Or, VHDL est très inspiré d'Ada, si bien qu'en utilisant et en apprenant Ada, j'approfondirais mes connaissances en VHDL.
De plus, Ada est un langage conçu et adapté aux gros projets. Et un compilateur n'est pas un petit projet.
Enfin, Ada est un langage « pensé » et cohérent; on apprend beaucoup en programmant en Ada.
- La partie de GCC permettant de générer du code est écrite en
C. As-tu rencontré des difficultés pour t'interfacer avec ce module ?

Effectivement, GCC est en C alors que le reste de GHDL est en Ada95. En fait, j'ai écrit un « binding » pour les fonctionnalités de GCC utilisées par le frontal. Ce « binding », que j'appelle AGCC (A comme Ada), consiste en un petit nombre de paquetages déclarants des fonctions ou des procedures de GCC. Il ne donne pas accès directement aux structures de données, tout doit passer par des sous-programmes. C'est un peu plus lent mais cela facilite l'écriture et la mise à jour du « binding ».
Pour ceux qui ne connaissent pas bien Ada95, il faut savoir qu'il comporte des fonctionnalités pour s'interfacer aisément avec d'autres langages.
- As-tu eu des retours d'expérience sur GHDL ? Sur AGCC ?
Je ne crois pas qu'AGCC soit utilisé dans d'autres projets.
Les utilisateurs jugent GHDL assez avancé car il compile quasiment tous leurs projets.
Par contre il y a très peu de contribution, car VHDL est un langage pour éléctroniciens, qui ne sont pas toujours des informaticiens. Ceci ne semble pas étonnant.
Enfin, il est sûr que le fait qu'il soit en Ada95 ne favorise pas les contributions, car ce langage n'est, hélas, pas très populaire.
Tristan, merci. J'espère que ton projet fera des émules et que
nous verrons fleurir beaucoup d'autres programmes écrits en Ada 95.

----
Liens:
- GHDL
- GCC (GNU Compilers Collection)
- Association Ada-France
- Liens VHDL
http://new.ada-france.org/?p=139
323 2003-03-21 UniParser 0.22 Victor Porton propose sous license LGPL un toolkit pour créer des interpréteurs (parsers) en Ada 95.
Une version commerciale ajoute le support et un tutoriel.

Voir en ligne : UniParser

http://www.ada-france.org/?p=323
321 2003-03-20 Mise à jour du livre « Ada Distilled » Richard Riehle enrichit son livre libre en anglais Ada Distilled avec de nouveaux exemples.
Un fichier zip d'accompagnement contient la plupart des sources du livre.

Voir en ligne : Ada Distilled

http://www.ada-france.org/?p=321
319 2003-03-20 Un binding Ada à l'API GPGME (GnuPG) Un binding Ada de l'API GnuPG Made Easy (GPGME) est disponible sur la page d'Andreas Almroth.
C'est sous license GMGPL.

Voir en ligne : adagpgme-0.4.0

http://www.ada-france.org/?p=319
317 2003-03-17 Version 20030309 des composants de Booch Les changements majeurs depuis la version 20030111 sont :
- Une nouvelle forme "Unmanaged" a été introduite, qui ne nécessite plus de fournir un "storage pool",
- et quelques changements dans la réalisation de BC.Support.Memory_Streams.

Voir en ligne : Booch Components

http://www.ada-france.org/?p=317
137 2003-03-13 Un moteur de recherche spécialisé Ada
Randy Brukardt a announcé la mise en service par AdaIC d'un moteur de recherche travaillant uniquement sur les sites Ada.
Il présente le gros avantage sur les moteurs de recherches classiques de ne pas ramener les centaines de pages contenant "ADA" sans rapport avec le langage.
Ce moteur référence déja plus de 25_000 pages de ces sites.
Son fonctionnement est expliqué ici.
http://new.ada-france.org/?p=137
135 2003-03-10 GWindows: développement rapide d'applications sous Windows
David Botton vient d'annoncer la sortie de GWindows 1.1, un cadre de développement rapide d'applications Windows disponible sous forme de logiciel libre.
GWindows vise à remplacer Visual Basic et Delphi en apportant la force d'Ada dans ce domaine:
- support d'UNICODE
- dialogues pour la gestion de fichiers, l'impression, etc.
- docking Windows
- applications ActiveX
- interface avec les bases de données
- liens avec COM/DCOM/COM+
GWindows fonctionne avec GNAT et utilise la même licence. Il est disponible à l'adresse ici. Des tutoriaux sont disponible à ici.
http://new.ada-france.org/?p=135
315 2003-03-06 Programme de la prochaine conférence AdaUK Le programme de la Ada UK User Group Spring Conference est disponible.

Voir en ligne : AdaUK

http://www.ada-france.org/?p=315
313 2003-03-06 Des idiomes Ada autour des ressources partagées Jim Rogers a publié sur AdaIC un article en anglais décrivant des idiomes sur le thème du partage de ressources, utilisant les types protégés.

Voir en ligne : Shared Ressource Design Patterns

http://www.ada-france.org/?p=313
311 2003-03-05 Une biographie sympathique d'Ada, comptesse de Lovelace. Une biographie d'Ada Lovelace figure sur le site des Internénettes.
Son ton libre change un peu des classiques!

Voir en ligne : Biographie d'Ada Lovelace

http://www.ada-france.org/?p=311
133 2003-03-04 Parler d'Ada hors du monde Ada...
Il est rare que les qualités d'Ada arrivent à des oreilles extérieures à notre communauté. Nous sommes pourtant tous convaincus que les initiatives de communication les plus productives sont celles qui sortent des cercles habituels.
Alors rendons homage à Trollhunter : il a posté en décembre sur LinuxFr un long article sur le très bon livre Concurrency in Ada de Burns et Wellings.
Peu importe que le livre ne soit pas sorti la semaine précédente, qu'il y ait des imprécisions ou même des horreurs dans les commentaires : cela montre sur un site à fort trafic que la bête est vivante, et qu'elle a belle allure.
Un exemple à suivre...
http://new.ada-france.org/?p=133
131 2003-03-03 Le logiciel libre : un mode de valorisation des logiciels issus de la recherche publique
La Direction des Relations Industrielles et du Transfert Technologique de l'université Université Pierre et Marie Curie (Paris 6)
organise Les Après-midi de la Valorisation,
Mardi 18 Mars de 14h à 19h, à l'amphithéâtre HERPIN, Bâtiment ESCLANGON, Campus Jussieu
Vous êtes cordialement invité à participer à cette demi-journée organisée
en une présentation de deux exemples illustrant ce mode valorisation, l'un
dans le domaine des outils de développement de logiciels en Ada et l'autre
dans celui des logiciels de CAO pour la conception de circuits intégrés
VLSI, suivie d'une table ronde.
Cette réunion s'adresse aussi bien à tous les chercheurs des laboratoires
de la recherche publique quelque soit leur domaine qu'aux industriels
collaborant avec ces laboratoires.
Pour plus d'informations, allez sur:
AMVAL
Programme
Plan
_______________________________________________
http://new.ada-france.org/?p=131
309 2003-02-28 Stood v4.3 disponible Stood est un outil de conception architecturale et détaillée pour la production de code et de documentation des logiciels critiques.
La version 4.3 est téléchargeable ici après enregistrement.
Cette version inclut entre autre un nouveau générateur de code Ada.

Voir en ligne : Stood

http://www.ada-france.org/?p=309
307 2003-02-27 Adabot : un robot pour le jeu RealtimeBattle Alfonso Acosta lance sur Savannah Adabot, un projet de robot en Ada pour le jeu RealtimeBattle.
Alfonso n'est pas encore un programmeur expérimenté en Ada,
et il vous propose de venir l'aider dans cet amusant projet.

Voir en ligne : Adabot

http://www.ada-france.org/?p=307
305 2003-02-27 Snapshot de GtkAda Pour les allergique à CVS, Jeffrey Creem met hebdomadairement en ligne un tar.gz de l'état en cours de GtkAda.

Voir en ligne : Latest GtkAda CVS Automatically Generated Snapshot

http://www.ada-france.org/?p=305
303 2003-02-21 Numéro «Programming Languages» de la revue CrossTalk Le numéro de février 2003
de la revue CrossTalk CrossTalk contient plusieurs articles très intéressants, et Ada y est au premier plan.

Voir en ligne : CrossTalk Frebruary 2003

http://www.ada-france.org/?p=303
301 2003-02-20 version Charles du 18/02/03 Matthew Heaney a publié une mise à jour Charles, sa bibliothèque de structure de données fortement inspirée de la STL de C++.

Voir en ligne : Charles Container Library

http://www.ada-france.org/?p=301
299 2003-02-18 Tash 8.4.1a La dernière version de Tash (binding Ada vers Tcl/Tk) est basée sur Tcl/Tk 8.4.1, et compile avec GNAT 3.15p.
La version Solaris n'est pas encore disponible.

Voir en ligne : Tash

http://www.ada-france.org/?p=299
297 2003-02-18 BUSH 0.9.2 Cette version apporte encore de nombreuses nouveautés, dont certaines spectaculaires pour un shell comme la possibilité de jouer des CD/wav/etc.
Ken O. Burtch cherche des volontaires pour porter BUSH sous Unix.

Voir en ligne : BUSH

http://www.ada-france.org/?p=297
295 2003-02-15 AdaSockets 1.5 AdaSockets 1.5 est disponible. Par rapport à la version 1.4.1, cette version est bien plus performante sur les gros paquets de données, aussi bien en TCP qu'en UDP ou en Multicast.

Voir en ligne : Site officiel d'AdaSockets

http://www.ada-france.org/?p=295
129 2003-02-15 AdaSockets
AdaSockets, développé par Samuel Tardieu, permet d'utiliser les sockets BSD depuis Ada sur plate-forme Unix, Linux, Windows et VMS, avec le compilateur GNAT. Les sockets TCP, UDP et Multicast sont prises en charge.
La page WWW d'AdaSockets permet de télécharger la dernière version et de s'abonner à la liste de diffusion.
http://new.ada-france.org/?p=129
127 2003-02-12 TAP (Thick Ada-Prolog) Bindings
TAP est une API à l'Amzi Logic Server.
Il permet l'utilisation d'interrogation Prolog depuis Ada aussi bien que l'utilisation de prédicats Ada depuis Prolog.
TAP a été testé sur Windows 2000 uniquement, mais le server Amzi Logic tournant également sous Solaris et Linux, un portage devrait être simple.
http://new.ada-france.org/?p=127
124 2003-02-10 ColdFrame

ColdFrame est un générateur de code sous license GPL pour outils UML.
Il utilise XML pour le stockage de la forme intermédiare, et le langage XSLT pour la génération de code, ce qui le rend adaptable à d'autres cibles qu'Ada.
http://new.ada-france.org/?p=124
122 2003-02-10 Zephyr Basecamp

Zephyr Basecamp (ZBC) est un logiciel libre de gestion d'entreprise.
Il utilise GtkAda, PostgreSQL, ODBC et GNADE.
http://new.ada-france.org/?p=122
293 2003-02-08 Article «Introduction to Ada 95» Benjamin Brosgol a publié au mois de décembre une brève introduction à Ada en anglais sur Embedded Systems Programming.

Voir en ligne : Introduction to Ada 95

http://www.ada-france.org/?p=293
120 2003-02-06 Se tenir au courant des nouveautés Le site Ada-France utilise un système de syndication, permettant d'intégrer un résumé des nouveautés sur votre site ou sur votre bureau.

Comme la plupart des sites réalisés avec
le système de publication SPIP,
le site d'Ada-France utilise la syndication. Ce système, basé sur les standards RDF (Rich Document Format) et RSS (Rich Site Summary) vous permet d'intégrer, sur votre bureau ou dans votre propre site WWW, toutes les nouveautés en provenance du site d'Ada-France.
Pour cela, vous pouvez par exemple utiliser un des logiciels décrits dans la page de l'Open Directory Project
et utiliser les paramètres suivants:
- le nom du site est «&nbsp;Association Ada-France&nbsp;»
- l'adresse pour la syndication est «&nbsp;http://www.ada-france.org/backend.php3&nbsp;»
Vous pouvez également vous restreindre à une rubrique précise du serveur. Par exemple, si vous souhaitez ne voir que les nouvelles relatives à l'administration de l'association, vous pouvez rajouter «&nbsp;?id_rubrique=1&nbsp» à la fin de l'adresse pour la syndication. Bien entendu, cela fonctionne également pour les autres rubriques.
Bonne syndication !
http://new.ada-france.org/?p=120
118 2003-02-06 CodeWorker

CodeWorker est un outils de génération de code souple et puissant grace à son langage de script et a ses multiples possibilités.
Il permet par exemple la génération de code a partir du format normalisé de stockage des modèles UML.
http://new.ada-france.org/?p=118
116 2003-02-06 Programme préliminaire d'Ada-Europe
Le programme préliminaire de la conférence Ada-Europe 2003 et le programme des tutoriaux de la conférence sont disponibles en ligne.
Rappelons que cette conférence à lieu à Toulouse,
ce qui la rend exceptionellement accessible pour nombre d'entre nous.
http://new.ada-france.org/?p=116
114 2003-02-05 Nouvelle version du casse-briques

Dans le groupe de discussion comp.lang.ada, Chad R. Meiners a indiqué que son casse-briques en Ada, utilisant SDL et disponible à l'adresse
ici, avait
été mis à jour:
- il ne nécessite plus le mode « plein écran »
- il relâche la souris en mode « pause»
Il cherche de plus des volontaires pour le tester sur un système Unix.
http://new.ada-france.org/?p=114
74 2003-02-02 Pour nous contacter Vous souhaitez nous contacter ? Rien de plus simple.

Pour tout ce qui concerne ce site web, envoyez un courrier électronique à ici en précisant l'objet de
votre demande et, le cas échéant, à quelle page vous faites
référence.
Pour toutes les questions concernant l'association, vous pouvez
vous adresser au conseil d'administration à l'adresse
ca AT ada-france POINT org

Merci pour vos retours.
http://new.ada-france.org/?p=74
36 2003-02-01 Comment obtenir de l'aide ?

Lorsqu'on utilise un langage de programmation, il est courant que l'on se pose des questions que d'autres se sont posées ou se posent encore. Pour cela existent les forums de discussion, véritables minutes d'information et de compétences.
Plusieurs forums de discussion sont consacrés au langage Ada. Le plus connu est le forum anglophone comp.lang.ada.
En français, le forum fr.comp.lang.ada
regroupe les utilisateurs du langage.
Pour ceux qui n'ont pas accès aux forums de discussion, des passerelles existent permettant d'y participer par courrier électronique:
- comp.lang.ada: ici
- fr.comp.lang.ada: ici
Les questions fréquemment posées (FAQ) de fr.comp.lang.ada ainsi que leurs réponses sont regroupées sur ici.
Pour terminer, la liste de diffusion de l'association Ada-France héberge des discussions techniques et non techniques entre passionnés du langage.
http://new.ada-france.org/?p=36
112 2003-01-29 FSMedit V3.1

FSMedit est un éditeur pour automate écrit par Christoph Grein.
Il permet de définir, simuler, comparer des automates, et de générer le code et de faire du reverse.
FSMedit est disponible dans les mondes Windows et Unix, avec une interface graphique batie grace respectivement à Claw et GtkAda.
http://new.ada-france.org/?p=112
34 2003-01-27 Conseil d'administration du 26 janvier 2003
Le conseil d'administration du 26 janvier 2003 investit
Pierre-Olivier Gaillard et Guillaume Foliard pour l'organisation
du concours de programmation Ada-France 2003.
http://new.ada-france.org/?p=34
110 2003-01-27 Bienvenue au site Ada en russe

www.ada-ru.org est un site sur Ada en russe. Souhaitons lui une grande popularité.
Fait remarquable, il est motorisé par AWS (Ada WEB Server).
http://new.ada-france.org/?p=110
72 2003-01-24 Exemple d'utilisation de DirectX 8 avec GNATCOM/GWindows
David Botton a mis un exemple simple de mise en oeuvre de DirectX 8 avec GNATCOM/GWindows.
Voici son annonce parue sur CLA :
I have created a simple DirectX 8 example using GNATCOM/GWindows at : http://www.adapower.com/gwindows/dx8-prj1.zip
Create the DirectX8 binding using the _latest_ version (I will be updating GNATCOM soon with the fixes, etc that are needed for DX8 and some other newer typelibs) of gbmanager.exe (the GUI ActiveX/COM/DCOM binding manager, part of GWindows) at http://www.adapower.com/gwindows/gbmanager.exe
I'd love to hear if any one does anything with this.
Thanks, David Botton
http://new.ada-france.org/?p=72
106 2003-01-20 Zlib.Ada 1.0

ZLib.Ada est un bindings Ada de la celebre bibliothèque C Zlib de compression/decompression.
http://new.ada-france.org/?p=106
108 2003-01-17 Les MW Components changent d'adresse

Mats Weber déplace ses composants à .
http://new.ada-france.org/?p=108
102 2003-01-12 Nouvelle release des composants Booch
Les Booch Components version 20030111 apportent quelques modifications techniques, et un passage en license GMGPL de la bibliothèque.
http://new.ada-france.org/?p=102
98 2003-01-11 Première version "stable" d'AdaOpenGL
David Holm a mis en ligne la version 0.9 d'AdaOpenGL.
Comme son nom l'indique, c'est un binding vers OpenGL.
Les versions prises en charge sont :
- OpenGL: 1.4
- GLU: 1.3
- glut: 3.7
- glX: 1.4
http://new.ada-france.org/?p=98
104 2003-01-06 VAD porté sur ObjectAda
VAD (Visual Ada Developer) est un GUI builder basé sur Tcl/Tk.
La version 6.0 est portée pour Aonix ObjectAda 7.2.
http://new.ada-france.org/?p=104
50 2002-12-29 Sortie de GNADE 1.4.1
Cette version de GNADE corrige des bugs et apporte entre autre :
- une interface ODBC
- un preprocessor SQL pour Ada 95
- l'interface Oracale Call
- un binding pour MySQL
- un bindings pour PostgreSQL
http://new.ada-france.org/?p=50
84 2002-12-22 P2Ada, un traducteur Pascal vers Ada
Gautier de Montmollin annonce un nouveau P2Ada .
P2Ada est un traducteur (Turbo/Borland/Delphi) Pascal vers Ada.
En passant par Mod2P, on peut aussi traduire du Modula.
http://new.ada-france.org/?p=84
76 2002-12-14 Le livre GNU Ada Run-Time sort en version 1.0
Javier Miranda annonce la version 1 de son livre libre (license GFDL) sur le run-time de GNAT.
Ce livre explique la réalisation des mécanismes dépendant du run-time (taches, exceptions, objets protégés, timer, etc.) dans GNAT.
http://new.ada-france.org/?p=76
52 2002-12-10 dia2code pour Ada
dia2code est un générateur de code à partir des diagrammes UML de dia.
Oliver Kellogg a mis en ligne une mise à jour de dia2code avec le support d'Ada .
Elle corrige des bugs, et ajoute le support des package UML et des stéréotypes Corba. Une version 0.8.2 est en préparation, et Oliver attend les suggestions et idées...
http://new.ada-france.org/?p=52
46 2002-12-04 Un jeux de casse brique pour AdaSDL

Chad R. Meiners met en ligne un casse brique en Ada, ABricks.
Ce jeux sert de test à la bibliothèque AdaSDL.
http://new.ada-france.org/?p=46
54 2002-12-04 AdaGIDE 7.00
AdaGIDE (Ada GNAT Integrated Development Environment) est un IDE pour GNAT avec un éditeur colorisant en fonction du contexte et un reformateur de code.
Il fonctionne sur Windows 95, 98, ME, NT, 2000 et XP.
La version 7 apporte son lot d'améliorations, et entre autres le support de la cible .NET.
http://new.ada-france.org/?p=54
62 2002-12-04 A# : Ada dans l'environnement Microsoft .NET

.NET est un framework proposée par Microsoft principalement pour le développement d'application web. Un de ses buts principaux est l'interopérabilité entre langage.
A# est un portage Ada sous license GPL sur la plateforme .NET. A# permet à un programme Ada d'utiliser les librairies de .NET quelque soit leur langage de rédaction, et inversement de proposer des composants Ada de façon transparente.
http://new.ada-france.org/?p=62
48 2002-12-03 Ada Registry

Ulrich Eckhardt nous livre Ada Registry, son API Ada pour accéder aux informations de configuration, avec une réalisation pour Unix et Windows.
Cette API indépendante de la plateforme est sous license GPL.
http://new.ada-france.org/?p=48
64 2002-12-01 GHDL : un front-end VHDL pour GCC

GHDL est un simulateur VHDL utilisant la technologie GCC.
http://new.ada-france.org/?p=64
40 2002-11-29 Comment apprendre un nouveau langage?
Dans son article How to Learn a New Programming Language , Joe Marasco explique sa méthode pour aborder un nouveau langage: en résumé, il répond au même cahier des charges pas trop trivial dans chacun des langages.
A noter, sa remarque sur Ada: "my Ada implementation was done in record time".
Et dire que certains invoquent les côtés de formation pour bannir Ada...
http://new.ada-france.org/?p=40
56 2002-11-21 Sortie des Semtools (Adasubst/Adadep) v1.1
Adadep et Adasubst sont des outils ASIS réalisés par Jean-Pierre Rosen pour faciliter la réorganisation des logiciels (refactoring) en Ada.
Adadep détaille quels éléments d'autres paquetages sont réellements utilisés.
Adasubst permet de déplacer ou de renommer intelligement des éléments.
http://new.ada-france.org/?p=56
58 2002-11-18 Sortie de GNAT 3.15p
Arnaud Charlet a annoncé la disponibilité de GNAT 3.15p.
Les nouveautés sont décrites ici
http://new.ada-france.org/?p=58
60 2002-11-18 Rhapsody In Ada
I-Logix annonce Rhapsody In Ada dans Rhapsody 4.1.
Rhapsody est une plateforme de développement UML.
http://new.ada-france.org/?p=60
66 2002-11-15 Klokka 1.0
Preben Randhol a annoncé la version de Klokka 1.0, une simple horloge qui illustre l'utilisation de GtkAda et des taches.
http://new.ada-france.org/?p=66
68 2002-10-18 Sortie de Cheddar 1.2p0
Frank Singhoff a annoncé au nom de l'équipe LIMI/EA2215 la disponibilité de Cheddar 1.2p0.
Cheddar est un simulateur d'ordonnancement temps-réel.
Il est destiné à l'enseignement et au prototypage rapide d'ordonnancement temps-réel.
http://new.ada-france.org/?p=68
70 2002-10-02 BUSH version 0.9.1
Ken O. Burtch a annoncé la sortie de son étonnant shell écrit en Ada, BUSH, en version 0.9.1.
BUSH est un équivalent de BASH ou de CSH permettant de faire des scripts sures et fiables sous Linux/UNIX.
En effet, AdaScript est un language typé, quasiment un sous-ensemble d'Ada.
Les AdaScripts sont donc en plus facilement compilables.
http://new.ada-france.org/?p=70
38 2002-09-23 Article "Introducing Ada" sur CodeMages

Jim Rogers a écrit un article d'introduction à Ada en anglais sur le site "The CodeMages Community".
Introducing Ada
http://new.ada-france.org/?p=38
44 2002-09-12 Bibliothèque de calcul avec vérification des dimensions Christoph Grein propose sa bibliothèque de calcul avec vérification des dimensions sous license libre.

Voici l'annonce publiée par Christoph Grein sur CLA (traduite de l'anglais):
Le cracker d'unités SI ultime est là!
Le besoin de calculer des grandeurs physiques, avec vérification des dimensions, a toujours existé, mais moi, toutes mes précédentes tentatives m'ont semblé insuffisantes, et il y en a eu beaucoup. Maintenant c'est là, avec toute la généralité requise, même avec les puissances arbitraires et les racines.
Oui, cela consomme beaucoup à l'exécution puisque la dimension est un attribut. Non, ce n'est pas interdit dans les systèmes temps réel durs. Oui, on peut l'utiliser dans des conditions temps réel à condition de bien s'y prendre. Oui, on peut facilement éliminer les dimensions, il ne reste alors plus que des nombres purs.
C'est livré sous license GMGPL. Profitez-en!
Texte original:
The ultimate SI Units cracker is there !
There has always been a demand to be able to compute with physical items where correctness of dimensions is checked, but to me, all previous attempts seemed unsatisfactory (and there were many) - now it's there, in full generality, including arbitrary powers and roots.
Yes - it's run-time consuming since the dimension is an attribute No - it's not precluded from being used for hard real-time systems Yes - it can be applied under hard real-time conditions if it's done correctly Yes - it's easy to switch off dimensions - only pure numerics remains
It has been released under GMGPL. Enjoy...

Le lien:
http://www.christ-usch-grein.homepage.t-online.de/Ada/SI.html
http://new.ada-france.org/?p=44
32 2001-12-05 Résultats du concours 2001 Les prix du concours 2001 ont été remis lors de l'assemblée générale de l'association Ada-France du 4 décembre 2001.

Les prix suivants ont été remis lors de l'assemblée générale du 4 décembre 2001:

Premier prix


CS remet le 1er prix d'une valeur de 1500 € à François Godmé pour AdaPlugins.
AdaPlugins permet de créer un éxecutable qui charge à l'exécution des classes Ada.
Il est sous licence ACL, téléchargeable sur gnuada.org.

Deuxième prix


Aonix remet le 2ième prix d'une valeur de 1200 € à Quentin Ochem pour Fenillator.
Fenillator est un compilateur de BNF, qui produit un vérificateur de syntaxe et un interpréteur.
Il est sous licence GPL.

Troisième prix


ACT Europe remet le 3ième prix d'une valeur de 1000 € à Pascal Pignard pour Blady.
Blady est un compilateur d'automate.
Il est sous licence GPL.

Quatrième prix


Rational remet le 4ième prix d'une valeur de 800 € à Guillaume Feneuille pour TestAda.
TestAda permet de réaliser simplement des QCM.
Il est sous licence GPL.
http://new.ada-france.org/?p=32
30 2001-12-05 Conseil d'administration du 4 décembre 2001

Élection du Bureau


5 membres présents plus une procuration
- Président : L. Draghi (5 pour, 1 contre)
- Trésorier : S. Tardieu (unanimité)
- Secrétaire : L. Pautet (unanimité)

Actions à mener


- Faire le compte-rendu de l'AG et du CA + envoi au JO (qui: secrétaire)
- Mise à jour du site WWW avec la nouvelle composition du bureau et du CA, ainsi que du compte-rendu de l'AG et du CA (qui: un des deux webmasters, L. Draghi ou F. Kordon)
- Transfert de signature sur le compte bancaire (qui: l'ancien et le nouveau président, une fois l'enregistrement au JO fait; en attendant, le trésorier récupérera les moyens de payement)
- Étudier l'opportunité du changement d'adresse (qui: le CA)
- Signaler le changement d'adresse postale pour l'envoi des documents Ada Europe (Ada Letters, ...) (qui: le président et E. Forterre pour l'adresse)
- Étudier la possibilité de rendre le site WWW plus coopératif (qui: L. Draghi et S. Tardieu)
- Proposer une configuration de serveur à acheter et une solution d'hébergement (qui: S. Tardieu)
http://new.ada-france.org/?p=30
28 2001-12-05 Assemblée générale du 4 décembre 2001

Rapport Moral


Période 2000/2001 présentée par F. Kordon
-* Concours
-** satisfaction d'avoir mené à bien le concours
-** annonce de la décision de recommencer l'année prochaine
-** remboursement éventuel des déplacements des gagnants
-* Ada-Europe
-** co-organisation d'Ada Europe 2003 à Toulouse
-** remerciement à Agusti
-* F. Kordon n'assumera pas de rôle actif dans la prochaine mandature

Rapport Financier


Période 2000/2001 présentée par S. Tardieu
- l'association se porte bien
- le serveur de l'association va pouvoir être acheté
- le consensus sur le fait que l'association continue à prendre en charge les frais bancaires liés à l'adhésion d'un membre étranger, pour permettre notamment aux français expatriés de ne pas payer plus cher; ce problème disparaîtra dans 6 mois pour les Européens, car les frais bancaires intra-europe seront supprimés
- le concours a été une opération à coût nul pour l'association

Nom du compte Solde
Actif(Avoirs)
Avoirs
Compte courant EUR 6,980.02
Total Avoirs EUR 6,980.02
Total Actif(Avoirs) EUR 6,980.02
Total EUR 6,980.02
Pertes et profits - 1. 1.2000 à 4.12.2001
Total Revenus EUR 6,542.98
Total Revenus EUR 6,542.98
Dépenses
Depenses
Ada Europe EUR 769.70
Concours EUR 1,524.49
Frais bancaires EUR 20.55
Divers EUR 257.78
Total Depenses EUR 2,572.52
Total Dépenses EUR 2,572.52
Profits: EUR 3,970.46

Votants: 13
- Contre : 0
- Ne se prononce pas : 0

Renouvellement du Conseil d'Administration


Votants: 13
-* A. Canals
-** Contre : 0
-** Ne se prononce pas : 0
-* L. Draghi
-** Contre : 0
-** Ne se prononce pas : 0
-* E. Forterre (chargé des envois des documents pour les adhérents)
-** Contre : 0
-** Ne se prononce pas : 0
http://new.ada-france.org/?p=28
78 2001-11-20 Conservatoire National des Arts et Métiers (CNAM)

Algorithmique Programmation


Le cours Algorithmique Programmation est une unité de valeur du tronc commun du DUT du CNAM. Elle utilise le langage Ada comme support pour enseigner les bases de la programmation en insistant sur les aspects sémantiques. Ce cours est dispensé suivant plusieurs modalités dont l'enseignement à distance, les cours du soir et les cours de jour. La présente inscription et l'URL données, ainsi que le contact sont ceux du cours à distance. Ce cours utilise surtout internet. Il suppose la présence de l'étudiant au CNAM Paris une douzaine de fois dans l'année. Les supports de cours sont en accès libre sur le web.
-* Contact: François Barthélemy
-* URL: ici
-* Coordonnées:
_ Conservatoire National des Arts et Métiers
_ 292 rue Saint-Martin
_ 75003 Paris
_ Téléphone: +33 1 40 27 23 30

Structures de données


On décrit les principes des structures séquentielles et des structures arborescentes et on en donne des implantations contigues et chaînées en Ada95. Une deuxième partie montre la construction de six algorithmes de tri de listes contigues en Ada95. Une troisième partie met en oeuvre les implantations des arbres de recherche, arbres AVL et B-arbres en utilisant Ada 95. Nombreux exercices proposés. Outre les supports de cours proposés dans l'URL, le cours s'appuie sur le livre Structures de données en Java, C++ et Ada95, C. Carrez, Dunod, 1997.
-* Contact: Christian Carrez
-* URL: ici
-* Coordonnées:
_ Conservatoire National des Arts et Métiers
_ Département informatique
_ 292 rue Saint-Martin
_ 75192 Paris Cedex 03
_ Téléphone: +33 1 40 27 27 02
http://new.ada-france.org/?p=78
80 2001-11-20 Centre Universitaire d'Évreux
Ada est utilisé comme langage d'introduction à la programmation et à l'algorithmique en DEUG (SM et MIAS).
-* Contact: Pierre Valarcher
-* Coordonnées:
_ Centre Universitaire d'Évreux
_ 1 rue du 7ème Chasseur
_ BP 281
_ 27002 Évreux CEDEX
_ Téléphone: +33 2 32 39 90 72
http://new.ada-france.org/?p=80
88 2001-11-19 IUT d'Aix
Ada est enseigné dès le début de la première année. Il sert aussi de support à l'algorithmique. On utilise aussi GtkAda. Le cours est récupérable au format PDF (230 pages 1 Mo !).Le cours est fait sur 14 semaines (4h/semaine) et les TD TP aussi (8 à 12h). Un CD-ROM est distribué aux étudiants. Nous utilisons GNAT (Linux et Windows NT). Nous sommes très heureux du choix d'Ada qui date de 1988.
-* Contacts: Daniel Feneuille et Thierry Avignon
-* URL: ici
-* Coordonnées:
_ IUT département informatique
_ Avenue Gaston Berger
_ 13625 Aix en Provence Cedex 01
_ Téléphone: +33 4 42 93 90 43
http://new.ada-france.org/?p=88
82 2001-11-19 École Nationale de l'Aviation Civile
Enseignement en deuxieme année de la promotion d'ingénieur (filière S, informatique et traffic aérien). Une vingtaine d'heures de cours magistraux concerne la partie mono-tache. Il faut ensuite compter une douzaine d'heures pour la partie multi-taches. Une trentaine d'heures de TD et TP sont prévues pour chaque étudiant. Ce module se termine par un mini-projet (environ 30 heures programmées) où l'utilisation du langage Ada doit etre prépondérante.
-* Contact: Éric Blond
-* URL: ici
-* Coordonnées:
_ ENAC
_ 7, avenue Édouard Belin
_ BP 40-55
_ 31055 Toulouse CEDEX 04
_ Téléphone: +33 5 62 17 40 00
http://new.ada-france.org/?p=82
86 2001-02-19 IUT ORSAY
Formation de base de programmation dans le cadre de l'Année Spéciale pour la préparation au DUT Informatique en 1 an. Public: Titulaires de diplômes équivalents Bac + 2. Ada est utilisé comme premier langage.
-* Contact: Martine Rousseau
-* Adresse:
_ IUT
_ Département Informatique
_ 91405 ORSAY Cedex
-* Téléphone: +33 1 69 33 86 30
http://new.ada-france.org/?p=86
42 2001-01-29 Ada, un langage d'architecte?
publié sur the Rational Edge, l'article Rules for Software Design de Koni Buhrer décrit une architecture logicielle universelle.
Retenons au moins cette mention : "Aucun des langages de conception et des outils de modélisation ne représente de façon adéquate l'ensemble d'un système logiciel. Il existe, en revanche, un langage assez puissant et flexible pour réaliser tous les éléments et aspects d'un système logiciel : Ada."
Version originale : "None of the design languages and modeling tools currently in use is adequate for developing and representing an entire software system. There is, however, a programming language powerful and versatile enough to implement all elements and aspects of a software system: Ada."
http://new.ada-france.org/?p=42
90 2000-11-11 Ada et le Logiciel Libre, journée du 10 novembre 2000
La journée "Ada et le Logiciel Libre" a été co-organisée à
l'ENST par l'association Ada-France et
l'AFUL le 10 novembre 2000.
Cette journée a réuni 32 personnes. Les débats ont été aussi intéressants, animés et instructifs que les différents exposés qui ont été présentés. Certains transparents sont récupérables à la fin de cet article.
http://new.ada-france.org/?p=90
26 2000-03-31 Assemblée générale du 30 mars 2000

Rapport Moral


-* Periode 98/99 : 26 adherents
-* Fin du reliquat d'Ada-Europe 1992. Plus d'adhesion automatique désormais à Ada-Europe.
-* Reunions de travail:
-** Journees IHM (5/3/1999)
-** Ada et Internet (16/9/1999)
-** Ada et enseignement avec SPECIF (30/3/2000)
-* Relais de l'Ada NewsLetter
-* Services Internet:
-** Nouveau domaine (ada-france.org)
-** Promotion de logiciels libres (GtkAda, Xemacs, AdaBroker)
-** Informations sur les reunions (publications des actes)
-* Siege Social: Transfert au LIP6
-* Renouvellement du Conseil d'Administration
-** Depart de L. Guerby
-** Depart de Y. Kermarrec
-** Candidatures de A. Canals (renouvellement), L. Draghi.
-* Activités à assurer:
-** Gestion de la conference annuelle
-** Gestion des conferences thematiques
-** Gestion de la bourse aux emplois / stages
-** Gestion de la revue electronique

Rapport Financier


| Recettes | Dépenses |
| +1737,92 EUR (Adhésions) | |
| | -35,06 EUR (Création de l'association) |
| | -65,51 EUR (Réservation de ada-france.org) |
| | -84,60 EUR (Frais de Poste) |
Balance: +1552,76 euros

Discussion sur les projets possibles


- Achat d'un nouveau materiel en remplacement de celui prete pour l'instant gracieusement par ENST.
- Lancement d'une competition de projets faits par des étudiants. Financement a trouver.
- À cette fin, incitation a faire adherer des entreprises. Vitrine sur les projets en Ada.
- De la même manière, catalogue d'outils disponibles pour Ada.
- Miroir des sites Ada interessants dans le cas d'une machine hors ENST.
- Adhesion automatique des enseignants "bienfaiteurs"

Renouvellement du Conseil d'Administration


Votants: 13
Rapport Financier:
- Contre : 0
- Ne se prononce pas : 0
Conseil d'Administration:
-* A. Canals
-** Contre : 0
-** Ne se prononce pas : 0
-* L. Draghi
-** Contre : 0
-** Ne se prononce pas : 0
http://new.ada-france.org/?p=26
92 2000-03-31 Ada et Enseignement, journée du 30 mars 2000
L'objectif de ces journées, organisées conjointement par SPECIF et Ada-France, est de faire le point sur l'expérience d'Ada en France (dans les différents domaines couverts par le langage) mais aussi des besoins des industriels dans ce domaine.
Cette journée a réuni 33 personnes. Les débats ont été aussi intéressant et instructifs que les différents exposés qui ont été présentés.
Les documents des auteurs ayant bien voulu nous les fournir sont
disponibles à la fin de cet article.
http://new.ada-france.org/?p=92
94 1999-09-17 Ada et Internet, journée du 16 septembre 1999
Les actes de la conférence, qui a eu lieu à l'ENST de Bretagne sont disponibles au format PDF.
Le programme était:
- Jean-Pierre Rosen: "Ada pour développer sur Internet"
- Scott Moody: "Ada and the Internet: Information Linking, Agents and the scale of the Web"
- Thomas Quinot: " CIAO: Opening the Ada 95 Distributed Systems Annex to CORBA Clients"
- Emmanuel Briot: "JGNAT: The GNAT Ada 95 environment for the environment for the JVM"
http://new.ada-france.org/?p=94
96 1999-03-06 Interfaces Homme-Machine, journée du 5 mars 1999
La journée "Interfaces Homme-Machine" organisée par Ada-France
a eu lieu le 5 mars 1999 à l'ENST.
http://new.ada-france.org/?p=96
24 1998-09-12 Conseil d'administration du 11 septembre 1998

Présents


- Canals Agusti
- Kordon Fabrice
- Pautet Laurent
- Tardieu Samuel

Modalités de fonctionnement des CA virtuels


-# Les Conseils d'Administration Virtuels (CAV) sont convoqués par un courrier électronique provenant des membres du bureau. Ces CAV comportent un certain nombre de questions auxquelles tous les membres du Conseil d'Administration sont appelés à se prononcer (proposition d'idées ou vote). Il ne peut y avoir plus d'un CAV en cours.
-# Les CAV ont une durée de deux semaines (14 jours) à partir de son lancement (par courrier électronique). Le mail de lancement du CAV comporte un ordre du jour sous la forme de points composés de questions et de vote (questions à choix multiples). Les 11 premiers jours de discussion sont consacrés à la mise au point de l'ordre du jour et des propositions qu'elle comporte. Les 3 derniers jours sont consacrés au vote proprement dit.
-# Si, au terme de la première période de 11 jours, un membre du Conseil d'Administration ne se prononce pas, il est réputé ne pas avoir d'opinion sur le sujet. Si, dans la seconde période de 3 jours, un membre du Conseil d'Administration ne vote pas, on considère qu'il s'abstient.
-# Un membre du Conseil d'Administration qui ne répond ni ne vote à trois CAV de suite est considéré comme démissionnaire.
Les 4 articles ont été approuvés par 4 voix pour, 0 contre, 0 abstentions.

Organisation des réunions thématiques sur Ada


Le Conseil d'administration d'Ada France (http://ada.eu.org/) prépare actuellement la prochaine réunion de travail thématique (ouverte à tous) qui aura lieu prochainement (probablement en novembre 98). Lors de cette réunion, nous souhaitons aborder le thème suivant:

Outils et bibliothèques graphiques pour Ada


Cette proposition a été adoptée par 4 voix pour, 0 contre, 0 abstentions.
Nous recherchons des propositions d'intervention sur ce thème. Si vous souhaitez nous proposer une présentation, merci de nous fournir:
- Nom, prénom, société ou organisme de l'intervenant,
- Description du projet (20 lignes),
- Modalités d'application pour le langage Ada,
- Les 3 idées fortes de votre présentation,
- Le nom de l'outil et (ou) de l'environnement utilisé.
Merci d'envoyer vos propositions à ca@ada.eu.org avant le 15 octobre, la liste des présentations retenues sera établie pour le 31 octobre avec l'ordre du jour complet (lieu, durée, intervenants ...).

Organisation de la conférence annuelle (successeur de Brest'97)


L'objectif est de lancer l'organisation cette conférence, en particulier les appels à communications (s'il y en a), les contacts avec les intervenants et les industriels etc. A priori, certains points devraient être discutés rapidement:
- Le choix d'une date,
- Le choix d'un lieu,
- La nomination d'un comité de programme,
- La forme que prendra l'annonce (appel à communications? appel à tutoriaux?)
Y. Kermarrec transmet au Conseil d'Administration un courrier électronique dans lequel il annonce qu'il s'occupera activement de régler ces aspects dès son retour, vers la fin Septembre. En conséquence, ce point de l'ordre du jour est reporté au prochain CAV.

Organisations des activités sur Internet


L'objectif est de lancer l'activité sur Internet. Ce point est jugé extrêmement important par le CA. Parmi ces activités ont été évoqués lors de précédentes discussions:
- Re-diriger le groupe de news sur la mailing liste,
- Lancer la revue électronique, et un appel à communications,
- Lancer la bourse aux emplois et stages.
Pas de contributions de Laurent Guerby qui est censé traiter ce sujet.

Positionnement vis à vis de l'AFSTI


Suite à la réception d'un courrier électronique annonçant la création prochaine de l'AFSTI (Successeur de l'AFCET), F. Kordon propose que l'on mette la proposition d'une réponse à l'ordre du jour du prochain CAV. La proposition est adoptée à 3 voix pour, 1 contre, 0 abstentions.
http://new.ada-france.org/?p=24
22 1998-05-14 Assemblée générale du 13 mai 1998

Présents


- Annic Philippe
- De Bondeli Patrick
- Canals Agusti
- Canazzi Dominique
- Guerby Laurent
- Kaiser Claude
- Kordon Fabrice
- Lamarche Guy
- Pautet Laurent
- Rosen Jean-Pierre
- Sautereau Christian
- Simon Claude
- Tardieu Samuel

Ordre du Jour


- Principes Fondateurs par F. Kordon (président)
- Election du Conseil d'Administration
- Déplacement du Siège Social
- Adhésion à Ada-Europe
- Information sur l'AFTSI
- Question diverses: J-P. Rosen demande à évoquer les travaux de l'AFNOR concernant Ada.

Principes Fondateurs



Election du Conseil d'Administration


Il est rappelé que l'élection du CA ne se fait pas par poste, et que l'affectation sur les postes se fait lors de la première réunion du nouveau CA.
Sont élus:
- Canals Augusti
- Guerby Laurent
- Kermarrec Yvon
13 votants, 1 abstention (Guerby), 0 contre.

Déplacement du Siège Social


Dans un premier temps, le siège social avait été fixé chez F. Kordon afin accélérer la procédure de déclaration de l'association. Le nouveau siège social sera l'ENST. Une demande a été faite auprès de l'administration. Cette demande est en bonne voie. Le choix a été déterminé par des raisons de proximité géographique du président, du trésorier et du secrétaire.
Le déplacement du siège social est voté à l'unanimité. 13 votants.

Adhésion à Ada-Europe


À titre d'information, il faut savoir que l'adhésion à Ada-Europe a été décidée par le précédent CA afin de faciliter l'inscription des membres d'Ada-France à la conférence Ada-Europe. Cette décision pourra être remise en question l'année prochaine par le nouveau CA.
À cette occasion, J-P. Rosen signale qu'un reliquat d'argent appartenant à Ada-France est détenu par Ada-Europe. Le CA remercie J-P. Rosen d'avoir apporté les exemplaires restants de la lettre d'Ada-Europe..

Information sur l'AFTSI


F. Kordon fait un compte rendu des réunions de l'AFTSI (association un peu similaire à l'AFCET récemment dissoute). Il semble que les objectifs de cette association soient encore peu clairs et qu'il soit préférable de continuer la mise en place d'Ada-France. Un rapprochement vers AFTSI semble très prématuré.

A propos de la traduction du LRM


J-P Rosen évoque le problème de la traduction du LRM en français, traduction que l'AFNOR serait prête à reprendre, voire même à financer (le LRM-83 a été un best seller et on peut imaginer la même chose pour le LRM Ada-95). L'idée serait de s'associer avec Ada-France sur ce projet (l'AFNOR apportant un appui financier et Ada-France assurant le suivi de l'opération en elle-même). Au cours de la discussion qui s'ensuit, plusieurs points émergent:
- Un travail a déjà été effectué par une équipe sous la direction d'A. Strohmeyer. Ce travail peut être récupéré mais à deux conditions: 1) que le nom des auteurs soit cité, 2) que le travail soit disponible librement sur Internet (en clair, il ne peut pas qu'être vendu, même à bas prix),
- La participation d'Ada-France au projet de LRM français est acquise à condition qu'une version libre soit disponible sur Internet (par exemple, au format HTML)
- L'un des éléments important de ce LRM est le glossaire des termes Ada-95 en français. Il est vivement souhaité que ce glossaire soit rapidement mis à disposition sur le site Web d'Ada-France.

Discussion


Au cours de la discussion qui suit l'ordre du jour l'aspect promotion du langage est évoqué. Pour l'instant, l'association qui se monte n'est pas encore capable d'assurer pleinement cette fonction qui suppose une visibilité importante (visibilité que l'on souhaite obtenir via les activités Internet). Dans ce cadre, C. Kaiser propose la promotion du langage à travers la diffusion de cours estampillés Ada-France (disponibles entre autres sur le site web de l'association). Ces cours pourraient non seulement porter sur Ada mais aussi des points comme la programmation répartie ou le temps réel. L'objectif est de montrer qu'Ada est aussi un très bon support pour l'apprentissage.
http://new.ada-france.org/?p=22
20 1998-04-08 Assemblée générale constituante du 7 avril 1998

Cotisations


- Chômeur / Retraité / Étudiant: 100F
- Personne individuelle: 200F
- Personne adhérant au nom d'une organisation: 400F
- Personne morale: 5000F
- Membre bienfaiteur: 10000F.
De plus, le renouvellement de l'adhésion sera proposé à chaque date anniversaire.

Prestation Supplémentaire


- Adhésion a Ada-Europe: 100F (15 euros)
- Envoi postal des publications: 50F

Règlement Intérieur


- Adoption du régime de cotisations (voir plus haut)
- Adhésion à Ada-Europe pour 1998 (ceci pour régler temporairement les inscriptions à Ada-Europe'98). Une remise en cause de cette adhésion sera faite dans un an.
- Composition du conseil d'administration: 7 membres.
-* Président
-* Secrétaire
-* Trésorier
-* Organisateur de la conférence générale
-* Organisateur des réunions de travail
-* Organisateur des publications
-* Organisateur de la bourse aux stages et emplois
Le CA convoque la prochaine assemblée générale pour le Mercredi 13 Mai 15h00 à Jussieu.
http://new.ada-france.org/?p=20
10 1998-02-27 Statuts de l'association Ada-France L'association Ada-France a pour objet de regrouper les utilisateurs du langage Ada, en vue de partager expériences d'utilisation et points de vues. Pour cela, elle coordonne les interactions entre les membres de l'association et organise des manifestations propices à ces échanges et à la promotion du langage Ada.

Préambule


Les membres fondateurs de l'association, et toutes personnes physiques et morales qui adhèrent aux présents statuts forment par la présente une association régie par la loi du 1er juillet 1901 et le décret du 16 août 1901, et établissent les statuts de manière suivante.

Article 1 - Dénomination


La dénomination de l'association est « Ada - France ».

Article 2 - Objet


Cette association a pour objet de regrouper les utilisateurs du langage Ada, en vue de partager expériences d'utilisation et points de vues. Pour cela, elle coordonnera les interactions entre les membres de l'association, organisera des manifestations propices à ces échanges et à la promotion du langage Ada.
L'association est indépendante des constructeurs, fournisseurs de produits et prestataires de services.
L'association est neutre, et n'a donc aucun caractère religieux ou politique. L'association pourra réaliser toutes opérations liées directement ou indirectement à son objet, notamment pour favoriser la logistique, la diffusion et le développement de ses activités, au service de ses adhérents et/ou de son objet. L'association pourra gérer tout équipement ou personnel, et acheter, exploiter, valoriser, vendre des concepts, &oelig;uvres intellectuelles, ainsi que tous les droits dérivés de ses activités.
L'association pourra adhérer à une association dont le but est de même nature. Une telle décision est validée par l'Assemblée Générale sur proposition du Conseil d'Administration.

Article 3 - Siège social


Le siège social est fixé à Paris (75).
Il pourra être transféré en tout autre lieu sur simple décision du Conseil d'Administration.

Article 4 - Durée


La durée de l'association est illimitée.

Article 5 - Moyens d'action


L'association pourra mettre en oeuvre tous les moyens et techniques propres à la réalisation de son but, établir des conventions avec tous organismes publics, semi-publics ou privés, personnes physiques ou morales, acquérir et gérer un patrimoine immobilier et/ou mobilier.
L'association pourra céder, concéder, louer tout ou partie de son savoir-faire, de son patrimoine immatériel à toute structure qui serait mieux adaptée à la réalisation de ses objectifs.

Article 6 - Composition & cotisations


L'association se compose de personnes physiques ou morales. Les personnes physiques doivent être majeures de 18 ans. Des dérogations exceptionnelles peuvent être demandées au Conseil d'administration. Au cas ou une dérogation serait accordée, une autorisation parentale ainsi qu'une décharge de responsabilité seront obligatoirement et préalablement fournies.
* 1. membres fondateurs: sont appelées membres fondateurs les personnes ayant fondé l'association. Les membres fondateurs sont soumis au régime des membres cotisants.
* 2. membres d'honneur: sont appelées membres d'honneur les personnes physiques ou morales qui auront rendu des services éminents à l'association. Ils sont désignés par l'Assemblée Générale, sur proposition du Conseil d'Administration. Les membres d'honneur peuvent être dispensés de cotisation sur décision de l'Assemblée Générale.
* 3. membres bienfaiteurs: sont appelées membres bienfaiteurs les personnes physiques ou morales qui acquittent une cotisation annuelle particulière, déterminée par le Conseil d'Administration.
* 4. membres cotisants: sont appelées membres cotisants les personnes physiques ou morales qui acquittent une cotisation fixée par le Conseil d'Administration et n'appartiennent à aucune autre catégorie de membres. Cette cotisation peut être fixée à des valeurs différentes selon que le membre appartient à certaines catégories pré-établies : personne morale à travers leur représentant légal, étudiants/chômeurs/retraités, personnes individuelles.
Les membres doivent être majeurs. Le Conseil d'Administration décide du nombre et des niveaux de cotisation pour les membres, selon leur catégorie.

Article 7 - Adhésion


Les membres s'engagent à ne pas profiter de leurs activités dans l'association pour avantager leur société ou organisation.

Article 8 - Perte de la qualité de membre


La qualité de membre se perd:
pour tous les membres,
- par décès, ou, pour les personnes morales, la dissolution
- par démission adressée au siège de l'association
- par exclusion prononcée par le Conseil d'Administration, dans le respect des droits de défense, le membre ayant été invité à se défendre: pour faute grave, comportement portant préjudice matériel ou moral à l'association ou de nature à nuire à la bonne réputation de l'association, infraction aux statuts ou au réglement intérieur, ou tout autre raison. Pour cela, un vote du Conseil d'Administration doit avoir lieu et regrouper la majorité des 2/3,
- par le non paiement de la cotisation malgré au moins un rappel de paiement demeuré infructueux.
Dans tous les cas, la ou les cotisations déjà payées restent acquises à l'association.

Article 9 - Responsabilité des membres


Les associés ne sont tenus qu'à raison des engagements statutaires qu'ils ont pris. Ils peuvent cependant être tenus personnellement aux dettes sociales, s'ils contractent à titre personnel ou si, dirigeants, ils outrepassent leurs fonctions ou n'agissent pas dans le cadre de l'objet de l'association.

Article 10 - Ressources


Les ressources de l'association se composent des cotisations de ses adhérents, des subventions des institutions et établissements publics ou semi-publics, du produit des dons manuels aux associations par des personnes privées ou morales prévues par la loi, des apports en nature, en assistance à son objet, des ressources propres de l'association provenant de ses activités ou de ses publications, des appels de fonds et/ou des remboursements des avances, perçues en contrepartie de prestations liées à l'accomplissement de ses moyens d'action, des revenus de ses biens de placement, et de toute autre ressource ou subvention qui ne serait pas contraire aux lois en vigueur.
Il sera tenu au minimum une comptabilité en recettes et dépenses de toutes les opérations financières. En cas de subventions publiques et/ou semi-publiques, l'association devra satisfaire aux obligations légales qui en découlent. Une fois par an, le Trésorier présentera les comptes à l'Assemblée Générale pour approbation.

Article 11 - Administration


L'association est administrée par un Conseil d'Administration composé d'une part des membres fondateurs, d'autre part de membres élus pour deux ans par l'Assemblée Générale, pour un total de trois membres au moins et neuf membres au plus, en respectant la condition d'un nombre impair d'administrateurs (sauf éventuellement en cas de vacance en cours de mandat).
Toutefois, en cas de crise grave de l'association, l'administration pourra être effectuée pendant le temps nécessaire par un seul représentant légal désigné préalablement par le Conseil d'Administration parmi le Secrétaire, le Trésorier ou le Président.
Les membres du Conseil d'Administration sont:
- les membres fondateurs;
- les personnes physiques, membres cotisants, d'honneurs ou bienfaiteurs inscrits depuis plus de trois mois (sauf pour le premier exercice), à jour de leur cotisation, élus par l'Assemblée Générale.
Les membres du Conseil d'Administration doivent être majeurs, jouir de leurs droits civils et être à jour de leur cotisation. Les membres sortants sont rééligibles.

Article 12 - Bureau


Les membres fondateurs sont membres du bureau pour la premiére année d'existence de l'Association.
Le Conseil d'Administration élit tous les deux ans en son sein un Bureau composé d'un président, d'un trésorier et d'un secrétaire.
Le président représente l'association dans tous les actes de la vie civile, administrative, et en justice, s'il y a lieu. Il peut faire toute délégation de pouvoirs et de signature totale ou partielle à un autre membre du bureau, et pour une activité déterminée et un temps limité à un autre membre du Conseil d'Administration. En cas d'empêchement, le président est remplacé temporairement par le trésorier, qui dispose des mêmes pouvoirs.
Une même personne peut cumuler plusieurs fonctions (secrétaire ou trésorier) en cas de vacance soudaine de l'un de ces postes. Ce cumul est limité jusqu'à la réunion du prochain Conseil d'Administration, lequel doit avoir lieu au plus tard deux mois après la vacance du poste.

Article 13 - Bureau et Conseil d'Administration


Le Bureau ou le Conseil d'Administration se réunit chaque fois que l'intérêt de l'association l'exige ou sur la demande de deux de ses membres pour le premier, trois au moins de ses membres pour le second. Les délibérations sont prises à la majorité des membres présents, physiquement ou en liaison avec les participants (téléconférence, par exemple). Les décisions sont prises à la majorité absolue des voix. En cas de partage, la voix du président est prépondérante.
Il est tenu un procès verbal des séances. Le Conseil d'Administration gère les activités courantes et le patrimoine de l'association, dans le respect des présents statuts et dans le respect de la loi. Le bureau est l'organe exécutif du Conseil d'Administration.
Le Conseil d'Administration peut, en cas de faute grave de l'un de ses membres, le suspendre de ses fonctions sur le champ, les décisions du Conseil d'Administration étant souveraines dans ce domaine. Cette exclusion est confirmée par un vote à la majorité du Conseil d'Administration et après ratification à la majorité de l'Assemblée Générale.
Les membres fondateurs ne sont révocables que par l'Assemblée générale des membres, et uniquement en cas de faute grave.

Article 14 - Assemblée Générale


L'Assemblée Générale est composée de tous les membres à jour de leurs cotisations.
Il est possible de s'y faire représenter par un membre de son choix, muni d'un pouvoir écrit. Le nombre maximum de pouvoir pouvant être détenu par un mandataire dépend du nombre total d'adhérents pour l'année civile passée :
- 1 si l'association compte moins de 50 adhérents, et pendant la première année d'existence de l'association,
- 2 si l'association compte entre 50 et 99 adhérents,
- 3 si l'association compte entre 100 et 149 adhérents,
- 4 si l'association compte 150 adhérents ou plus.
L'Assemblée Générale se réunit une fois tous les ans, dans un lieu défini par le Conseil d'Administration, ou chaque fois qu'elle est convoquée par le Conseil d'Administration. La convocation d'une Assemblée Générale extraordinaire peut être demandée par la moitié des membres de l'association. Dans ce cas, l'ordre du jour de cette Assemblée Générale extraordinaire doit être mentionné sur la demande de convocation.
L'Assemblée Générale renouvelle les membres du Conseil d'Administration si nécessaire, et délibère sur les questions portées à l'ordre du jour par tout membre. Les décisions de l'Assemblée Générale sont valables si elles sont votées par la majorité des membres présents ou représentés.
Toutes les délibérations sont prises à main levée. Toutefois, le scrutin secret peut être demandé, soit par le Conseil d'Administration, soit par le quart au moins des membres présents ou représentés.
Une feuille de présence sera émargée.
La convocation écrite à une Assemblée Générale doit être envoyée au moins 15 jours avant la date de sa tenue. La convocation doit mentionner les lieu, date et heure de la réunion ainsi que l'ordre du jour. Selon des conditions fixées par le Règlement intérieur, ces convocations peuvent être délivrées par tous moyens.

Article 15 - Réglement Intérieur


Le Conseil d'Administration ou la majorité des membres pourront, s'ils le jugent nécessaire, arrêter le texte d'un réglement intérieur, complétant les présents statuts.

Article 16 - Modification des statuts


Les statuts peuvent être modifiés par l'Assemblée Générale sur proposition du Conseil d'Administration par un vote à la majorité des membres présents.

Article 17 - Dissolution


L'Assemblée Générale peut être appelée à se prononcer sur la dissolution de l'association, sur proposition du Conseil d'Administration.
L'association sera réputée dissoute par un vote dans ce sens à la majorité absolue des membres présents ou représentés.

Article 18 - Liquidation - dévolution des biens


En cas de dissolution, il sera procédé à la liquidation de l'association, après désignation d'un liquidateur. Si il subsiste un boni de liquidation, il sera donné à une association poursuivant un but de même nature.

Article 19 - Formalités administratives


Le président du Conseil d'Administration ou son représentant doit accomplir toutes les formalités de déclaration et de publication prévues par la loi du 1er juillet 1901 et par le décret du 16 août 1901, tant au moment de la création de l'association qu'au cours de son existence ultérieure.
Fait à Paris le 27 février 1998
Les membres fondateurs,
-* Fabrice Kordon
-* Laurent Pautet
-* Samuel Tardieu
http://new.ada-france.org/?p=10