Integrating
the National Aerospace University "KhAI"
into European Research Area

  

Research Topic C

Dependable Embedded Systems

Knowledge exchange

 

One of the KhAI-ERA objectives is to twin KhAI with European research and innovation organizations. Within the frame of research topic C both KhAI and CEBE-TUT researchers visit each other in order to exchange scientific knowledge. This task is implemented by tree categories of researchers:

  • top-level professor/associated professor (PhD or Dr.Sc.) with 10+ experience of research in the area of dependable embedded systems;
  • mid level -- postdoc (PhD) with 3+ years experience of research in the area of dependable embedded systems;
  • young scientist -- PhD student/researcher currently making research in the area of dependable embedded systems.

The scope of scientific knowledge exchange

Year 1:

  • Advantages and risks of application of FPGA technologies in aerospace and medical embedded systems;
  • Requirements of standards to embedded systems for aerospace and medical applications.

Year 2:

  • Means of on-chip self-repairing ensuring and typical architectures of dependable embedded systems;
  • Life cycle models and processes of dependable embedded systems development;
  • Examples of IP cores and IP infrastructures for dependable FPGA-based embedded systems;
  • Architecting of dependable networks for medical application

Year 3:

  • Processes and tools of dependable embedded systems verification;
  • Methods and fault injection-based techniques of embedded systems dependability assessment

 

Set up of joint experiments

 

During the KhAI-ERA project implementation in order to perform KhAI and CEBE-TUT twinning their experienced, mid-level and young researchers set up the following joint experiments:

Year 1:

  • Development of Event-B patterns for ensuring of embedded systems dependability;
  • Experimentation with tools for development of multi-version projects of dependable FPGA- and software-based embedded systems;

Year 2:

  • Development and testing of IP cores and IP infrastructures for typical project decisions of dependable embedded systems (on-board ice-protection system and medical embedded system);
  • Experimentation with models of embedded system and network for medical application

Year 3:

  • Verification of developed modules for aerospace embedded system ;

Verification of developed modules for medical embedded system.

 

Training modules development

 

KhAI’s experts will establish permanent contacts with CEBE-TUT’s trainers and lecturers in order to organize training modules and deliver workshops in dependable embedded systems for experienced researchers and summer schools for young researchers. Training modules are intended for KhAI`s experienced, mid-level and young participants selected in competitive basis taking into account their teaching activity, experience, gender issues and language skills.

 

Training modules on dependable embedded systems cover the following topics

Year 1

  • Principles of architecting of dependable FPGA- and software-based embedded systems;
  • Formal methods of dependable embedded systems development and verification.

Year 2

  • IP cores and IP infrastructures-based technologies for dependable FPGA- and software-based embedded systems development;
  • Techniques of development of dependable embedded systems and networks.

Year 3

  • Tools for FPGA- and software-based embedded systems development;

  • Tools and techniques for FPGA- and software-based embedded systems verification.


KhAI-ERA news & events

KhAI–ERA upcoming events

The project is completed


Project Funding & Support
      

The KhAI-ERA project is funded by the European Commission’s Directorate-General for Research & Innovations under the FP7 Capacities Specific Programme on International Cooperation – Grant Agreement no 294311


Partners area