Resources

Aerugo

Real time operating system written in RUST.

GitHub – n7space/aerugo: Safety-critical applications oriented Real-Time Operating System written in Rust

CANopen library

CANopen library pre-qualified for space applications.

CANopen · GitLab

SEDS and SAMV71 runtime

Example TASTE project demonstrating the use of SEDS and SAMV71 runtime through an implementation of a LIDAR instrument. 

GitHub – n7space/Demo-Sat-2

SAMV71 BSP

Open sourced subset of SAMV71 BSP.

GitHub – n7space/SAMV71-BSP

SPIN Model Checker

TASTE model checker based on SPIN.

Spin Model Checker GUI manual – TASTE