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
Model-checked Space Plug-and-Play Architecture Local Subnet Adaptation implemented in Ada with Ravenscar restrictions
Mälardalen University, School of Innovation, Design and Engineering.
2014 (English)Independent thesis Advanced level (degree of Master (Two Years)), 20 credits / 30 HE creditsStudent thesis
Abstract [en]

Space Plug-and-Play Architecture (SPA) is a set of standards to make it easier to build small satellites. Focus is put on improving the integration phase andthe time consuming validation and verification process by introducing plug-and-play functionality. From mission call-up to operational satellite it should only take six days.

A SPA network consists of several different types of subnets with differentpros and cons. For each processing node there must be one Local Subnet Manager (SM-L). The SM-L can communicate over different communication protocols depending on how the respective local subnet is set up, one option is UDP/IP.

In this thesis Ada Protected Objects is presented as a viable option for inter-process communication instead of UDP/IP in a SPA network. This thesis presents the initial work towards a SPA Local Subnet Adaptation that builds onlanguage constructs in Ada such as Ada Tasks and Protected Objects. The system design and implementation is verified deadlock free with UPPAAL but showsindications of livelock possibilities. The severity of these livelocksituations is discussed in the conclusion.

Place, publisher, year, edition, pages
2014.
National Category
Communication Systems
Identifiers
URN: urn:nbn:se:mdh:diva-26858OAI: oai:DiVA.org:mdh-26858DiVA: diva2:769667
Presentation
2014-06-13, Kappa, Västerås, 09:15
Supervisors
Examiners
Available from: 2014-12-09 Created: 2014-12-08 Last updated: 2014-12-09Bibliographically approved

Open Access in DiVA

20141102_christoffer_holmstedt_master_thesis_679ea779(1222 kB)143 downloads
File information
File name FULLTEXT01.pdfFile size 1222 kBChecksum SHA-512
158715f4e713e5bb1fc26d1b1a643471ac4ad5977299060ffc34e1342b49045def34684fbcd9ee7d1b9d1fb9f5c3e3053ea9c8cd1572134145d7578d687b34ee
Type fulltextMimetype application/pdf

By organisation
School of Innovation, Design and Engineering
Communication Systems

Search outside of DiVA

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