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

Detection of anomalies in SW systems

IKERLAN

START: 09/2017

OPEN

OBTAINING DOCTOR DEGREE: 09/2020

Description

The principal objective of the thesis is to use automatic verifiers to test properties of different types of model checking (MC).
The safety-critical software systems that are implemented in different sectors such as aeronautic, railway or medicine must be rigorously verified before being launched.
The formal verification techniques aim to formalise and automate the software verification process and, in this way, make it safer.
The MC technique is a formal technique to check whether a certain specification or model of a system satisfies a given property.
This thesis will address the verification of different MC systems.
Aims:
• Study of the technological status in formal verification techniques and MC techniques.
• Analysis of tools available for MC and approach of a practical study case for MC.
• Design, verification and application of the study case with model checking.

Department or unit of the Associates Technology Center

Information and Comunication Technologies

Investigation line

Electronics, Information and Communication Technologies

Start date planned

09/2017

Obtaining date of the doctor degree

09/2020

Requeriments

Telecommunications Engineering, Information Technology Engineering, Electronic Engineering, Degree in Mathematics, Degree in Physics, or similar.
Proficiency in the English language is considered fundamental.
The Doctoral Candidate must have initiative and be motivated to develop new concepts and communication schemes, along with leadership skills for the resolution of issues.
Doctoral Candidate skills in the following areas are an advantage:
• Programming languages: C, C++, etc.
• Modelling and simulation languages: OPNET, Omnet++, Matlab, etc.
• Mathematics.
• Leadership skills and problem-solving abilities.
• Ability to work in a team.
Scientific vocation.

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.