From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.1 required=5.0 tests=BAYES_00, PP_MIME_FAKE_ASCII_TEXT autolearn=no autolearn_force=no version=3.4.4 X-Google-Thread: 103376,4fb2842e02409361,start X-Google-Thread: 107e1d,4fb2842e02409361,start X-Google-Thread: fcea4,4fb2842e02409361,start X-Google-Thread: 107324,4fb2842e02409361,start X-Google-Attributes: gid103376,gid107e1d,gidfcea4,gid107324,public X-Google-Language: ENGLISH,ASCII Path: g2news2.google.com!news4.google.com!news.glorb.com!syros.belnet.be!ikaria.belnet.be!news.belnet.be!not-for-mail From: dirk@apollo.cs.kuleuven.ac.be (Dirk Craeynest) Newsgroups: comp.lang.ada,fr.comp.lang.ada,be.comp.programming,nl.comp.programmeren Subject: UML2 profile enforcing Ravenscar model, Tue 20 Jun 19:45, Ada-Belgium Date: 15 Jun 2006 22:48:40 +0200 Organization: Ada-Belgium, c/o Dept. of Computer Science, K.U.Leuven Message-ID: NNTP-Posting-Host: seven.kulnet.kuleuven.ac.be X-Trace: ikaria.belnet.be 1150404520 30618 134.58.127.12 (15 Jun 2006 20:48:40 GMT) X-Complaints-To: abuse@belnet.be NNTP-Posting-Date: Thu, 15 Jun 2006 20:48:40 +0000 (UTC) Summary: Everyone interested is welcome Cache-Post-Path: seven.kulnet.kuleuven.ac.be!unknown@apollo.cs.kuleuven.ac.be X-Cache: nntpcache 2.4.0b5 (see http://www.nntpcache.org/) Xref: g2news2.google.com comp.lang.ada:4795 fr.comp.lang.ada:392 be.comp.programming:603 nl.comp.programmeren:3065 Date: 2006-06-15T22:48:40+02:00 List-Id: ----------------------------------------------------------------------- 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.). -----------------------------------------------------------------------