[Blog] Bourse de thèse dans le cadre d'un projet ANR]

Bonjour,

Veuillez trouver ci-joint une offre de thèse à pourvoir rapidement.
Merci de diffuser l'information.

Contact :
Ouassila Labbani : ouassila.labbani@u-bourgogne.fr

---Description du sujet ---

*Extending the MARTE profile with dynamically reconfiguration concepts *

This specification of a UML profile adds capabilities to UML for model-driven
development of Real Time and Embedded Systems (RTES). This extension, called
the UML profile for MARTE (in short MARTE), provides support for specification,
design, and verification/validation stages. This new profile is intended to
replace the existing UML Profiles for embedded systems design. MARTE consists
in defining foundations for model-based description of real time and embedded
systems. These core concepts are then refined for both modeling and analyzing
concerns. Modeling parts provides support required from specification to
detailed design of real-time and embedded characteristics of systems. MARTE is
today adopted by all major companies and research laboratories in systems
design. In its current version, unfortunately, we still miss in MARTE dynamic
reconfiguration concepts. Even these later are necessary to model and implement
rapid prototypes for complex systems. The objective of this thesis in to define
all necessary concepts for dynamic reconfiguration issues, and integrate them
to MARTE to obtain an extended and complete profile, which can be called
Reconfigurable MARTE (RecoMARTE). Another objective is to produce the necessary
transformation rules allowing automatic model to model transformations from
RecoMARTE to VHDL metamodel. This thesis aims also to extend the MARTE profile
by adding a set of constraints at model level by using UML modeling concepts
such as OCL language. These constraints must take reconfigurable and dynamic
aspects into account, and will be used for verification process to insure that
the resulting system models are correct and complete. The proposed constraints
can also be used to demonstrate the feasibility of the system and to define or
to limit the studied application domain.

Knowledge: Good knowledge in the following fields will be appreciated

- Software engineering

- Embedded systems architectures

- Configurable architectures

- UML VHDL modeling

Interesting Links:

MARTE profile : http://www.omgmarte.org/

_______________________________________________
Blog mailing list
Blog@aulf.org
http://lists.aulf.org/cgi-bin/mailman/listinfo/blog