Ada-Belgium - PolySpace presentation - Tue 2003-02-25 20:00

Ada-Belgium - PolySpace presentation - Tue 2003-02-25 20:00

[Dirk Craeynest]

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 9119 bytes --]

------------------------------------------------------------------------

                          A d a - B e l g i u m
                S p e c i a l   E v e n i n g   E v e n t

     Ada-Belgium is pleased to announce a technical presentation by
               Marc Lalo of PolySpace Technologies, France

        N e x t   g e n e r a t i o n   t e s t i n g   t o o l s
           f o r   e m b e d d e d   a p p l i c a t i o n s :

          Apply abstract interpretation to automatically detect
                   run-time errors at compilation time

                    Tuesday, February 25, 2003, 20:00

              at the U.L.B., Department of Computer Science
        Campus de la Plaine, building NO, Solvay room (5th floor)
           Boulevard du Triomphe / Triomflaan, B-1050 Brussels

         (after the Ada-Belgium 2003 General Assembly at 19:00)

    http://www.cs.kuleuven.ac.be/~dirk/ada-belgium/events/local.html

------------------------------------------------------------------------

Announcement
------------
Ada-Belgium will hold its tenth annual General Assembly on Tuesday,
February 25, 2003, at 19:00, at the address mentioned above. The
official convocation is distributed separately to members and is also
available on the Ada-Belgium web-server, together with a poster for
this event.

There will be refreshments and pizza for Ada-Belgium members at 18:15.
Please notify us if you are a current or new member and intend to
participate at this informal "pre-meeting".

Just after the G.A. we will also announce the winners of Ada-Belgium's
Ada Contest.

PolySpace Technologies presentation
-----------------------------------
At 20:00 the General Assembly will be followed by a technical
presentation plus Q&A, by Marc Lalo from PolySpace Technologies,
France.

"Next generation testing tools for embedded applications:
Apply abstract interpretation to automatically detect run-time errors
at compilation time"

Everyone interested is welcome: you don't have to be a member to attend.

Abstract
--------
Real time software applications may be incorrect due to three main
reasons:
  * Run-time errors (latent faults in the code);
  * Non respect of the temporal requirements;
  * Non respect of the functional requirements.

Our talk will focus on the first solution to automatically detect
run-time errors at compilation time (arithmetic overflows, arithmetic
exceptions (division by zero, square root of a negative number),
out-of-bounds array access, access conflicts to shared data, read
access to a non-initialized variable, illegal dereferenced pointer).

In real time software applications, the following strategies are used
to deal with run-time errors:
  * fault-tolerant systems;
  * fault detection, based on intensive testing and code review.

Unfortunately, due to the increase of software size and complexity,
the cost of testing and code review dramatically increases. PolySpace
Technologies has developed the first solution based on abstract
interpretation techniques for an earliest and automatic detection of
run-time errors in Ada and C applications.

We will report results obtained in the embedded systems industry and
more specifically by our customers involved in the development of
safety and mission critical Ada software: aerospace, railway transport
and defense.

More information: PolySpace Technologies - http://www.polyspace.com/

Speaker
-------
Marc Lalo has been a consultant at PolySpace Technologies since July
2000. He received a MEng in Computer Science degree from Ecole Normale
Superieure des Telecommunications, Paris, France. Before joining
PolySpace he has worked at Verilog as a consultant and as a software
development engineer.

Participation
-------------
Everyone interested is welcome at either or both parts of this
meeting.  As usual, the event is free.  If you plan to attend the
General Assembly or the PolySpace technical presentation, we would
appreciate it if you could inform us by e-mail at the address below
(please also specify if you intend to participate at the informal
"pre-meeting"). Although no formal registration is required, this helps
our preparations.

All Ada-Belgium members have a vote at the General Assembly, can add
items to the agenda, and can be a candidate for a position on the
Board (see the convocation for more details).

If you are a member but have not yet renewed your affiliation please
do so by paying the appropriate fee before the General Assembly (last
years' members also receive a printed request via normal mail).
If you are interested to become a new member, please register by filling
out the appended 2003 membership application form and by paying the
appropriate fee before the General Assembly.
After payment you will receive a receipt from our treasurer and you are
considered a member of the organization for the year 2003 with all
member benefits. Please settle this invoice a.s.a.p. Early renewal
ensures you receive the full Ada-Belgium membership benefits (including
the Ada-Europe indirect membership benefits package).  See our web-pages
for more details.

As mentioned at earlier occasions, we have a limited stock of
documentation sets and Ada related CD-ROMs that were distributed freely
at previous events. Most important are copies of the "Ada and Software
Engineering" double CD-ROM (ASE2), which was handed out at the
Ada-Europe'2001 conference in Leuven and is also on-line in the
Ada-Belgium archive.  These sets will be available on a first-come
first-serve basis at the General Assembly for current and new members.
Please inform me via e-mail if you are interested in receiving the free
documentation sets and/or CD-ROMs, so I can bring enough copies with me.

Directions
----------
This event takes place at the premises of the Universit� Libre de
Bruxelles.  An access plan to the Campus de la Plaine of the U.L.B. is
available.  Parking facilities are at access no. 2 (parking Fraiteur,
the closest) or no. 4 (parking UAE, usually has free space). You can
check on-line via our site how to reach the Campus de la Plaine by car
or by public transport.

Looking forward to meet many of you in Brussels!

Dirk Craeynest
President Ada-Belgium
Dirk.Craeynest@cs.kuleuven.ac.be

------------------------------------------------------------------------

                            Acknowledgements

 We would like to thank our sponsors for their continued support of our
  activities: ACT Europe, Katholieke Universiteit Leuven (K.U.Leuven),
 Offis nv/sa - Aubay Group, and Universit� Libre de Bruxelles (U.L.B.).

------------------------------------------------------------------------

-- cut here ------- >8 ------- >8 ------- >8 ------- >8 ------- >8 -----

2003 Ada-Belgium Membership Application
________________________________________________________________________

Please mail to                                  or fax to
--------------                                  ---------
   Ada-Belgium                                     + 32 (0)2 650 56 09
   c/o Universite' Libre de Bruxelles (ULB)
   Boulevard du Triomphe
   Campus de la Plaine, CP 212
   B - 1050 Bruxelles, Belgium                         Page 1 of _______


Personal Information
--------------------
Name  __________________________   First name  _________________________
For Corporate Members: Name of Appointed Contact Person
Job title / Occupation  ________________________________________________
Company / Institution  _________________________________________________
Address  _______________________________________________________________
________________________________________________________________________
Zip code  ______________________   City  _______________________________
Country  _______________________   E-mail  _____________________________
Telephone  _____________________   Telefax  ____________________________

The above address is  ___  my company address
                      ___  my private address

Membership  (Includes Ada-Europe Membership & Benefits Package)
----------                               (Please tick one item)
___  Individual Member  (annual fee:  30 EUR)
___  Corporate Member   (annual fee: 130 EUR)
___  Student Member     (annual fee:  15 EUR)

Payment information                      (Please tick one item)
-------------------
YES, I agree to pay the appropriate registration fee to Ada-Belgium VZW
___  to account number 409-9054291-64 (KBC)
mentioning "2003 Ada-Belgium Membership"

Ada-related Points of Interest
------------------------------
If you have any specific point of interest, please mention them in
attachment to this form.

Additional Addresses
--------------------
If you know other people or companies in Belgium who are interested
in Ada, please mention their names and addresses in attachment to
this form, and we will contact them with information on Ada-Belgium.
Thank you.


Signature  _________________________   Date  ___________________________


Attachment  ____________________________________________________________
   
-- cut here ------- >8 ------- >8 ------- >8 ------- >8 ------- >8 -----