DOCTORAT IN INFORMATICA - TOULOUSE, FRANTA

Publicat: 14 Sep 2009 00:00

Title: Refinement in embedded system design: from system level to hardware/software level
Institution: University of Toulouse, IRIT laboratory

Supervisors :
Iulian Ober (http://www.irit.fr/~Iulian.Ober/ )
Jean-Michel Bruel ( http://jmb.c.la/ )
Duration: September 2009 - September 2012
Salary: 1300Euro netto/month
Contact: iulian.ober [at] irit.fr
Embedded systems are computer systems (hardware/software) which are integrated in a larger system and which in general are designed to control and/or monitor its functioning. Embedded systems are often critical, subject to real-time and other reliability constraints. The application domains are very diverse, ranging from consumer electronics to automotive, to energy grids, to aerospace (the last one is our privileged application domain within the AESE excellence pole). More recently, progress in chip manufacturing has allowed building complex embedded architectures, including specialized processors, memory, buses, device controllers and peripherals on a same chip (such architectures are designated as Systems-on-Chip, or SoC).
The most common development cycle for embedded systems is a V-cycle, in which the design phase proceeds, from a high-level architecture derived directly from requirements, by successive decompositions and refinements, towards hardware/software components code (the descending branch of the V). This is followed by component integration steps, with specific validations performed at each step (the ascending branch of the V).
The main problem faced by practitioners is the absence of an integrated theory allowing them to model the system at different stages of refinement. Today, one can use AADL to capture in detail a system architecture: hardware and software components, connections, flows, etc., but the language is very limited when it comes to expressing the functional aspects of components. On the other hand, the SysML language allows capturing these functional aspects (by block diagrams, state-transition models, interaction models, etc.) but there is no support for linking it with an architecture described in AADL. Finally, when such an architecture is refined towards code (VHDL, SystemC, Ada, SCADE, or any other appropriate implementation language), it is very difficult to automate and to validate the refinement.
Within this thesis, we plan to study this problem of refinement from system level to hardware/software level, using SysML as a pivot language. We will study the methodological aspects of integrating models with different levels of abstraction. We will also look into the combined use of simulation, animation and proof tools developed or used by the different communities (software engineers, hardware engineers, system engineers). Finally, we plan to study the refinement formally from some given angles, such as the temporal correctness.
Context and prerequisites: This PhD thesis is connected to several financed projects in which our team is involved, and the work will be conducted in cooperation with academic and industrial partners. The candidate should have a computer science Masters degree or equivalent, and be competent in model driven engineering and formal methods.

Trebuie sa citesti

3 aspecte de luat in considerare cand alegeti noua usa de garaj
3 aspecte de luat in considerare cand alegeti noua usa de garaj

Înainte de a începe să faceți cumpărături pentru o nouă ușă de garaj, aflați ce ar trebui să căutați și să înțelegeți posibilitățile vaste pe care le oferă îmbunătățirea prin

Cum pot fi ajutati copiii care din diverse probleme nu pot invata matematica, utilizand auxiliare scolare?
Cum pot fi ajutati copiii care din diverse probleme nu pot invata matematica, utilizand auxiliare scolare?

Sunt mai multe probleme care pot face ca elevii sa nu poata invata corespunzator matematica, insa auxiliarele scolare sunt o sursa buna de ajutor. In acest articol ne referim la auxiliar matematica clasa 7, insa sfaturile si regulile pot fi aplicate pentru orice alt tip de auxiliar indiferent de

Cum sa te simti ca acasa in camera inchiriata
Cum sa te simti ca acasa in camera inchiriata

A mai ramas putin timp pana cand vei incepe facultatea, iar daca te muti intr-un alt oras, trebuie sa-ti asiguri tot confortul. Camera inchiriata, fie ca se afla intr-un camin sau ca este vorba de o garsoniera, te poate face sa te simti ca acasa. Iata cateva trucuri pentru a nu te simti ca un

Viata de student - Iata TOT ce trebuie sa stii despre dragoste, sex si romantism in facultate!
Viata de student - Iata TOT ce trebuie sa stii despre dragoste, sex si romantism in facultate!

Pe langa cursuri, planuri de cariera si alte provocari academice, viata sociala si cea sentimentala sunt extrem de importante pentru orice student. Acesta este momentul in care iti poti intalni marea dragoste sau, dimpotriva, sa ai parte de multe si dureroase dezamagiri. Cel mai probabil te vei

Idei cool pentru a-ti petrece timp de calitate alaturi de sufletul tau pereche
Idei cool pentru a-ti petrece timp de calitate alaturi de sufletul tau pereche

Cand esti intr-o relatie pe termen lung, petrecerea timpului cu persoana iubita este esentiala. Legatura dintre voi se fortifica, capata din ce in ce mai mult sens. Astfel, va descoperiti calitatile, dar mai ales defectele. Mereu veti afla lucruri noi unul despre celalalt (chiar si dupa ani buni de

Teste Online

Oasmeni te considera prost testeazate si vei vedea daca e adevarat sau nu

e un test de logica nu va grabiti analizati cu atentie

mai multe »