Three PhD Positions in Embedded Systems, with Focus on Analysis of Systems with Mixed-Criticality Applications

0 stele

305 vizualizari  |  Fii primul care comenteaza

Three PhD Positions in Embedded Systems, with Focus on Analysis of Systems with Mixed-Criticality Applications
Comenteaza

Uppsala University hereby declares the following position to be open for application: Three PhD Positions in Embedded Systems, with Focus on Analysis of Systems with Mixed-Criticality Applications at the Department of Information Technology, Division of Computer Systems.

 


The Department of Information Technology has a leading position in research as well as teaching at all levels. The Department has about 200 employees, including 80 senior faculty and 80 PhD students. More than 3000 students are enrolled in one or more courses annually.


The positions will be within the Embedded Systems Group at the Department of Information Technology. Part of the research will be carried out in the context of European FP7 project CERTAINTY, collaborating with ETH Zurich, TU Braunschweig, UJF-Verimag, and the companies AbsInt, Kalray, och Thales.


Description of the subject area: The introduction of advanced parallel processing architectures, in particular multicore processors, is leading to an increasing trend in embedded systems design towards implementing multiple functionalities upon a single computing platform.

 

However, in most applications, not all the functionalities are equally critical for the overall performance of the system or functionality to be guaranteed. This leads to new challenges in the design, modelling, architecturing, implementation, and analysis of embedded systems, since strong guarantees for high-criticality functions have to be provided in the presence of (computationally or data-intensive) low-criticality functions being performed by the same system, in a cost-efficient manner.


The topic of the PhD research will be the development of methods to handle functional and non-functional properties in mixed-criticality systems, including (non-)interference, timing properties, and resource consumption. This will encompass modelling as well as verification & validation aspects. The research will partly build on leading tools previously developed in the Embedded Systems Group at the Department of Information Technology, such as the UPPAAL model checker and the TIMES modelling tool.

 

Termenul de aplicare a fost pana la 01 Noiembrie 2011

Citeste mai mult despre: INFORMATICA  PhD  Suedia 

 
CARE ESTE OPINIA TA?

Cod

Cod de securitate

Alte categorii

Categorii