elisa-tech / wg-aerospaceLinks
ELISA Aerospace Working Group
☆32Updated last week
Alternatives and similar repositories for wg-aerospace
Users that are interested in wg-aerospace are comparing it to the libraries listed below
Sorting:
- C Implementation of a Software Framework for Service-Oriented Applications with PUS Support☆14Updated last month
- ☆35Updated 2 months ago
- RACS - the ROS1 and cFS System☆30Updated 2 years ago
- CFS application framework for integrating external C code into the CFS environment☆37Updated 3 years ago
- Integrated System for Autonomous and Adaptive Caretaking☆47Updated last year
- How to create a bitbake recipe for a ROS package and cross-compile it.☆11Updated 12 years ago
- C++ EtherCAT Device Command & Control Library☆62Updated 3 weeks ago
- Slide decks used in courses taught regarding F´☆75Updated last year
- ☆11Updated 2 months ago
- Zephyr RTOS based Vehicle Management Unit☆31Updated this week
- Tools for generating CFS ECI-compatible code from Simulink models☆27Updated 2 years ago
- OUTPOST - Open modUlar sofTware PlatfOrm for SpacecrafT☆35Updated 2 years ago
- Cyber-Physical V&V Challenges for the Evaluation of State of the Art Model Checkers☆13Updated 5 years ago
- Ada binding and tools for ROS2 - workspace overlay and documentation☆24Updated last year
- Provides a framework and tools for developing, downloading, and integrating core Flight System (cFS) applications into an operational sys…☆42Updated this week
- AADL models for the Crazyflie UAV -- OMSCS Class CS7639☆11Updated 5 years ago
- ☆18Updated last year
- Parameter management tool for autopilots☆27Updated last year
- Implementation based on DDS-XTYPES standard (https://www.omg.org/spec/DDS-XTypes)☆22Updated last year
- F Prime Prime: A modeling language for F Prime☆85Updated this week
- FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.☆27Updated this week
- Lighter-than-air, peer-to-peer, bounded, non-blocking, non-threaded, etc., publish-subscribe networking☆52Updated 4 years ago
- Wireshark dissector for Zenoh protocol☆31Updated last week
- Tools for debugging and profiling ARM Cortex-M devices as found on the PX4 Autopilot FMU boards☆68Updated last month
- Bare Metal Board Support Package for Texas Instruments Cortex-R4F/R5F TMS570☆29Updated 4 years ago
- Safe, idiomatic bindings to cFE and OSAL APIs for Rust☆17Updated last month
- Robot navigation algorithms implemented in SPARK☆12Updated 11 years ago
- This add-on allows importing a set of requirements from a ReqIF file☆22Updated 6 months ago
- ROS2 node that collects metrics about system resource consumption and publishes them to a topic to be emitted to CloudWatch Metrics.☆16Updated 3 years ago
- Packages which provide the typesupport for ROS messages and services☆18Updated last month