Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
An executable meta-model for safety oriented software and systems development processes within the avionics domain in compliance with RTCA DO 178 B
Mälardalen University, School of Innovation, Design and Engineering.
2013 (English)Independent thesis Advanced level (degree of Master (Two Years)), 20 credits / 30 HE creditsStudent thesis
Abstract [en]

"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 software plays a vital role in avionics and hence its development and its certification are indispensable. “RTCA DO-178B- Software Considerations in Airborne Systems and Equipment Certification” provides the normative guidelines to develop such systems. In particular, this standard provides the safety protocol and processes that should be followed to achieve safe systems. The safety guideline of DO178B emphasizes more on better documentation, communication and visibility into actual process.

For realizing the guidelines of DO178B, a well-defined and collectively accepted (at least at the development team–level) interpretationof the protocol and processes is needed. To achieve such interpretation, a well-defined modeling language that models the process with safety construct is essential. The Object Management Group’s Software and System Process Engineering Metamodel SPEM 2.0 standard provides specification for modeling software and systems development processes. SPEM2.0, however, is a general purpose language and does notprovide sufficient coverage in terms of language constructs to address safety concerns.

This thesis proposes S-SPEM, an extension of the SPEM2.0 to allow users to specify safety-oriented processes for the development of safety critical systems in the context of RTCA DO 178B. The DO178B is analyzed to capture the safety related process elements and SPEM 2.0 is extended to include those safety concepts. Moreover, to simulate and validate the modeled processes, S-SPEMconcepts are mapped onto XML Process Definition Language (XPDL) concepts and a transformation algorithm is sketched. Finally, a case-study will illustrate theusage and effectiveness of the proposed extension.

Place, publisher, year, edition, pages
2013. , 80 p.
Keyword [en]
Safety-oriented processes, Process modelling, SPEM2.0, Process exchange, XPDL, Process reuse.
National Category
Computer Science Software Engineering
Identifiers
URN: urn:nbn:se:mdh:diva-19296OAI: oai:DiVA.org:mdh-19296DiVA: diva2:630381
External cooperation
Swedish Armed Forces (SWAF)
Subject / course
Computer Science
Presentation
2013-01-31, Kappa, Mälardalens högskola, Box 883,, 721 23 Västerås, Sweden, 14:45 (English)
Supervisors
Examiners
Available from: 2013-06-26 Created: 2013-06-18 Last updated: 2013-06-26Bibliographically approved

Open Access in DiVA

fulltext(1951 kB)201 downloads
File information
File name FULLTEXT01.pdfFile size 1951 kBChecksum SHA-512
2b34d39b84eb8423436fc950ad3ad3fb2b1f4a1a9b3a159e46f658a4fdfdecbb8c988f34da54cc92baa8c2018ce9b9ef878cc7098a5ba23cf3314febcd310920
Type fulltextMimetype application/pdf

By organisation
School of Innovation, Design and Engineering
Computer ScienceSoftware Engineering

Search outside of DiVA

GoogleGoogle Scholar
Total: 201 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

urn-nbn

Altmetric score

urn-nbn
Total: 500 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf