30 Credits - Simulink Plugin for SYMC

Sodertalje, Stockholm
den 19 september 2019
den 2 december 2019
Övriga jobb
Thesis project at Scania is an excellent way of making contacts for your future working life. Many of our current employees started their career with a thesis project.

Formal verification represents an umbrella term that includes a set of verification techniques based on rigorous mathematical principles that can be used to show that a given system (model) behaves according to its specification.

As the vehicular systems have become increasingly complex, the need for applying rigorous verification techniques for showing the correctness of the automotive software has been highly recommended by safety regulatory bodies (ISO26262). However, application of such verification techniques is still in a production phase, as at the moment, industry is partnering with academia to investigate the applicability of such verification techniques on running software models.

In the literature, there are several reports of positive experiences of applying formal verification techniques on Simulink models of operational industrial systems. SYMC tool, which uses the principles of bounded model checking is one of them and has been applied on a prototype implementation of Brake-by-Wire Simulink model from Volvo GTTT.

The current main limitation for wider application of the tool in industrial settings is the fact that the tool requires a certain preprocessing of the original Simulink model, such that it can be used as an input. For that purpose the goal of this thesis project is to develop a Matlab Simulink plugin that will automatically perform the preprocessing routine of the Simulink models, such that the generated model becomes suitable to be used as an input into the SYMC tool.

  • Development of a Matlab Simulink plugin that will be able to generate a pre-processed Simulink model suitable to be used as an input into the SYMC tool.
  • Validate the developed solution on a number of Simulink models developed at Scania.

Specify education or specializations: This proposal is suitable as MSc thesis project. The candidates should have experience in Matlab programming language and Matlab Simulink modelling environment.

Number of students: 1 or 2

Start date: January/February 2020 or earlier depending on the availability of the selected candidates.

Estimated time needed: 6 months

Contact persons and supervisors:
Mattias Nyberg, Technical Manager, 08-55383736
Predrag Filipovikj, Postdoctoral Researcher, KTH and Scania

Enclose CV, personal letter and school-leaving certificate .

Scania är en världsledande leverantör av transportlösningar. Tillsammans med våra partners och kunder driver vi omställningen till ett hållbart transportsystem. 2018 levererade vi 88 000 lastbilar, 8 500 bussar samt 12 800 industri- och marinmotorer till våra kunder. Nettoomsättningen uppgick till mer än 137 miljarder kronor, varav cirka 20 procent var tjänsterelaterade. Scania grundades 1891 och är idag verksamt i fler än 100 länder och har cirka 52 000 medarbetare. Forskning och utveckling är koncentrerad till Sverige, med filialer i Brasilien och Indien. Tillverkning sker i Europa, Latinamerika och Asien, med regionala produktionscentrum i Afrika, Asien och Eurasien. Scania är en del av TRATON SE. För mer information besök:

Liknande jobb

Liknande jobb