Resources

Microchip MCUs Board Suport Package API

Doxygen documenttaion of ECSS criticality B Board Support Package for space grade MCUs from Microchip.

https://n7space.github.io/arm-bsp-doc

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