A portfolio & reference project demonstrating safety-critical development using DO-178C workflow. Includes planning docs, requirements, traceability, MISRA-C code, tests, and certification evidence.
☆20Aug 16, 2025Updated last year
Alternatives and similar repositories for flight-control-do178-demo
Users that are interested in flight-control-do178-demo are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Case study for using MathWorks tools on a DO-178 project☆32May 31, 2023Updated 3 years ago
- Cyber-Physical V&V Challenges for the Evaluation of State of the Art Model Checkers☆14Feb 12, 2020Updated 6 years ago
- A collection of StrictDoc templates for various standards.☆25Oct 22, 2026Updated 3 weeks ago
- LLM-Driven GUI Generation Decomposition for Automated Prototyping☆13Feb 3, 2025Updated last year
- Defining requirements formally and checking them when simulating☆15Feb 14, 2025Updated last year
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Portable MBSE domain agents for AI-assisted systems engineering☆37Oct 12, 2026Updated last month
- System behavior is often expressed by causal relations in requirements (e.g. if event 1 then event 2). Automatically extracting this embe…☆13Oct 24, 2021Updated 5 years ago
- ☆11Feb 28, 2019Updated 7 years ago
- MDEForge is an extensible modeling framework specifically conceived to support for discovery and reuse of existing modeling artefacts. MD…☆25Dec 16, 2022Updated 3 years ago
- VHDL ile Sayısal Tasarım ve FPGA Uygulamaları kitabı☆13May 30, 2025Updated last year
- Model-based driven real-time embedded software framework for safety-critical and mission-critical application☆29Dec 29, 2025Updated 10 months ago
- CU InSpace's avionics software☆11Sep 17, 2023Updated 3 years ago
- Qt-based infotainment center for your current Linux OpenAuto installation.☆14Jul 14, 2021Updated 5 years ago
- Useful scripting functions in the MATLAB language; mostly related to image processing.☆10Oct 15, 2013Updated 13 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.
- EDA Tools: Altera Quartus 13 Dockerfile☆16Jun 21, 2022Updated 4 years ago
- this repository contains some useful matlab simulınk files for uav sensors simulation , kalman filter propogation and autopilot implement…☆41Feb 6, 2023Updated 3 years ago
- 利用connect、tcpsyn、tcpfin、udp实现端口扫描，使用socket☆11Jul 17, 2020Updated 6 years ago
- Architectural Framework For Integrated Refinement Modeling☆11May 30, 2017Updated 9 years ago
- klibc Verification with Frama-C and WP☆11May 5, 2014Updated 12 years ago
- 南航（南京航空航天大学）即选即中抢课程序☆12Jul 9, 2021Updated 5 years ago
- A Human-in-the-Loop Workflow for Scientific Schema Mining with Large Language Models☆40Aug 14, 2026Updated 3 months ago
- Tower backend and Ivory board support package for the STM32 line of microcontrollers☆12Feb 20, 2024Updated 2 years ago
- Arinc653 abstraction library for hypervisor independent partition programming☆12Dec 16, 2025Updated 10 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Fault injection tool☆13May 5, 2026Updated 6 months ago
- ☆18Mar 17, 2025Updated last year
- Using shared memory to communicate between two executables or processes, for Windows, Linux and MacOS (posix). Can also be useful for rem…☆11Jan 22, 2022Updated 4 years ago
- This repository contains Embedded Linux kernel source code for Xilinx devices.☆25Aug 19, 2025Updated last year
- Auto Judger for BUAA-SE-OOP Course (2021 Spring)☆30Oct 28, 2023Updated 3 years ago
- weharmony.github.io☆10Jun 11, 2024Updated 2 years ago
- ☆13Updated this week
- Control Systems Analysis Framework - a framework to minimize the effort required to evaluate, implement, and verify controller design (cl…☆16Nov 21, 2022Updated 3 years ago
- 西门子SCADA数据采集系统winform☆14Nov 22, 2022Updated 3 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- This repository contains the simulation environment, training pipeline, and policies accompanying our paper "Self-Recovery of Quadrupedal…☆12Nov 1, 2025Updated last year
- SE3 pose lib uses JPL quaternion representing rotation. Headers only.☆14Oct 25, 2018Updated 8 years ago
- ☆10Apr 23, 2026Updated 6 months ago
- Lightweight trajectory optimization for the robot waiter problem.☆14Jan 12, 2026Updated 10 months ago
- 这是一个从uboot源码中移植出来的shell命令行代码☆11May 27, 2021Updated 5 years ago
- Templated modern C++ library for implementing DataFlow programming☆14Jan 14, 2025Updated last year
- Modular Provable Security on Commodity System and Application Software Stacks☆13Jan 6, 2022Updated 4 years ago
Are these results useful?