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

Despre Sarbatorile legale in 2019

Ca in fiecare an, si in 2019 romanii asteapta cu nerabdare sa afle de ce zile libere vor putea profita pentru o vacanta sau o escapada in afara agitatiei zilnice, weekendul fiind de multe ori mult prea scurt pentru asa ceva. Se pare insa ca acest an va fi mai putin darnic cu cei care lucreaza

Iubesti pisicile? Iata unde-ti poti petrece vacanta pentru a te bucura de compania lor
Iubesti pisicile? Iata unde-ti poti petrece vacanta pentru a te bucura de compania lor

Iti doresti o vacanta atfel? In care sa te relaxezi si sa uiti complet de examenele si lucrarile pe care trebuie sa le predai la termen? Dar vrei sa te bucuri in acelasi timp de compania animalelor tale preferate? Avem solutia perfecta pentru tine: destinatiile de vacanta perfecte pentru iubitorii

Heliport la Marie Curie pentru copiii bolnavi
Heliport la Marie Curie pentru copiii bolnavi

Spitalului Clinic de Urgenta pentru Copii “M. S. Curie” va fi dotat cu heliport pentru a facilita transportul rapid al copiilor care au nevoie de interventie medicala de urgenta. Lucrarile la constructia heliportului, care va fi amplasat pe acoperisul spitalului, vor incepe in toamna

6 lucruri noi de incercat in vacanta
6 lucruri noi de incercat in vacanta

Mai sunt cateva luni pana la mult asteptata vacanta de vara. Chiar si cand stii ca o sesiune lunga si grea te desparte de zilele insorite de relaxare, nu poti sa nu iti faci macar cateva planuri pentru distractie. De la a-ti incerca norocul intr-o sala de jocuri virtuala si pana la a petrece o

Teste Online

Lucrare scrisa - istoria romanilor. cls a VIIIa

Lucrare scrisa - istoria romanilor. cls a VIIIa

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.