nasa / CertWare
☆50Updated 8 years ago
Alternatives and similar repositories for CertWare:
Users that are interested in CertWare are comparing it to the libraries listed below
- A Java package, nominally built in NetBeans, that allows use of DAVE-ML simulation models within tools such as Mathwork's Simulink(R) and…☆30Updated 9 years ago
- The Open Scheduling and Planning Interface for Exploration (OpenSPIFe) is an integrated planning and scheduling toolkit based on hundreds…☆105Updated 5 years ago
- CFS Command and Data Dictionary Tool (CCDDT)☆83Updated 2 months ago
- Well-Clear Boundary Models for Integration of UAS in the NAS☆50Updated 4 years ago
- EADIN_Lite Network Protocol☆55Updated 6 years ago
- A parametric aircraft geometry tool☆73Updated 8 years ago
- Library for rigorous verification of non-linear arithmetic☆108Updated 8 months ago
- libSPRITE is a set of libraries that have been used on several past projects including flight, technology demonstration, and simulation p…☆60Updated 8 years ago
- an API facilitating the access of MISR standard product files☆21Updated 4 years ago
- ☆16Updated 7 years ago
- Web Client Application designed to enable users to interact with Model Based System Engineering (MBSE) models☆42Updated 6 months ago
- The Core Flight System (cFS) Stored Command Absolute (SCA) application.☆18Updated 5 years ago
- The Core Flight System (cFS) Data Storage (DS) application.☆44Updated 4 months ago
- The Core Flight System (cFS) Limit Checker (LC) application.☆31Updated 2 months ago
- Open Source AADL2 Tool Environment☆41Updated 3 months ago
- Tools for generating CFS ECI-compatible code from Simulink models☆20Updated last year
- TrickHLA: An IEEE 1516 High Level Architecture (HLA) Simulation Interoperability Standard Implementation for Trick Base Simulations☆43Updated 2 weeks ago
- A Functional Mockup Interface (FMI) Standard Implementation for Trick Base Models and Simulations☆21Updated 7 months ago
- JPL's IMCE ontologies for Model-Based Systems Engineering☆20Updated 5 years ago
- OpenGEODE - a free SDL State Machine editor for space applications...and more☆74Updated last week
- The Core Flight System (cFS) Memory Dwell (MD) application.☆25Updated 4 months ago
- ☆38Updated 4 years ago
- ☆19Updated last year
- SCRUB is a platform for orchestration and aggregation of static code analysis tools.☆42Updated last week
- The Core Flight System (cFS) Scheduler (SCH) application.☆31Updated last year
- The NASA General-Use Nodal Network Solver (GUNNS) software☆48Updated 3 weeks ago
- Massif is a Matlab Simulink Integration Framework for Eclipse☆19Updated 10 months ago
- ☆45Updated 2 weeks ago
- The Core Flight System (cFS) Memory Manager (MM) application.☆29Updated 4 months ago
- The Core Flight System (cFS) Health and Safety (HS) application.☆37Updated 2 months ago