PhD position funded: Contribution to the design of domain specific languages for robotic applications

LIP6, the Computer Science laboratory of the University of Paris 6, is
offering a PhD studenship in software engineering for robotics. The
student will take part in the PROTEUS (Platform for RObotic models
Transformations and Exchange between Users and Scientific communities)
project funded by ANR (french research agency) that will start on
December 2009 with various partners in France.

Candidates need to have a Master degree in computer science.
Candidates for this position should have a strong software engineering
background and be interested in robotics. Proficiency in written and
spoken English is required. Knowledge of French is useful but not
required.

We will find a description of the PROTEUS project here:
http://www.gdr-robotique.fr/archives_update/GT4/01_11_09/1256147659_PROTEUSProposalARPEGE2009.pdf

You should send your application (CV+ motivation letter) and any
inquiry by email to Serge Stinckwich ([hidden email]) and
Mikal Ziane ([hidden email]).

Please find below a description of the Ph.D. subject in English and French.

--------

Ph. D. Thesis title: "Contribution to the design of domain specific
languages for robotic applications"

Domain-specific languages (DSLs) are emerging as a key component of
software engineering. A DSL is a modeling or programming language,
dedicated to a particular problem domain, through appropriate
notations and abstractions. They are often designed to express the
requirements and solutions of a particular domain and has many
benefits for developing software. The main purpose of Domain-Specific
Modeling languages (DSMLs) is to allow for domain users (that are not
programmers usually) to think in terms closer to the problem domain
when specifying their systems, by providing a way to model them at the
right abstraction level. DSL are already used in the context of
embedded systems and the interests for the robotic community is also
huge. Robotics system blends software/hardware in a very intrinsic way
with a lot of cross-cutting concerns (concurrency, uncertainty, time
constraints, ...). Adapting general purpose languages for such a
domain often leads to a poor fit between the language features and the
implementation requirements.

The main aim of PROTEUS project is the design and the implementation
of a software development environment for robotics applications. This
environment should provide several domain specific languages (DSL) in
order to specify the software architecture and the behavior of a
robotic system. This language will allow to specify robotic
applications without having to specify low-level details including the
details regarding the execution platform. This environment through
carefully defined transformations will translate this language into an
intermediate language.

-------
Titre de la thèse : "Contribution à la conception de
langages de domaine (Domain Specific Language) pour la robotique"

Les langages de domaines (DSL) sont maintenant considérés comme une
approche importante dans les bonnes pratiques de génie logiciel. Un
langage de domaine est un langage de programmation ou de modélisation,
dédié à un domaine spécifique et qui utilisent pour cela des notations
ou d'abstractions adaptées. Ils sont souvent conçus pour exprimer les
besoins et les solutions d'un domaine spécifique et offrent de
nombreux bénéfices pour le développement de logiciel. Le principal
intérêt des DSLs est qu'ils permettent à des utilisateurs d'un domaine
(qui ne sont généralement pas des développeurs) de pouvoir penser en
terme proche de leur domaine lorsqu'ils spécifient leurs systèmes. Les
DSLs sont déjà utilisés dans le contexte des systèmes embarqués et
leurs apports dans la communauté robotique semblent également
prometteurs. Les systèmes robotiques mèlent à la fois des aspects
matériels et logiciels avec de nombreuses préoccupations spécifiques
(concurrence, incertitude, contraintes temporelles, ...). Adapter des
langages classiques à un tel domaine ne suffit pas et conduit
généralement à une mauvaise adéquation entre les caractéristiques du
langage et les besoins du domaine.

Le principal objectif du projet PROTEUS (Plate forme pour la Robotique
Organisant les Transferts Entre Utilisateurs et Scientifiques) est la
conception et l'implémentation d'un environnement de développement
pour la réalisation d'applications robotiques. Cet environnement
comprendra un ou plusieurs langage de domaine (domain-specific
language, DSL) permettant de spécifier l’aspect architectural d’une
application robotique mais aussi son aspect comportemental décrivant
la partie contrôle et communication. Ce langage devra permettre de
spécifier une application robotique sans avoir à préciser les détails
de bas niveau et notamment les détails qui dépendent de la plateforme
d’exécution. L’environnement, grâce à des transformations
soigneusement définies, traduira les programmes de ce langage vers un
langage intermédiaire indépendant de la plateforme.

--------

Best regards,

--
Serge Stinckwich
UMI UMMISCO 209 (IRD/UPMC), Hanoi, Vietnam
Smalltalkers do: [:it | All with: Class, (And love: it)]
http://doesnotunderstand.org/