Sökning: "Christoffer Holmstedt"

Hittade 1 uppsats innehållade orden Christoffer Holmstedt.

  1. 1. Model-checked Space Plug-and-Play Architecture Local Subnet Adaptation implemented in Ada with Ravenscar restrictions

    Master-uppsats, Mälardalens högskola/Akademin för innovation, design och teknik

    Författare :Christoffer Holmstedt; [2014]
    Nyckelord :;

    Sammanfattning : 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. LÄS MER