Model-checked Space Plug-and-Play Architecture Local Subnet Adaptation implemented in Ada with Ravenscar restrictions
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 satellit...
| Main Author: | |
|---|---|
| Format: | Others |
| Language: | English |
| Published: |
Mälardalens högskola, Akademin för innovation, design och teknik
2014
|
| Online Access: | http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-26858 |