30hp – Validation of Scania engineering data using semantic web technologies

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.

The complexity of Scania’s product, e.g. truck and busses, is constantly increasing. More significantly, the incoming era of autonomous vehicles and intelligent transport systems requires an increased level of rigor in the development of such products. In order to enable rigorous and automated analysis of the artifacts created during the development, e.g. requirements, embedded software etc., and in collaboration with KTH, Scania has developed a theoretical framework that can represent any product at an arbitrary stage of the development. This theory is the foundation of a textual language called RSEL, which is currently under development.

RSEL can be used for a variety of purposes and one of them is to specify the constraints about the structure of artifacts in the development process. For example, the integration test suites must test each version of the released embedded software. Currently, such check would be graphically modeled using the tool Lyo Designer and then verified using the SHACL shapes language. Because the general intention is to migrate to RSEL, Scania wants to create a mapping of RSEL models to Lyo Designer models.

Based on a small case study, model the representative constraints about the engineering artefacts as an RSEL model. Then define the mapping of RSEL constructs to Lyo Designer constructs. Finally, automate the transformation of RSEL to Lyo Designer models. If time permits, make the transformation bi-directional.

  • Investigate the XText based Textual Modeling Language (RSEL – Rigorous System Engineering Language) for modeling the formal requirements.
  • Propose the enhancements in the RSEL (if needed).
  • Create an Eclipse Plugin to convert textual model created using RSEL to graphical model (For Eclipse Lyo Designer).
  • Investigate if existing EMF-based, model-to-model transformation engines can be used.

    Required skills:

  • Good knowledge of Java Programming Language.

    Preferred skills but not mandatory:

  • Basic knowledge of XText.
  • Basic knowledge of EMF (Eclipse Modeling Framework)
  • Basic knowledge of SIRIUS modelling framework
  • Basic knowledge of Eclipse RCP application development.
  • Specify education or specialization: M.Sc. in Computer Science.

    Number of students: 1.

    Start date: January/February 2019.

    Estimated time needed: 20 weeks.

    Damir Nesic, 0737652074, damir.nesic@kth.com

    PhD Mattias Nyberg, technical manager, 08-553 83 736, mattias.nyberg@scania.com.

    Yash Khatri, 0704200033, yash.khatri@scania.com

    Enclose CV, personal letter and grades.

    Please send your application to damir.nesic@scania.com or yash.khatri@scania.com

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

    Aktuellt inom