[ecoop-info] postdoc proposal

[Mamoun FILALI AMINE]

Les plateformes avioniques doivent supporter un nombre croissant
d'applications. Ces applications doivent répondre à des exigences de
sûreté, de sécurité et aussi de disponibilité. L'architecture de
telles applications pose à la fois des problèmes purement logiciels
que des problèmes liés à la configuration physique sous-jacente.

Dans le cadre de cette étude, nous nous intéressons d'une part aux
environnements de développement permettant de prendre en charge le
processus de développement associé à de telles applications et d'autre
part aux outils (e.g. basés SAT, algèbre linéaire) qui permettent
d'offrir une aide lors de l'élaboration d'une solution architecturale.

Nous nous intéressons principalement aux environnements de
développement basés sur les modèles. Après une première année où nous
avons principalement étudié différents schémas de modèles (méta
modèles), il nous faut maintenant étudier comment les modèles sont
manipulés et formaliser ces manipulations à l'aide de transformations
par exemple. De même, pour les études d'aide à l'élaboration d'une
solution, un certain nombre d'outils ont été expérimentés cette année,
cette étude sera poursuivie sur de nouveaux cas d'étude.

Domaines concernés:
  Outils de vérification de synthèse. Temps réel. Approche basée modèle.
  Expérience Java, Eclipse.
Salaire annuel: 24000 Euros (brut)

lieu: IRIT
      Université Paul Sabatier
      F-31062 Toulouse
      France
contact: filali at irit.fr
nationalité: La nationalité française ou d'un pays de l'UE est requise.

-----------------------------------------------------------------------------

Avionic platforms require more and more software. Such software have
to satisfy safety, security and disponibilty requirements. The
architecture of the related applications raise as well software
development problems as well as hardware configuration problems.

In this study, we are interested in software environments for the
development of such applications and also in synthesis and
verification tools~(linear algebra, SAT based, ...)  for the
development assistance.

We are interested in model based development approach. After a first
year where we have studied alternative data models, now, we have to
study how such models will be mapped to verification languages using a
transformation based approach. Moreover, the experimentation of
verification tools will have to be completed.

Related domains:
  Verification and synthesis tools, real time, model based development,
  Java, Eclipse.
Gross annual salary: 24000 Euros

locaion: IRIT
      Université Paul Sabatier
      F-31062 Toulouse
      France
contact: filali at irit.fr
citizenship: french or UE citizenship is required.

-----------------------------------------------------------------------------

-------------- next part --------------
A non-text attachment was scrubbed...
Name: filali.vcf
Type: text/x-vcard
Size: 295 bytes
Desc: not available
Url : http://www.aito.org/pipermail/ecoop-info/attachments/20070830/c07b70f2/attachment.vcf