Bachelor and Master Theses

Title: A Method and Tool for Automated Analysis of Heavy Vehicle Requirements
Subject: Computer Science
Level: Advanced
Description: Background

The ever-increasing complexity of the heavy road vehicles must not have a negative impact on the safety level. To ensure the proper functioning and prevent such systems from putting human lives at risk, a new functional safety standard called ISO26262 has been introduced. The standard follows the W development model at various phases, and precisely defines the safety related artifacts that has to be delivered at each development phase. According to this standard, establishing the correctness of a system can be achieved through precise implementation of the specification.

For establishing high confidence that the system has been properly implemented, the ISO26262 standard strongly advocates formal verification of the requirements at each abstraction level. Having an automated (formal) process to analyze the correctness of such decomposition of requirements would be very useful, as it would help to uncover errors in the early design phase. Although this issue has received some attention by the research community, there is yet no clear methodology for implementing this analysis.

Aim and Deliverables

The thesis will be conducted within the VeriSpec project with Scania as industrial partner. The aim of the thesis is to facilitate the process of requirements specification compliant with the ISO26262 standard, by providing relevant tools and methods compliant with both academic and industrial needs and issues.

At the end of the thesis process, the following goals must be satisfied:

• Extend Scania tool for requirements specification predefined within the VeriSpec project, to include the following features:
o Support (RT)SPS specification of requirements
o Support label based specification of requirements
o Support specification mixing both approaches: (RT)SPS and label-based specification of requirements

• Propose, develop and evaluate a method (or a combination of methods) for providing the user with relevant feedback about the requirement specification semantics, with the overall goal of guaranteeing that the formal and semi-formal requirements convey the intention of the user. A tool supporting this method must be implemented and seamlessly integrated into the existing toolset for requirement specification and management. Two restrictions apply to this contribution:
o The newly developed method must be scientifically justified. The student is expected to summarize state of the art methods for communicating formal representations to non-expert practitioners
o The proposed method must be implemented in the existing platform and must conform to the previously developed module for requirements specification

• The usability and soundness of the proposed methods and tools must be evaluated with a sufficient number of requirements extracted from Scania E/E systems
Company: Scania, kontaktperson: Mattias Nyberg
Prel. end date: 2015-05-03
Presentation date: 2015-11-13
Student: Trevor Jagerfield
IDT supervisor: Predrag Filipovikj,
Examinator: Cristina Seceleanu
Cristina Seceleanu, +46-21-151764

Rapport och bilagor


Senaste uppdatering



2015-11-30, 12:13

  • Mälardalen University |
  • Box 883 |
  • 721 23 Västerås/Eskilstuna |
  • 021-101300, 016-153600 |
  • webmaster |
  • Latest update: 2017.08.23