Alternatives and similar repositories for PLEXIL5

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

• nasa / SIL
  Tools for generating CFS ECI-compatible code from Simulink models
  ☆27Updated 2 years 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…
  ☆11Updated 5 years ago
• nasa / WellClear
  Well-Clear Boundary Models for Integration of UAS in the NAS
  ☆52Updated 5 years ago
• nasa / cfs_lib
  ☆16Updated 7 years ago
• nasa / CTF
  This is a new repository for a new tool to be added to the cFS ecosystem called cFS Test Framework (CTF).
  ☆34Updated last month
• nasa / CFS_IO_LIB
  ☆21Updated 3 years ago
• NASA-SW-VnV / CoCoSim
  Automated Analysis Framework for Simulink/Stateflow models.
  ☆55Updated 5 months ago
• nasa / ECI
  CFS application framework for integrating external C code into the CFS environment
  ☆37Updated 3 years ago
• nasa / HK
  The Core Flight System (cFS) Housekeeping (HK) application.
  ☆40Updated last year
• nasa / LC
  The Core Flight System (cFS) Limit Checker (LC) application.
  ☆31Updated 11 months ago
• nasa / icarous
  ICAROUS is a software architecture for the development of UAS applications
  ☆171Updated 2 years ago
• nasa / SAFE-DART
  ☆11Updated 7 years ago
• nasa / CertWare
  ☆52Updated 9 years ago
• nasa / SBN
  ☆41Updated 2 years ago
• nasa / isaac
  Integrated System for Autonomous and Adaptive Caretaking
  ☆47Updated last year
• nasa / TrickFMI
  A Functional Mockup Interface (FMI) Standard Implementation for Trick Base Models and Simulations
  ☆21Updated last year
• nasa / SC
  The Core Flight System (cFS) Stored Commands (SC) application.
  ☆41Updated 9 months ago
• nasa / webgs
  LAR-19641-1: WebGS: Web-based Platform for Multi-UAV Flight Visualization and Simulation
  ☆29Updated 2 years ago
• nasa / SCH
  The Core Flight System (cFS) Scheduler (SCH) application.
  ☆34Updated 2 years ago
• nasa / OnAIR
  The On-board Artificial Intelligence Research (OnAIR) Platform is a framework that enables AI algorithms written in Python to interact wi…
  ☆85Updated last month
• nasa / EdsLib
  CCSDS SOIS Electronic Data Sheet Tool and Library
  ☆40Updated 7 months ago
• hbourbouh / lm_challenges
  Cyber-Physical V&V Challenges for the Evaluation of State of the Art Model Checkers
  ☆13Updated 5 years ago
• nasa / CCDD
  CFS Command and Data Dictionary Tool (CCDDT)
  ☆89Updated 11 months ago
• nasa / RVLib
  Random Variable Library
  ☆25Updated 8 years ago
• nasa / europa
  ☆225Updated 2 years ago
• stanleybak / hylaa
  Hylaa: A Tool for Formal Verification of Hybrid Automata with Linear ODEs
  ☆27Updated 2 years ago
• nasa / GTM_DesignSim
  ☆78Updated 6 years ago
• nasa / CFS_CI
  ☆12Updated 3 years ago
• nasa / DS
  The Core Flight System (cFS) Data Storage (DS) application.
  ☆45Updated last year
• nasa / MM
  The Core Flight System (cFS) Memory Manager (MM) application.
  ☆31Updated last year