----------------------------------------------------------------------- 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.ac.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 available, also in PDF format, and is sent via postal mail to all members. There will be refreshments and pizza for Ada-Belgium members at 18:00. Please notify us if you are a current or new member and intend to participate at this informal "pre-meeting". 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 ------------- Everyone interested is welcome at either or both parts of this meeting. As usual, the event is free and presentations are in English. If you plan to attend the General Assembly or the technical presentation, we would appreciate it if you could inform us by e-mail (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 (you have also received a printed request via normal mail). If you are interested to become a new member, please register by filling out the 2006 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 2006 with all member benefits. Please settle this invoice ASAP. Early renewal ensures you receive the full Ada-Belgium membership benefits (including the Ada-Europe indirect membership benefits package). Directions ---------- This event takes place at the premises of the Universit� Libre de Bruxelles (U.L.B.), Boulevard du Triomphe / Triomflaan, Campus de la Plaine, 1050 Brussels, Belgium. Exact location is auditorium "Forum D", in the "Forum" complex. 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) or no. 4 (parking UAE, the closest, usually has free space). You can check on-line 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.be ----------------------------------------------------------------------- Acknowledgements 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.). -----------------------------------------------------------------------