0
0
Below is the list of Discovery programme projects resulting from ideas submitted through the Open Space Innovation Platform (OSIP) Campaign for new concepts for onboard software development.
Using game engine techniques and Rust to modernise onboard software (Airbus Defense and Space, France)
Generating Formally Verified Communication Protocol Implementations (Ateleris, Switzerland)
Mathlib evolution towards future AOCS/GNC and AI needs (Thales Alenia Space, France)
cRustacea in space – co-operative Rust- and C-embedded applications in space – theory and practice (German Aerospace Center – Institute for Software Technology, Germany)
AI-based onboard reconfigurable FDIR and lifetime prediction for constellations (S.A.T.E. – Systems And Advanced Technologies Engineering, Italy)
Explainable Secure Deep Learning Software for Spacecraft GNC Systems (City, University of London, UK)
Augmented observability of OBSW for enhanced testing (Thales Alenia Space, France)
Open Source Software Randomisation Framework for Probabilistic WCET Prediction and Security on (multicore) CPUs, GPUs and Accelerators (Barcelona Supercomputing Center, Spain)
Formal Methods for GPU Software Development and Verification (Barcelona Supercomputing Center, Spain)
Artificial intelligence applied to code repair after code static analysis verification (Thales Alenia Space, Spain)
Early technology project for future orbital missions – onboard FDIR based on AI techniques with data streams from Columbus and autonomous TM management control (Airbus Defence and Space, Germany)
Evaluation of Rust usage in space applications by developing BSP and RTOS targeting SAMV71 (N7 Space, Poland)
Neural network software/hardware auto-coding from standard ONNX definition (GMV Aerospace and Defence, Spain)
Providing safety guarantees for ML-based components through automated debugging and input generation (University of Luxembourg, Luxembourg)
Thank you for liking
You have already liked this page, you can only like it once!
source
