Alternatives and similar repositories for ED247_LIBRARY

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

• nasa / GTM_DesignSim
  ☆72Updated 5 years ago
• nasa / SIL
  Tools for generating CFS ECI-compatible code from Simulink models
  ☆23Updated last year
• metamorph-inc / openmeta-vahana
  An OpenMETA model for the conceptual design of an autonomous transport aircraft, inspired by Vahana from A^3 by Airbus.
  ☆13Updated 3 years ago
• nasa / daidalus
  open source release: LAR-19282-1 Detect and Avoid Alerting Logic for Unmanned Systems (DAIDALUS) with Dynamic Well-Clear Separation Volum…
  ☆65Updated 11 months ago
• ideas-um / FAST
  Future Aircraft Sizing Tool
  ☆85Updated last week
• ge-high-assurance / VERDICT
  DARPA's Cyber Assured Systems Engineering (CASE) project named Verification Evidence and Resilient Design in Anticipation of Cybersecurit…
  ☆42Updated 9 months ago
• nasa / simupy-flight
  ☆87Updated 5 months ago
• modelica / DCPLib
  C++ reference implementation of the Distributed Co-Simulation Protocol (DCP)
  ☆46Updated last week
• modelica-tools / FMUComplianceChecker
  FMI Compliance Checker for validation of FMUs 1.0 and 2.0
  ☆44Updated last year
• modelica / ssp-ls-traceability
  Prototyping of an SSP Traceability Layered Standard
  ☆13Updated 2 weeks ago
• suavecode / Tutorials
  This is where the tutorial scripts live
  ☆24Updated 3 years ago
• Open-MBEE / OpenSE-Cookbook
  ☆19Updated last year
• wfpotter / DO178_Case_Study
  Case study for using MathWorks tools on a DO-178 project
  ☆25Updated 2 years ago
• redlab-i / wireshark-plugin-afdx
  AFDX protocol dissector for wireshark
  ☆16Updated 5 years ago
• stanleybak / hylaa
  Hylaa: A Tool for Formal Verification of Hybrid Automata with Linear ODEs
  ☆28Updated 2 years ago
• NTNU-IHB / FMI4cpp
  FMI 2.0 implementation written in modern C++.
  ☆103Updated 3 months ago
• viproma / cppfmu
  Interfaces and helper functions for writing FMI-compliant model/slave code in C++
  ☆36Updated 3 months ago
• isrlab / F16Model.jl
  Nonlinear model of F16 flight dynamics.
  ☆40Updated 2 months ago
• NASA-SW-VnV / CoCoSim
  Automated Analysis Framework for Simulink/Stateflow models.
  ☆50Updated last week
• nasa / CertWare
  ☆51Updated 8 years ago
• lgwagner / SpeAR
  Specification and Analysis for Requirements Tool
  ☆20Updated 4 years ago
• mathworks / jenkins-matlab-plugin
  This plugin enables you to run MATLAB® and Simulink® as part of your Jenkins™ build.
  ☆52Updated 2 months ago
• modelon-community / fmi-library
  C library for importing FMUs
  ☆132Updated last week
• nasa / PLEXIL5
  PLEXIL5 is a Formal Verification Environment for PLEXIL
  ☆17Updated last year
• Open-MBEE / exec-ve
  Web Client Application designed to enable users to interact with Model Based System Engineering (MBSE) models
  ☆45Updated 9 months ago
• open-simulation-platform / cpp-fmus
  C++ FMUs
  ☆16Updated 2 years ago
• modelica / fmi-guides
  Repo for "FMI Best Practice Guide for Implementers" (and maybe more guides)
  ☆19Updated this week
• fltdyn / Janus
  Dynamic Aerospace Vehicle Exchange Mark-up Language (DAVE-ML) C++ Interpreter
  ☆11Updated 2 years ago
• coco-team / cocoSim-deprecated
  Automated Analysis Framework for Simulink/Stateflow (deprecated, see cocoSim2)
  ☆25Updated 8 years ago
• soikkelij / unifier_fds
  This project contains the UNIFIER19 C7A-HARW aircraft Flight Dynamics Simulator Simulink model and XPlane-11 model.
  ☆24Updated 7 months ago