Alternatives and similar repositories for DO178_Case_Study

Users that are interested in DO178_Case_Study are comparing it to the libraries listed below

• coco-team / cocoSim-deprecated
  Automated Analysis Framework for Simulink/Stateflow (deprecated, see cocoSim2)
  ☆25Updated 8 years ago
• SE-Stuttgart / XSTAMPP
  XSTAMPP (eXtensible STAMP Platform) is an open-source platform for safety engineering designed specially to serve the widespread adoption…
  ☆28Updated last month
• n7space / asn1-pusc-lib
  ASN.1 implementation of the PUS-C ECSS standard using ACN encoding.
  ☆16Updated last year
• NASA-SW-VnV / CoCoSim
  Automated Analysis Framework for Simulink/Stateflow models.
  ☆53Updated 2 months ago
• pnp-software / cordetfw
  C Implementation of a Software Framework for Service-Oriented Applications with PUS Support
  ☆14Updated last week
• hbourbouh / lm_challenges
  Cyber-Physical V&V Challenges for the Evaluation of State of the Art Model Checkers
  ☆12Updated 5 years ago
• AeroTec-ATLAS / UAV-ART
  Avionics team repository of the UAV-ART project
  ☆19Updated 2 years ago
• lgwagner / SpeAR
  Specification and Analysis for Requirements Tool
  ☆20Updated 4 years ago
• osate / osate2
  Open Source AADL2 Tool Environment
  ☆46Updated this week
• nasa / CCDD
  CFS Command and Data Dictionary Tool (CCDDT)
  ☆85Updated 7 months ago
• elisa-tech / wg-aerospace
  ELISA Aerospace Working Group
  ☆32Updated last week
• nasa / ECI
  CFS application framework for integrating external C code into the CFS environment
  ☆37Updated 2 years ago
• cfs-tools / cfs-basecamp
  Provides a framework and tools for developing, downloading, and integrating core Flight System (cFS) applications into an operational sys…
  ☆39Updated last week
• nasa / icarous
  ICAROUS is a software architecture for the development of UAS applications
  ☆168Updated 2 years ago
• nasa / EdsLib
  CCSDS SOIS Electronic Data Sheet Tool and Library
  ☆38Updated 4 months ago
• coco-team / cocoSim2
  Automated Analysis Framework for Simulink/Stateflow
  ☆16Updated 2 years ago
• nasa / SIL
  Tools for generating CFS ECI-compatible code from Simulink models
  ☆25Updated last year
• jcmarsh / cpek
  cFE Performance Evaluation Kit
  ☆8Updated 7 years ago
• UASLab / OpenFlightSim
  Open Flight Simulation
  ☆33Updated 3 years ago
• parthp08 / F16-Flight-Control-and-Simulation
  Nonlinear and linear flight simulation with autopilots for altitude hold, velocity hold, and pitch controls(SAS damper).
  ☆12Updated 3 years ago
• nasa / GTM_DesignSim
  ☆75Updated 5 years ago
• nasa / fpp
  F Prime Prime: A modeling language for F Prime
  ☆77Updated last week
• MathWorks-Teaching-Resources / Virtual-Controls-Laboratory
  Virtual labs and mechanisms for studying controls.
  ☆80Updated 9 months ago
• mbeddr / mbeddr.formal
  FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.
  ☆27Updated 2 weeks ago
• damaki / DW1000
  A SPARK/Ada driver for the DecaWave DW1000 Ultra-Wideband tranceiver.
  ☆14Updated 5 years ago
• mathworks / jenkins-matlab-plugin
  This plugin enables you to run MATLAB® and Simulink® as part of your Jenkins™ build.
  ☆52Updated 4 months ago
• actiontofu / architecting-spacecraft
  This is a GIT repository for the open source spacecraft SysML model presented in the book Architecting Spacecraft with SysML by Sanford F…
  ☆24Updated 7 years ago
• Ro3code / aircraft_3d_animation
  A Matlab tool to visualize recorded or simulated flight data
  ☆164Updated 2 months ago
• fprime-community / fprime-course-materials
  Slide decks used in courses taught regarding F´
  ☆67Updated 9 months ago
• OpenCyphal-Garage / libcyphal
  Portable reference implementation of the Cyphal protocol stack in C++ for embedded systems and Linux.
  ☆314Updated 3 months ago