airbus / ED247_LIBRARYLinks
Example of ED-247 standard implementation
☆27Updated 9 months ago
Alternatives and similar repositories for ED247_LIBRARY
Users that are interested in ED247_LIBRARY are comparing it to the libraries listed below
Sorting:
- This Is Indian Country - Spring 2018 Instance☆12Updated 7 years ago
- Code repo for course "Introduction to Data Science and Machine Learning (DSML)"☆8Updated 4 years ago
- A public mirror of the private flight software development repository. Updated around every month or so☆13Updated 5 years ago
- Automated Analysis Framework for Simulink/Stateflow models.☆51Updated last month
- TUDSaT Onboard Computer Software☆10Updated 6 years ago
- TrickHLA: An IEEE 1516 High Level Architecture (HLA) Simulation Interoperability Standard Implementation for Trick Base Simulations☆51Updated this week
- XSTAMPP (eXtensible STAMP Platform) is an open-source platform for safety engineering designed specially to serve the widespread adoption…☆28Updated last week
- Case study for using MathWorks tools on a DO-178 project☆25Updated 2 years ago
- Project for multi-UAV cooperative decision making☆58Updated 4 months ago
- Contains information for the IMechE FS-AI ADS-DV relating to the compute and sensing hardware on the shared vehicles.☆9Updated 4 years ago
- Open Source AADL2 Tool Environment☆46Updated this week
- Cyber-Physical V&V Challenges for the Evaluation of State of the Art Model Checkers☆12Updated 5 years ago
- Virtual Satellite Core - Baseline Framework and IDE Tools☆37Updated 2 months ago
- DARPA's Cyber Assured Systems Engineering (CASE) project named Verification Evidence and Resilient Design in Anticipation of Cybersecurit…☆42Updated 10 months ago
- C++ FMUs☆16Updated 3 years ago
- ICAROUS is a software architecture for the development of UAS applications☆169Updated 2 years ago
- Non-intrusive DDS Recorder is a tool to record all the DDS traffic in your network, using a non-intrusive mechanism allowing you to test,…☆11Updated 9 months ago
- Web Client Application designed to enable users to interact with Model Based System Engineering (MBSE) models☆45Updated 11 months ago
- Integrated System for Autonomous and Adaptive Caretaking☆43Updated 11 months ago
- PLEXIL5 is a Formal Verification Environment for PLEXIL☆17Updated last year
- OSP C++ co-simulation library☆67Updated last month
- C Implementation of a Software Framework for Service-Oriented Applications with PUS Support☆14Updated 3 months ago
- 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
- openmcx☆40Updated 4 months ago
- Automated Analysis Framework for Simulink/Stateflow☆16Updated last year
- Code for SpaceSalmon Flight Computer☆11Updated last year
- Python implementation of non-linear 6DOF GARTEUR RCAM aircraft flight dynamics model☆19Updated 2 years ago
- Python for Capella☆65Updated last month
- Well-Clear Boundary Models for Integration of UAS in the NAS☆52Updated 4 years ago
- A Python package for the Systems Modeling Language (SysML) for Model-based Systems Engineering (MBSE) applications☆75Updated 6 years ago