wfpotter / DO178_Case_StudyLinks
Case study for using MathWorks tools on a DO-178 project
☆28Updated 2 years ago
Alternatives and similar repositories for DO178_Case_Study
Users that are interested in DO178_Case_Study are comparing it to the libraries listed below
Sorting:
- Tools for generating CFS ECI-compatible code from Simulink models☆29Updated 2 years ago
- CCSDS SOIS Electronic Data Sheet Tool and Library☆40Updated 9 months ago
- ELISA Aerospace Working Group☆33Updated this week
- CFS application framework for integrating external C code into the CFS environment☆38Updated 3 years ago
- Provides a framework and tools for developing, downloading, and integrating core Flight System (cFS) applications into an operational sys…☆47Updated last week
- C Implementation of a Software Framework for Service-Oriented Applications with PUS Support☆14Updated 2 months ago
- This is a new repository for a new tool to be added to the cFS ecosystem called cFS Test Framework (CTF).☆34Updated 3 months ago
- Well-Clear Boundary Models for Integration of UAS in the NAS☆52Updated 5 years ago
- ICAROUS is a software architecture for the development of UAS applications☆172Updated 2 years ago
- open source release: LAR-19282-1 Detect and Avoid Alerting Logic for Unmanned Systems (DAIDALUS) with Dynamic Well-Clear Separation Volum…☆75Updated 3 months ago
- This is a GIT repository for the open source spacecraft SysML model presented in the book Architecting Spacecraft with SysML by Sanford F…☆24Updated 8 years ago
- CFS Command and Data Dictionary Tool (CCDDT)☆90Updated last year
- ASN.1 implementation of the PUS-C ECSS standard using ACN encoding.☆17Updated last year
- ☆84Updated 6 years ago
- Automated Analysis Framework for Simulink/Stateflow models.☆59Updated 7 months ago
- A SPARK/Ada driver for the DecaWave DW1000 Ultra-Wideband tranceiver.☆14Updated 6 years ago
- The Core Flight System (cFS) Limit Checker (LC) application.☆31Updated last year
- Avionics team repository of the UAV-ART project☆21Updated 3 years ago
- F Prime Prime: A modeling language for F Prime☆86Updated 3 weeks ago
- @ https://gitlab.com/MISRA/MISRA-C/MISRA-C-2012/Example-Suite☆34Updated 6 years ago
- Provide a software-only solution using the CCSDS Space Data Link Security Protocol - Extended Procedures (SDLS-EP) to secure communicatio…☆128Updated this week
- The Core Flight System (cFS) Housekeeping (HK) application.☆40Updated last year
- ☆79Updated 6 years ago
- The Core Flight System (cFS) CFDP application.☆101Updated 3 weeks ago
- A model-based flight software framework for Ada☆37Updated this week
- JPL's IMCE ontologies for Model-Based Systems Engineering☆20Updated 5 years ago
- XSTAMPP (eXtensible STAMP Platform) is an open-source platform for safety engineering designed specially to serve the widespread adoption…☆28Updated 6 months ago
- Cyber-Physical V&V Challenges for the Evaluation of State of the Art Model Checkers☆13Updated 5 years ago
- The Core Flight System (cFS) Platform Support Package (PSP)☆76Updated 3 weeks ago
- A Functional Mockup Interface (FMI) Standard Implementation for Trick Base Models and Simulations☆22Updated last year