Essays about: "Ravenscar"

Found 2 essays containing the word Ravenscar.

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

    University essay from Mälardalens högskola/Akademin för innovation, design och teknik

    Author : Christoffer Holmstedt; [2014]
    Keywords : ;

    Abstract : 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. READ MORE

  3. 2. Definition, analysis and implementation of a model-checked Space Plug-and-play Architecture adaptation for the Controller Area Network

    University essay from Mälardalens högskola/Akademin för innovation, design och teknik

    Author : Nils Brynedal Ignell; [2014]
    Keywords : Space Plug-and-Play Architecture; SPA; UPPAAL; Ada; Ravenscar; Controller Area Network; CAN; Virtual Network protocol;

    Abstract : The Virtual Network (VN) protocol is a communications protocol software compatible with the Space Plug-and-play Architecture (SPA). This Master Thesis defines a protocol that extends the Virtual Network protocol to cover communication over the Controller Area Network (CAN). READ MORE