Bachelor and Master Theses

Title: An executable meta-model for safety-oriented software and systems development processes within the avionics domain in compliance with RTCA DO 178B
Subject: Computer Science
Level: Advanced
Description: Context:
"There are two critical points in every aerial flight—its beginning and its end." — Alexander Graham Bell, 1906. From beginning till the end, the safety critical embedded systems play a vital role in avionics hence its development and its certification is indispensable. “DO-178B- Software Considerations in Airborne Systems and Equipment Certification” provides the normative guidelines to develop such systems. In particular, this standard provides the process that should be followed to achieve safe systems.
The OMG SPEM2.0 standard permits software and systems development processes to be specified. SPEM2.0, however, is a general purpose language and does not provide sufficient coverage in terms of language constructs to address safety concerns [1]. This thesis aims at providing an extension of the SPEM2.0 standard to allow users to specify safety-oriented processes for the development of safety critical systems in the context of RTCA DO 178B. Moreover, to simulate and validate the modeled processes, an executable semantics will be provided. Finally, a case-study will illustrate the usage and effectiveness of the proposed extension.

Goals:
-Achievement of a deep understanding of the typical software and systems development processes for safety critical systems (focus on the normative process given in D0178B);
-Achievement of a deep familiarity with the OMG SPEM2.0 standard to be able to evaluate its adequateness/inadequateness in modeling safety-oriented software and systems development processes;
-Achievement of an adequate modeling language for safety-oriented development processes;

Tasks include:
-Study of the DO 178 B standard to understand which are the essential phases, tasks, roles, work-products, etc. that compose the safety-oriented development process within the avionics domain;
-Study of the OMG SPEM2.0 standard to understand: 1) which are the current modeling capabilities available to specify processes; 2) which are the crucial missing modeling constructs;
-Survey of the current industrial practices to understand the current state of the art and eventual open issues;
-Investigation of the current practices in extending SPEM2.0 towards the provision of new modeling capabilities;
-Proposal of an extension of SPEM2.0 to achieve an adequate modeling language for safety-oriented development processes;
-Provision of an executable semantics to simulate and validate.

Required outcome:
a) An executable meta-model for safety-oriented software and systems development process;
b) A case study to illustrate and evaluate the proposed meta-model;
c) A thesis report describing the work including an extensive survey on related topics, as well as suggestions/discussion for technical improvements of the proposed meta-model.

References:
[1] H. Y. Zhang, B. Hamid and D. Gouteux. A metamodel for representing safety lifecycle development process. In Proceedings of the 6th International Conference on Software Engineering Advances (ICSEA), Barcelona, Spain, October 2011.
Company: SWAF, kontaktperson: Ross W Tsagalidis
Prel. end date: 2013-06-20
Presentation date: 2013-01-31
Student: Karthik Raja Pitchai kpi10001@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

TR1351.pdf

1902828

2013-06-24, 15:26


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