30 Credits - Simulink Plugin for SYMC

Scania genomgår nu en transformation från att vara en leverantör av lastbilar, bussar och motorer till en leverantör av kompletta och hållbara transportlösningar.

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.
  • Education:

    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


    Skicka din ansökan till med rubrikraden Ny Teknik Jobb.

    Aktuellt inom