Beneath is the listing of Discovery programme tasks ensuing from concepts submitted by the Open House Innovation Platform (OSIP) Marketing campaign for new ideas for onboard software program improvement.
Utilizing sport engine strategies and Rust to modernise onboard software program (Airbus Protection and House, France)
Producing Formally Verified Communication Protocol Implementations (Ateleris, Switzerland)
Mathlib evolution in direction of future AOCS/GNC and AI wants (Thales Alenia House, France)
cRustacea in house – co-operative Rust- and C-embedded functions in house – idea and observe (German Aerospace Middle – Institute for Software program Expertise, Germany)
AI-based onboard reconfigurable FDIR and lifelong prediction for constellations (S.A.T.E. – Programs And Superior Applied sciences Engineering, Italy)
Explainable Safe Deep Studying Software program for Spacecraft GNC Programs (Metropolis, College of London, UK)
Augmented observability of OBSW for enhanced testing (Thales Alenia House, France)
Open Supply Software program Randomisation Framework for Probabilistic WCET Prediction and Safety on (multicore) CPUs, GPUs and Accelerators (Barcelona Supercomputing Middle, Spain)
Formal Strategies for GPU Software program Growth and Verification (Barcelona Supercomputing Middle, Spain)
Synthetic intelligence utilized to code restore after code static evaluation verification (Thales Alenia House, Spain)
Early know-how challenge for future orbital missions – onboard FDIR primarily based on AI strategies with knowledge streams from Columbus and autonomous TM administration management (Airbus Defence and House, Germany)
Analysis of Rust utilization in house functions by growing BSP and RTOS concentrating on SAMV71 (N7 House, Poland)
Neural community software program/{hardware} auto-coding from commonplace ONNX definition (GMV Aerospace and Defence, Spain)
Offering security ensures for ML-based elements by automated debugging and enter era (College of Luxembourg, Luxembourg)
Supply hyperlink
