UML2 profile enforcing Ravenscar model, Tue 20 Jun 19:45, Ada-Belgium

[dirk@apollo.cs.kuleuven.ac.be (Dirk Craeynest)]

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

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

                          Updated announcement

   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 our next event:

                     a technical presentation by
          Tullio Vardanega of the University of Padua, Italy

        C o r r e c t n e s s   b y   c o n s t r u c t i o n :

              U M L 2   p r o f i l e   e n f o r c i n g

   t h e   R a v e n s c a r   C o m p u t a t i o n a l   M o d e l

                 Tuesday, June 20, 2006, 19:45-21:45

            at the U.L.B., Department of Computer Science
      Campus de la Plaine, "Forum" complex, auditorium "Forum D"
         Boulevard du Triomphe / Triomflaan, B-1050 Brussels

       (after the Ada-Belgium 2006 General Assembly at 18:45)

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

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

Announcement
------------
Ada-Belgium will hold its 13th annual General Assembly on Tuesday,
June 20, 2006, at the U.L.B., Department of Computer Science,
Boulevard du Triomphe / Triomflaan, B-1050 Brussels, at 18:45. The
official convocation is distributed separately to members and is also
available on the Ada-Belgium web-server.

At 19:45 the General Assembly will be followed by a technical
presentation on "Correctness by construction: UML2 profile enforcing
the Ravenscar Computational Model", by Tullio Vardanega from the
University of Padua, Italy.

Abstract
--------
In this talk we illustrate the results of a research project that
attempts to unite three distinct fronts of advances in the engineering
of high-integrity software systems:
  * the pursuit of correctness by construction;
  * the reliance on the UML2 notions of profile supported by
    meta-model ontologies;
  * the adoption of an educated approach to the use of concurrency by
    compliance with the computational model entailed by the Ravenscar
    Profile.

The talk will proceed in three successive steps:
  * we first discuss how an initial UML2 profile can be built by
    mapping the basic ontologies of HRT-HOOD onto the UML2 meta-model;
  * subsequently we address and overcome some frustrating limitations
    inflicted by the HOOD heritage and make an important step towards
    better integration of the HRT and OO dimensions of modern systems;
  * finally we show how the increased expressive power of Ada 2005
    permits to greatly amplify the benefits of correct-by-construction
    model-based code generation via factorization and instantiation.

Speaker
--------
Tullio Vardanega, from the Department of Pure and Applied Mathematics
of the University of Padua, is an expert in the development of
real-time embedded systems, and processes and methodologies for the
engineering of software-intensive high-integrity systems. Before
joining the University of Padua, he worked for a long time at ESA, the
European Space Agency.

He is Ada-Europe Board member and Editor of the Ada User Journal. He
is active in ISO's Ada standardization working group (WG9), more
specifically in the Ada Rapporteur Group (ARG, language maintenance)
and the Annex H Rapporteur Group (HRG, guidance for high integrity
applications in Ada).

Participation
-------------
As usual, the event is free and presentations are in English.
Everyone interested is welcome: you don't have to be a member to
attend.

If you plan to attend the General Assembly or the technical
presentation, we would appreciate it if you could inform us by e-mail
(for members, please see more detailed instructions in the invitation
to the General Assembly).  Although no formal registration is required,
this helps our preparations.

For more information and directions see the web-page mentioned above.

Looking forward to meet many of you in Brussels!

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

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

                            Acknowledgments

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

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