* UML2 profile enforcing Ravenscar model, Tue 20 Jun 19:45, Ada-Belgium
@ 2006-05-31 23:33 Dirk Craeynest
0 siblings, 0 replies; 2+ messages in thread
From: Dirk Craeynest @ 2006-05-31 23:33 UTC (permalink / raw)
[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 5835 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 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.).
-----------------------------------------------------------------------
^ permalink raw reply [flat|nested] 2+ messages in thread* UML2 profile enforcing Ravenscar model, Tue 20 Jun 19:45, Ada-Belgium
@ 2006-06-15 20:48 Dirk Craeynest
0 siblings, 0 replies; 2+ messages in thread
From: Dirk Craeynest @ 2006-06-15 20:48 UTC (permalink / raw)
[-- 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.).
-----------------------------------------------------------------------
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2006-06-15 20:48 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2006-05-31 23:33 UML2 profile enforcing Ravenscar model, Tue 20 Jun 19:45, Ada-Belgium Dirk Craeynest
-- strict thread matches above, loose matches on Subject: below --
2006-06-15 20:48 Dirk Craeynest
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox