Change search
ReferencesLink to record
Permanent link

Direct link
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
National Category
Communication Systems
URN: urn:nbn:se:mdh:diva-26858OAI: diva2:769667
2014-06-13, Kappa, Västerås, 09:15
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)90 downloads
File information
File name FULLTEXT01.pdfFile size 1222 kBChecksum SHA-512
Type fulltextMimetype application/pdf

By organisation
School of Innovation, Design and Engineering
Communication Systems

Search outside of DiVA

GoogleGoogle Scholar
Total: 90 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: 69 hits
ReferencesLink to record
Permanent link

Direct link