Bachelor and Master Theses

Title: Deriving Reusable Process-based Arguments from Process Models in the Context of Safety Critical Systems Development and Certification
Subject: Computer Science
Level: Advanced
Description: Reuse in the context of (intra as well as cross-domain) safety critical systems development and certification is a serious open issue. Currently, no systematic and integrated approach is available to derive certification artifacts from 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 in the context of certification artifacts by focusing on process-based arguments within safety cases.
The aim of the thesis is to propose an approach to derive reusable process-based arguments from process models as well as from reusable process elements to foster the creation of safety cases.
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 as well as mastering means useful to build a solution:
o Getting familiar with safety life-cycles (processes) e.g. [3-4];
o Getting familiar with process modeling e.g. SPEM2.0/EPF [5-6];
o Getting familiar with process-based arguments and documentation practices (GSN[7], ARM[8]);
o Getting familiar with transformation techniques;
- Identifying possible process-based patterns;
- Investigating how to derive (semi)automatically process-based arguments from process models;
- Providing a case-study.

Required outcome: A thesis report that includes:
- An analysis of the best practices in terms of process-based argumentation;
- An approach to derive process-based arguments from process models;
- 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] OMG. Software & systems Process Engineering Meta-model (SPEM), v 2.0. Full Specification formal/08-04-01, Object Management Group, 2008.
[6] Eclipse Process Framework http://www.eclipse.org/epf/
[7] GSN COMMUNITY STANDARD VERSION 1. November, 2011, http://www.goalstructuringnotation.info/documents/GSN_Standard.pdf
[8] ARM. http://www.omg.org/spec/ARM/
Start date: 2013-10-16
Student: Ejaz Asghar Ali eai10002@student.mdh.se
IDT supervisor: Barbara Gallina
barbara.gallina@mdh.se, 021-101631
Examinator: Kristina Lundqvist
Kristina Lundqvist
kristina.lundqvist@mdh.se, +46 (0)21 101428

Rapport och bilagor

Size

Senaste uppdatering


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