RUNVERSPACE
Runtime Verification for Space Software Architectures Duration: 2024 - 2025 Funding: Swiss National Science Foundation (SNSF) Recent technological advances have led to powerful and cost-effective on-board computers running software built with open frameworks targeting small-scale missions such as CubeSats and Unmanned Aerial Vehicles.