Case study for using MathWorks tools on a DO-178 project
☆30May 31, 2023Updated 3 years ago
Alternatives and similar repositories for DO178_Case_Study
Users that are interested in DO178_Case_Study are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Pixhawk (Ardupilot or PX4) Commuincation with Simulink in real time using Mavlink and displaying the results in graphical standard instru…☆20Aug 7, 2020Updated 6 years ago
- UIC repository (SGET SDT.04)☆12Dec 7, 2022Updated 3 years ago
- An example binary protocol application for learning CANAPE☆24Dec 14, 2014Updated 11 years ago
- This is a new repository for a new tool to be added to the cFS ecosystem called cFS Test Framework (CTF).☆35Jul 6, 2026Updated last month
- Programs a Spartan 6 FPGA over JTAG using an FTDI USB chip.☆16Jul 27, 2019Updated 7 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- ☆86Jun 19, 2019Updated 7 years ago
- A freeplane add-on containing useful tools to work toghether on a single mindmap.☆19Oct 20, 2013Updated 12 years ago
- LIMA: Language for Integrated Modeling and Analysis☆12Sep 8, 2018Updated 7 years ago
- [译] 面向数据科学的概率论☆18Jun 19, 2018Updated 8 years ago
- ☆42Apr 9, 2020Updated 6 years ago
- ☆16Mar 17, 2025Updated last year
- Locality-sensitive hashing (LSH) in Julia.☆14Aug 31, 2021Updated 4 years ago
- PolyORB-HI/C runtime for Ocarina, supports POSIX, RTEMS, Xenomai, XtratuM RTOS☆12Sep 22, 2022Updated 3 years ago
- This submission demonstrates modeling of a more-electric aircraft architecture in Simscape, for both desktop and real-time simulation. Th…☆13Mar 23, 2026Updated 4 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Tools for debugging and profiling ARM Cortex-M devices as found on the PX4 Autopilot FMU boards☆79Jul 10, 2026Updated last month
- SE3 pose lib uses JPL quaternion representing rotation. Headers only.☆14Oct 25, 2018Updated 7 years ago
- Specification and Analysis for Requirements Tool☆10Mar 31, 2016Updated 10 years ago
- PyCes (Python Code Scanner) - Enhanced Security Static Analysis Tool for Python☆11Apr 18, 2019Updated 7 years ago
- ISO 9001 Quality Management System☆24Jun 3, 2026Updated 2 months ago
- Tools to query, download, preprocess and postprocess Sentinel-2 data☆14Nov 4, 2020Updated 5 years ago
- QM is a containerized environment for running Functional Safety qm (Quality Management) software☆36Jul 20, 2026Updated 3 weeks ago
- Project in which an MPC controller using both state feedback and output feedback with disturbance rejection is design for the attitude dy…☆13Jul 3, 2024Updated 2 years ago
- ☆11Feb 19, 2016Updated 10 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Robot navigation algorithms implemented in SPARK☆12Sep 19, 2014Updated 11 years ago
- Simple serial control of iRobot Create 2 Roomba vacuum cleaner from Raspberry Pi.☆11Jun 13, 2017Updated 9 years ago
- AADL models for the Crazyflie UAV -- OMSCS Class CS7639☆11Mar 22, 2020Updated 6 years ago
- ☆15Apr 26, 2021Updated 5 years ago
- JPL's IMCE ontologies for Model-Based Systems Engineering☆20Feb 18, 2020Updated 6 years ago
- Library for Drone Autonomy☆11Nov 12, 2017Updated 8 years ago
- DSVerifier - Digital Systems Verifier☆11Feb 22, 2019Updated 7 years ago
- OSAL free operating system abstraction for embedded systems. Supports pthreads, freertos, chibios, coocox, bertos and more... RTOS☆14Dec 27, 2013Updated 12 years ago
- CPOL=0, CPHA=0 SPI core for practicing formal verification with yosys☆21May 20, 2020Updated 6 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- a python package for PX4 ecl ekf analysis☆13Jun 12, 2025Updated last year
- PX4 SITL bridge for X-Plane 11/12 with fixed-wing, multirotor, VTOL, and AAM simulation support☆98Jul 8, 2026Updated last month
- DARPA CASE program☆16Jun 10, 2025Updated last year
- Ada projects for Make-with-Ada☆13Feb 18, 2026Updated 5 months ago
- ☆14Mar 12, 2023Updated 3 years ago
- ☆17Jul 29, 2020Updated 6 years ago
- ☆10Jul 10, 2021Updated 5 years ago