Bachelor and Master Theses

Title: Reusing Process Elements in the Context of Safety Critical Systems Development and Certification
Subject: Computer Science
Level: Advanced
Description: Reuse in the context of (cross-domain) safety critical systems development and certification is a serious open issue. Currently, no satisfying systematic approach is available to identify reusable safety process artifacts. Thus systems development and certification remain highly time-consuming and costly. To advance the state of the art towards a feasible and applicable solution, this thesis investigates reuse possibilities by focusing on safety-oriented process lines.
This thesis is defined in the framework of two related research projects, namely SafeCer [1] and SYNOPSIS [2].

Tasks included:
- Studying background information useful to better grasp the problem ([1-2]) as well as mastering means useful to build a solution (e.g. SPEM2.0/EPF [8-9]);
- Reading parts of the safety standards (ISO26262 [3], EN50128 [4] and DO-178C [5]) to identify commonalities and variabilities. This task builds on top of the work presented in [6-7];
- Provision of a safety-oriented process line model.
- Provision of guidelines to derive single processes from the process line.

Required outcome: A thesis report that includes:
- An analysis of the best practices in terms of reuse possibilities in the context of safety critical systems development and certification;
- A case study.

References to start with:
[1] ARTEMIS-JU- 269265 SafeCer - Safety Certification of Software-Intensive Systems with Reusable Components.
[2] SYNOPSIS- SSF- RIT10-0070. Safety Analysis for Predictable Software Intensive Systems. Swedish Foundation for Strategic Research.
[3] ISO26262. Road vehicles – Functional safety. International Standard, November 2011.
[4] BS EN50128. Railway applications: Communications, signalling and processing systems, Software for railway control and protection systems - May 2001.
[5] DO-178C RTCA/DO-178C Software Considerations in Airborne Systems and Equipment Certification. RTCA, Inc. 2011.
[6] T. Ternite. Process Lines: A Product Line Approach Designed for Process Model Development. Software Engineering and Advanced Applications, Euromicro Conference, pp. 173-180, 2009 35th Euromicro Conference on Software Engineering and Advanced Applications, 2009.
[7] B. Gallina, I. Sljivo, O. Jaradat. Towards a Safety-oriented Process Line for Enabling Reuse in Safety Critical Systems Development and Certification. Post-proceedings of the 35th IEEE Software Engineering Workshop (SEW-35), 2012.
[8] OMG. Software & systems Process Engineering Meta-model (SPEM), v 2.0. Full Specification formal/08-04-01, Object Management Group, 2008.
[9] Eclipse Process Framework
Start date: 2013-03-21
Prel. end date: 2013-06-15
Presentation date: 2017 -06-0
Student: Shaghayegh Kashiyarandi
Prerequisites: DVA321; knowledge of SPEM2.0
IDT supervisor: Barbara Gallina, 021-101631
Examinator: Kristina Lundqvist
Kristina Lundqvist, +46 (0)21 101428

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