Change search
ReferencesLink to record
Permanent link

Direct link
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
URN: urn:nbn:se:mdh:diva-19296OAI: diva2:630381
External cooperation
Swedish Armed Forces (SWAF)
Subject / course
Computer Science
2013-01-31, Kappa, Mälardalens högskola, Box 883,, 721 23 Västerås, Sweden, 14:45 (English)
Available from: 2013-06-26 Created: 2013-06-18 Last updated: 2013-06-26Bibliographically approved

Open Access in DiVA

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

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

Search outside of DiVA

GoogleGoogle Scholar
Total: 135 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

Total: 444 hits
ReferencesLink to record
Permanent link

Direct link