Stage de développement Java d`une heuristique d

Commentaires

Transcription

Stage de développement Java d`une heuristique d
Stage de développement d’un outil de modélisation
d’exigences pour les systèmes embarqués.
Organisme : Lab-STICC, Université de Bretagne Sud
Contacts : Dominique BLOUIN ([email protected]), Eric SENN
Secteur : Electronique, systèmes embarqués
Discipline : Informatique
Mission :
Dans le cadre du projet de recherche Open-PEOPLE (Open-Power and Energy Optimization
PLatform and Estimator), nous recherchons un stagiaire pour participer au développement
d’un outil de définition et d’analyse d’exigences pour les systèmes embarqués. Dans le vaste
domaine de recherche que constitue l’ingénierie des exigences, il est de plus en plus reconnu
que les méthodes de l’ingénierie dirigée par les modèles (IDM) apportent de nombreux
avantages. Une description d’exigences, exprimée à l’aide d’un formalisme approprié, peut en
effet être analysée automatiquement afin d’en détecter les incohérences en tout début du
processus de conception. Par la suite, cette description, qui représente le problème à résoudre,
pourra être confrontée à un système censé apporter une solution à ce problème. Le système,
décrit également à l’aide d’un formalisme approprié tel que le langage AADL (Architecture
Analysis and Design Language), pourra alors être analysé afin de vérifier qu’il résout bel et
bien le problème modélisé par la description d’exigences. Dans ce contexte, le langage RDAL
(Requirements Definition and Analysis Language), qui est en cours de standardisation par le
comité SAE AS2C, et son outil RDALTE (RDAL Tool Environment) ont été développés.
Dans ce stage, il s’agira de faire évoluer l’outil RDALTE.
Objectifs de la mission :
 Améliorer l’éditeur graphique de l’outil.
 Développer un greffon pour l’outil permettant l’expression des exigences en termes du
langage REAL.
 Développer des tests de non-régression.
Connaissances souhaitées:
 Bonne maîtrise du développement en Java.
 Bonne connaissance de la modélisation et idéalement des outils EMF (Eclipse
Modeling Framework).
 Connaissance d’un ou plusieurs langages de description d’architecture tels qu’AADL
(de préférence), UML MARTE, SysML, etc.
 Connaissance du développement de plugin Eclipse serait un plus.
Qualités du stagiaire :
Autonome, rigoureux, aimant la recherche et l’innovation.
Conditions du stage :
Durée : 6 mois et plus
Début Souhaité : Dès que possible.
Salaire: 418€ / mois
Pays : France
Ville : Lorient

Documents pareils