Alternatives and similar repositories for PLEXIL5:

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

• 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 4 years ago
• nasa / SIL
  Tools for generating CFS ECI-compatible code from Simulink models
  ☆20Updated last year
• nasa / TrickFMI
  A Functional Mockup Interface (FMI) Standard Implementation for Trick Base Models and Simulations
  ☆21Updated 8 months ago
• nasa / cfs_lib
  ☆16Updated 7 years ago
• nasa / prog_server
  The NASA Prognostics As-A-Service (PaaS) Sandbox is a simplified implementation of a Software Oriented Architecture (SOA) for performing …
  ☆10Updated 4 months ago
• nasa / EdsLib
  CCSDS SOIS Electronic Data Sheet Tool and Library
  ☆34Updated 7 months ago
• act3-ace / aerospaceRL
  ☆12Updated 3 years ago
• nasa / ECI
  CFS application framework for integrating external C code into the CFS environment
  ☆36Updated 2 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).
  ☆28Updated 5 months ago
• lgwagner / SpeAR
  Specification and Analysis for Requirements Tool
  ☆20Updated 4 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…
  ☆30Updated this week
• nasa / WellClear
  Well-Clear Boundary Models for Integration of UAS in the NAS
  ☆51Updated 4 years ago
• nasa / ow_europa
  ☆11Updated 9 months ago
• nasa / CertWare
  ☆50Updated 8 years ago
• JPL-IMCE / gov.nasa.jpl.imce.ontologies.public
  JPL's IMCE ontologies for Model-Based Systems Engineering
  ☆20Updated 5 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 3 years ago
• nasa / jeod
  ☆33Updated 2 weeks ago
• umangm / realsyn
  Automated Controller Synthesis
  ☆15Updated 6 years ago
• nasa / isaac
  Integrated System for Autonomous and Adaptive Caretaking
  ☆43Updated 7 months ago
• nasa / CFS_IO_LIB
  ☆19Updated 3 years ago
• Shufang-Zhu / Syft
  Synthesizer of LTLf formula
  ☆10Updated last month
• nasa / SC
  The Core Flight System (cFS) Stored Commands (SC) application.
  ☆41Updated last month
• nasa / webgs
  LAR-19641-1: WebGS: Web-based Platform for Multi-UAV Flight Visualization and Simulation
  ☆26Updated 2 years ago
• nasa / SCH
  The Core Flight System (cFS) Scheduler (SCH) application.
  ☆31Updated last year
• nasa / icarous
  ICAROUS is a software architecture for the development of UAS applications
  ☆164Updated last year
• nasa / RVLib
  Random Variable Library
  ☆24Updated 7 years ago
• nasa / TrickHLA
  TrickHLA: An IEEE 1516 High Level Architecture (HLA) Simulation Interoperability Standard Implementation for Trick Base Simulations
  ☆44Updated this week
• nasa / SBN
  ☆38Updated last year
• 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…
  ☆23Updated 7 years ago
• nasa / ow_autonomy
  ☆24Updated 9 months ago