http://freephotos.vierdrie.nl/plog-content/images/free-high-resolution-photos/vierdrie.nl/montpellier-panorama1.jpg

Conférences invitées


-- Virginie Wiels --

Thématique: "Ingénierie dirigée par les modèles et certification de logiciels aéronautiques "

L'ingénierie dirigée par les modèles modifie de façon significative les processus de développement du logiciel. Le domaine du logiciel embarqué critique aéronautique ne fait pas exception. Dans ce domaine, le standard de certification DO-178 est une contrainte très structurante pour le développement du logiciel. Ce standard a été mis à jour en 2011 pour prendre en compte les nouvelles techniques utilisées. Dans cet exposé, nous présenterons le standard DO-178, les modifications apportées par l'IDM et les solutions proposées par le supplément dédié à l'IDM dans la nouvelle version du standard.

Biographie: Virginie Wiels est maître de recherche à l'ONERA/DTIM. Elle s'intéresse au développement et à la vérification formelle de logiciels embarqués critiques. Elle est également responsable de l'unité de recherche LAPS (Langages, Architectures et Preuves pour les Systèmes embarqués). Avant d'intégrer l'ONERA en 1998, elle a travaillé un an au centre de recherche NASA sur la vérification et la validation du logiciel à Fairmont (USA).


-- Peter Kriens --

Thématique: "Simplexity, the Quest for Reuse "

Better than doing things efficient is not doing it at all. Better than being all-knowing is not knowing. This presentation sums up the experiences of 30 years in the software trenches, of which the last decade for the OSGi Alliance. Though we have made great strides in reuse the problem of software entanglement (a.k.a. big ball of mud) remains pervasive. Modularity is (again) a solution to reduce increase the simplexity. However, we are making the same mistake with the current (jar based) modularity that we made with objects. This presentation will give you insight in what is wrong today and shows how we can improve in the future to get more reuse.

Biographie: Peter Kriens is the OSGi Director of Technology and CEO of aQute. He has worked many years as consultant for a large number of international companies, including Adobe, Intel, Ericsson, IBM, and others. In 2001 he was hired by the OSGi Alliance to run their specification process. He is the primary editor of all the specification releases since release 2 in May 2001. In 2005 he became one of the two OSGi Fellows. He lives in France travels the world to help the different OSGi expert groups to accomplish their tasks. link to his home page


© 2011 - 2012 Université de Nantes.
Contact us about issues related to the content of these pages.
Layout developped by Anthony Hock-koon.