Conference announcements

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).

More information

The slides of this presentation are available on-line here:
"Correctness by construction: UML2 profile enforcing the Ravenscar Computational Model", June 2006 (Adobe Portable Document Format, pdf, 1520 KB).

This announcement is also available as a PDF file.

To the Ada-Belgium home page. To the 2006 Ada-Belgium General Assembly Home Page.

Last update: 2006/11/08.