This site uses cookies to enhance navigation. If you continue with your visit, you accept the use of cookies and privacy policy. Accept

IK4 Doctorados

 

IKERLAN

Research aimed at the development of people  and transfer of the most advanced technologies for companies.

 
DOCTORATES

IKERLAN

High Performance Computing for Real Time Modelling and Software Testing of Complex Dependable Systems

IKERLAN

START: 10/2016

OPEN

OBTAINING DOCTOR DEGREE: 10/2019

Description

High Performance Computing (HPC) is an area of technology that provides simulation solutions for complex problems through parallel computing solutions, using clusters and supercomputuers. These technologies can be used for accurate real-time models of physical systems (e.g. wind turbines, trains, machinery), subsystems and interfaces between subsystems, as well as their fast implementation. The models that are required can be programmed using software programming environments in parallel (e.g. OpenMP, MPI, OpenCL) or system modelling environments capable of being made in parallel (e.g. SystemC, E-TTM). Also, they may be used to validate the embedded systems developed for system control, during the various phases of development, from the software to the complete control system. Furthermore, these models can be run on supercomputing clusters (SW) to functionally validate the software. When the development phase is further developed, then the more detailed and complex the models become (e.g. differential equations of vehicle dynamics, detailed communication frames).

These models can also be applied to validate safety-critical systems, those in which the model must also implement fault injection functions to emulate errors that are difficult to reproduce in reality (e.g. broken cable communications, overhead line surges, replicated computer error, memory corruption) and that are necessary to validate the tolerance to safety-critical embedded system faults. It must be taken into account that the validation of safety-critical embedded systems often requires the running of thousands of test scenarios and, therefore, accelerated system validation could reduce the current validation time from several days to several hours/minutes. The application of these technologies to meet the needs of different industrial sectors (e.g. transport, machine tools) will allow the development of state-of-the-art simulation environments, verification and validation. The focus of this dissertation is the analysis, selection and SW implementation of HPC solutions (e.g. OpenMP, MPI, OpenCL) for modelling and validation of reliable embedded systems. Additionally, various distributed execution platforms should be considered, from server clusters to GPUs.

The fields of application to be considered are the rail sector, lifts, machine tools and wind energy. Reliable embedded systems to be considered range from real-time control systems (e.g. railway inverter control, distributed lift control, wind turbine control) to safety-critical systems (e.g. railway signalling, Safe Torque Off or protections).

Department or unit of the Associates Technology Center

Electronics, Information and Communication Technologies

Investigation line

Embedded systems

Start date planned

10/2016

Obtaining date of the doctor degree

10/2019

Requeriments

Automation Engineering and Industrial Electronics Engineering / Telecommunications Engineering / Master in Embedded Systems / Master or equivalent engineering
IK4 Research Alliance SELECT IN ORDER OF PREFERENCE THE OFFERS YOU WISH TO APPLY FOR

With number 1 as the first option, 2 as the second and 3 as the last option.

Remember, only click "Send" once you have configured your options correctly. Click on the "Save" button to add more options, or to change their position.