Bachelor and Master Theses

Title: Attributes of Space plug-and-play Avionics Local Subnet verified with UPPAAL
Subject: Computer Science
Level: Advanced
Description: Background
Space plug-and-play Avionics (SPA) was developed by NASA and partners to drastically decrease
the time it takes to assemble a satellite for a specific mission. As an introduction in the SPA Local
Subnet Adaption standard, SPA is described as follows.
”SPA embraces and implements a collection of standards designed to facilitate rapid
constitution of spacecraft systems using modular components. ”
A component in SPA can either be a hardware component or a software component. In each
processing unit (e.g a CPU) one or more software components can run in parallell. In the SPA
standard the RFC 768 User Datagram Protocol/Internet Protocol (UDP/IP) is referenced and chosen
as the technology to use for Inter Process Communication (IPC).
Ada is a statically typed programming language first defined in 1983 with updates to the language
feature set in 1995, 2005 and 2012 and it's mainly used for high-integrity systems such as the
Boeing 777 aircraft. Defined as a part of the language, Ada Tasks can be used to create a
multithreaded system without depending on an operating system to do the multitasking. The
Ravenscar profile that was introduced in the 2005 revision of the language is a set of restrictions on
Ada Tasks to make it easier to develop Ada programs with tasks for high-integrity systems.
Problem statement
After designing a SPA Local Subnet with Ada Tasks and the Ravenscar profile instead of UDP/IP
for IPC which attributes does the design show?
Thesis goals
1. Design a SPA Local Subnet system with Ada Tasks and the ravenscar profile that can
interoperate with other SPA components in a SPA network.
2. Evaluate the design with UPPAAL model-checking software to verify the designs attributes.
3. Develop a SPA Local Subnet Manager in Ada with Ada Tasks and the ravenscar profile.
Extra goals if time permits
4. Design and develop extra infrastructure software components for easier interoperability
1. A central addressing service (CAS).
2. A Lookup Service (LS).
5. Design and develop extra software components for easier development of new SPA software
components written in Ada as Ada Tasks.
1. Develop drivers and stubs that can be used to test common interfaces.
Start date: 2014-01-20
Presentation date: 2014-06-13
Student: Christoffer Holmstedt
IDT supervisor: Fredrik Bruhn,
Examinator: Kristina Lundqvist
Kristina Lundqvist, +46 (0)21 101428

Rapport och bilagor


Senaste uppdatering



2014-09-02, 11:27

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