chgio
I like applying model-based engineering and formal methods to safety-critical embedded systems for space applications. Sometimes my @guorbit code flies!
GU Orbit (PM/SysEng)Glasgow, Scotland
chgio's Stars
ppeetteerrs/obsidian-zola
A no-brainer solution to turning your Obsidian PKM into a Zola site.
CATIA-Systems/FMPy
Simulate Functional Mockup Units (FMUs) in Python
n7space/aerugo
Safety-critical applications oriented Real-Time Operating System written in Rust
maxime-esa/asn1scc
ASN1SCC: An open source ASN.1 compiler for embedded systems
eclipse-capella/capella
Open Source Solution for Model-Based Systems Engineering
esa/opengeode
OpenGEODE - a free SDL State Machine editor for space applications...and more
DSD-DBS/py-capellambse
A Python 3 headless implementation of the Capella modeling tool.
labs4capella/python4capella
Python for Capella
eclipse-capella/capella-requirements-vp
This add-on allows importing a set of requirements from a ReqIF file
n7space/asn1scc.IDE
Qt Creator plugin for asn1scc - ASN.1/ACN compiler for embedded systems
ttsiodras/DataModellingTools
The Data Modelling Tools of the European Space Agency's TASTE toolchain
n7space/asn1-pusc-lib
ASN.1 implementation of the PUS-C ECSS standard using ACN encoding.
Jscott44/RTEP5-the-raspberry-jam
Realtime digital guitar effects pedal designed for Raspberry PI, written in C++
eclipse-capella/capella-studio
Open source SDK to develop Capella add-ons
guorbit/obc-model
Functional/Architectural Capella 6.0 model for the ASTRAEUS-01 spacecraft system and all its subsystems.
eclipse-capella/capella-xhtml-docgen
XHTML Documentation Generation AddOn provides output HTML files for Capella model
labs4capella/DSM4Capella
eclipse-capella/capella-sss-transition
System to Sub System transition add-on enables automated and iterative transition between system and subsystems.
n7space/adac-hybrid-msp430
Hybrid Ada compiler for MSP430 platform
n7space/MSP430-Emulator
Providing a software model of the TI MSP430
guorbit/adcs-standalone
Standalone (non-TASTE) implementation of the ADCS Subsystem, developed in PlatformIO with Arduino/MbedOS for RPi-Pico/STM32F
guorbit/matlab-system-model
Mathematical model of the ASTRAEUS-01 spacecraft and its relevant subsystems.
guorbit/obc-firmware
ESA TASTE model for the On-Board Computer subsystem firmware.
guorbit/processing-pipeline
The backbone of the on-board processing pipeline for CloudView and ASTRAEUS-01
materpillar/Capella-HTML-exporter
n7space/Capella-TASTE-Plugin
Capella plugin for exporting models to TASTE
n7space/sdl2promela
guorbit/camera-relay
Firmware for the Raspberry Pi Pico acting as the PWM controller between the OBC and the MAPIR Survey 3 camera.
guorbit/pipeline-relay
Firmware for the Raspberry Pi Pico acting as an I2C-UART bridge between the OBC and the Jetson Nano.
n7space/Spin
Explicit state logic model checking tool -- 2002 winner of the ACM System Software Award.