Inaktiv platsannons

Master Thesis: Dataflow analysis in model for detection of equivalence classes in safety-critical software i Linköping

At Saab, we are constantly looking ahead and challenging the limits of what is technically possible. We work with colleagues around the world who all share our challenge - to make the world a safer place. You will be a part......

Om tjänsten

At Saab, we are constantly looking ahead and challenging the limits of what is technically possible. We work with colleagues around the world who all share our challenge - to make the world a safer place.

You will be a part of

Aeronautics engages in advanced development of military and civil aviation technology. It also conducts long-term future studies of manned and unmanned aircraft as preparation for new systems and future development of existing products. Aeronautics is also responsible for the development, production, marketing, sales and support of the Gripen system.

The Department of Software Process, Software Verification and Modeling is responsible for ensuring that we have effective development methods, processes and tools.

The Challenge Ahead

In avionics, modelling systems is a good alternative to writing code, as it unlocks the possibility of analysing the model instead of the code, which can be more intuitive for certain domains. For safety-critical software, correctness needs to be verified through extensive testing.

Modelling gives the developer an easy overview over the software that is hard to replicate even in the most structured code-base. In Safety-critical systems this allows the developer the possibility of analysing the model before it is generated into code, instead of having to analyse a large code-base.

To help cover data ranges for all junctions in a model, while developing test cases, there is an interest in dataflow analysis for models.

This work is to apply common dataflow analysis workflows to Simulink models used to generate Safety-critical software:

-          Research whether the Simulink pre-compiled states can help in such analysis, either by simplifying the algorithms or by making it more effective in execution time.

-          Another aspect could be to compare differences between dataflow analysis on model and code.

-          Analyse whether strict modelling rules can help in performing a dataflow analysis on model.

This project may suit you if:

- Familiar with Matlab/Simulink and you are interested with the concepts of modelling, dataflow analysis and programming C/C++. Interested in algorithms and analysis of complex systems.

- We are looking for a student who wants to complete a 30 ECTS degree project. You are enterprising, analytical and easy to collaborate both within and outside your own group. Your background is a prospective civil engineer in software.

- As we work in several international collaborative projects, it is a condition that you master English in speech and writing.

Person of Contact:

Jonas Mattsson, Recruiting Manager

Phone number: 010-216 8373

Frank Petersson, contact person

Phone number: 010-2168897

Publicerad den

29-02-2024

Extra information

Status
Stängd
Ort
Linköping
Typ av kontrakt
Examensarbete
Typ av jobb
Civilingenjör / Arkitekt
Körkort önskas
Nej
Tillgång till bil önskas
Nej
Personligt brev krävs
Nej