Provide a software-only solution using the CCSDS Space Data Link Security Protocol - Extended Procedures (SDLS-EP) to secure communications between a spacecraft running the core Flight System (cFS) and a ground station.

Exploring kernel-level operating system design through simulation and machine learning. And early experiments toward building a custom OS with apelang my own programming lang.

NASA Operational Simulator for Space Systems

Trick Variable Server Input Output is a Core Flight Software app that can transfer data to and from Trick simulations

An implementation of various CPU scheduling algorithms and simulation using GTK3 libraries in c. The algorithms included are FCFS, SJF, SRTF, Priority (preemptive/non-preemptive), Round Robin, HRRN, MLQ, and CFS. It provides output using Gantt-chart execution, and visualises order of process excecution.

This project implements a comprehensive machine learning pipeline to predict Netflix (NFLX) stock prices using linear regression and various advanced techniques for the course Statistical Methods of Machine Learning.

Auto-configure CFS and process priorities for improved desktop responsiveness

Generator of runtime monitors for flight and robotics applications.

Space ROS (RACS2) demonstration based on TurtleBot3

Safe, idiomatic bindings to cFE and OSAL APIs for Rust

24-1 운영체제 (prof. 서의성)

Cookiecutter template to generate a cFS app

A simulation project to analyze CPU-bound and I/O-bound task scheduling.

A sample project for integrating TVS-IO into cFS