Alternatives and similar repositories for CertWare

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

• nasa / DAVEtools
  A Java package, nominally built in NetBeans, that allows use of DAVE-ML simulation models within tools such as Mathwork's Simulink(R) and…
  ☆31Updated 10 years ago
• nasa / OpenSPIFe
  The Open Scheduling and Planning Interface for Exploration (OpenSPIFe) is an integrated planning and scheduling toolkit based on hundreds…
  ☆109Updated 5 months ago
• nasa / WellClear
  Well-Clear Boundary Models for Integration of UAS in the NAS
  ☆52Updated 4 years ago
• nasa / IDF
  ☆85Updated 3 weeks ago
• nasa / CCDD
  CFS Command and Data Dictionary Tool (CCDDT)
  ☆85Updated 7 months ago
• nasa / OpenVSP
  A parametric aircraft geometry tool
  ☆74Updated 8 years ago
• nasa / cfs_lib
  ☆16Updated 7 years ago
• nasa / Kodiak
  Library for rigorous verification of non-linear arithmetic
  ☆114Updated last year
• nasa / EADINLite
  EADIN_Lite Network Protocol
  ☆59Updated 7 years ago
• nasa / scrub
  SCRUB is a platform for orchestration and aggregation of static code analysis tools.
  ☆44Updated 6 months ago
• nasa / SCA
  The Core Flight System (cFS) Stored Command Absolute (SCA) application.
  ☆19Updated 6 years ago
• nasa / europa
  ☆222Updated 2 years ago
• nasa / FM
  The Core Flight System (cFS) File Manager (FM) application.
  ☆45Updated 9 months ago
• nasa / TTECTrA
  An open source, semi-automated, control design tool for subsonic aircraft engine simulations written in the MATLAB/Simulink environment. …
  ☆65Updated 11 years ago
• nasa / TrickFMI
  A Functional Mockup Interface (FMI) Standard Implementation for Trick Base Models and Simulations
  ☆21Updated last year
• nasa / SIL
  Tools for generating CFS ECI-compatible code from Simulink models
  ☆25Updated last year
• nasa / libSPRITE
  libSPRITE is a set of libraries that have been used on several past projects including flight, technology demonstration, and simulation p…
  ☆61Updated 8 years ago
• nasa / SCH
  The Core Flight System (cFS) Scheduler (SCH) application.
  ☆32Updated 2 years ago
• nasa / gunns
  The NASA General-Use Nodal Network Solver (GUNNS) software
  ☆52Updated last month
• nasa / DS
  The Core Flight System (cFS) Data Storage (DS) application.
  ☆45Updated 10 months ago
• nasa / astrobee_gds
  The Astrobee Control Station is an Eclipse RCP application that can command and monitor an Astrobee robot or simulator.
  ☆20Updated 6 months ago
• nasa / aos-dr
  This cFS app is called Diagnostic Reasoner (DR), and as the name implies, it will diagnose a system of interest. That is, it will do faul…
  ☆10Updated 5 years ago
• nasa / PLEXIL5
  PLEXIL5 is a Formal Verification Environment for PLEXIL
  ☆17Updated last year
• osate / osate2
  Open Source AADL2 Tool Environment
  ☆46Updated this week
• nasa / ADOPT
  Automatic Discovery of Precursors in Time Series Data (ADOPT)
  ☆17Updated 2 years ago
• nasa / elf2cfetbl
  The Core Flight System (cFS) ELF to CFE Table Tool (elf2cfetbl)
  ☆26Updated last year
• nasa / prog_server
  The NASA Prognostics As-A-Service (PaaS) Sandbox is a simplified implementation of a Software Oriented Architecture (SOA) for performing …
  ☆10Updated last month
• nasa / channel-emulator
  ☆73Updated last year
• nasa / CFS_IO_LIB
  ☆20Updated 3 years ago
• nasa / WinSURE
  ☆17Updated 9 years ago