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

Ce poti face la Budapesta intr-o singura zi
Ce poti face la Budapesta intr-o singura zi

O zi la Budapesta este o experienta pe care merita sa o incerci oricand. Cu siguranta te va convinge sa revii pentru a descoperi mai pe indelete acest oras cu arhitectura impresionanta si in care fiecare coltisor pare sa spuna o poveste. Impartita in doua de Dunare, Budapesta a devenit un oras

Sanatatea porumbeilor voiajori, sustinuta prin solutii profesionale de la ProduseColumbofile.ro
Sanatatea porumbeilor voiajori, sustinuta prin solutii profesionale de la ProduseColumbofile.ro

Cresterea porumbeilor voiajori este o activitate pe cat de interesanta, pe atat de solicitanta. Grija acordata ingrijirii lor, curatirii mediului in care cresc, precum si alimentatiei nu are timp de repaos. La toate acestea, columbofilii trebuie sa adauge si controalele periodice, respectiv

Criteriile de selectie ale unui motocultor
Criteriile de selectie ale unui motocultor

Ce sunt motocultoarele? Motocultorul este  o masinarie agricola ce poate sa prelucreze terenurile agricole. Este alimentat la priza si are capacitatea de a fi dotat cu mai multe accesorii. Cu ajutorul motouneltei si accesoriilor se poate realiza o gama larga de activitati. Atunci cand cumperi

De sarbatori nu uitam de distractia celor mici
De sarbatori nu uitam de distractia celor mici

In toata agitatia acestei luni, cu pregatirile specifice pentru Craciun, adultii nu trebuie sa uite de distractia celor mici. Petrecerile pentru copii au devenit o moda si, mai mult decat a urmari un trend, este vorba despre bucuria adusa celor mici. Paradisul Personajelor vine cu un pachet de

Succesul in pariuri sportive depinde de anumiti factori - care sunt acestia
Succesul in pariuri sportive depinde de anumiti factori - care sunt acestia

De pariat poate paria toata lumea, insa succesul din asta este unul mai rar. Se spun multe despre strategii, cum sa faci biletul zilei, insa in final specialistii vorbesc si despre anumiti factori ce determina si ei succesul. La baza vor fi cunostintele sportive . Nu de putine ori am auzit acest

Teste Online

Test Multimi

Test sumativ - Multimi, cls X

mai multe »
Acest site foloseste Cookie-uri.
Folosim cookie-uri pentru a personaliza continutul si reclamele, pentru a oferi caracteristici specifice retelelor sociale si pentru a analiza traficul nostru. De asemenea, impartasim informatii despre felul in care ne utilizati site-ul, cu partenerii nostri de pe retelele sociale, de publicitate si de statistica in conformitate cu Politica de confidentialitate. Va puteti administra preferintele in Setari cookie.