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:
- Decode data files from BMC Medical RESMart GII systems. Reverse-engineered from undocumented data.☆11Jun 22, 2019Updated 7 years ago
- Offers lightweight charts for order flow enthusiasts, for analysis and market inspection.☆27May 26, 2026Updated 4 months ago
- Modern C++ for Embedded Systems☆16Feb 18, 2022Updated 4 years ago
- The Secure Remote Update Protocol (SRUP) is a secure & confirmable command-and-control (C2) protocol for the Internet of Things (IoT), ba…☆13Sep 27, 2021Updated 5 years ago
- Sync Brazilian Open Finance data from Banco MCP into local SQLite, annotate expenses, and produce LLM reports with a localhost web UI.☆24Updated this week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Coding-agent tools on TypeSafe's Jev, measured in public. review-router: caught 13 of 13 CVE fixes a filename rule sent to a quick review…☆11Sep 27, 2026Updated 3 weeks ago
- System for anomaly detection in mass generic data☆16Jul 19, 2012Updated 14 years ago
- ☆11Feb 28, 2019Updated 7 years ago
- Track EPA assets using QR codes☆11May 6, 2025Updated last year
- Case study for using MathWorks tools on a DO-178 project☆32May 31, 2023Updated 3 years ago
- CAN (Controller Area Network) bus system to simulate transmitter and receiver signals between the powertrain and ECU (Electric Control Un…☆14Jul 31, 2023Updated 3 years ago
- The MobSTr dataset provides artifacts that demonstrate Model-based Safety Assurance and Traceability for a safety-critical automotive sys…☆11Mar 18, 2022Updated 4 years ago
- Qt-based infotainment center for your current Linux OpenAuto installation.☆14Jul 14, 2021Updated 5 years ago
- Model-based driven real-time embedded software framework for safety-critical and mission-critical application☆29Dec 29, 2025Updated 9 months ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Voice control for macOS that acts partway through your sentence, built on Jev (TypeSafe)☆32Sep 24, 2026Updated last month
- Crawl Wikipedia pages and upload TTS to Youtube.☆10Apr 8, 2025Updated last year
- VHDL ile Sayısal Tasarım ve FPGA Uygulamaları kitabı☆13May 30, 2025Updated last year
- Check out the live demo☆43Jul 8, 2026Updated 3 months ago
- CU InSpace's avionics software☆11Sep 17, 2023Updated 3 years ago
- Introdução à Recuperação de Informações☆16Oct 6, 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
- WiFi Triangulation☆15Dec 2, 2020Updated 5 years ago
- Coleção de recursos sobre Ciência de Dados com Python.☆13Oct 15, 2023Updated 3 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- LIMA: Language for Integrated Modeling and Analysis☆12Sep 8, 2018Updated 8 years ago
- 人脸识别SDK 采用C++编写，支持两张照片进行比对1:1，以及1：N 人脸搜索☆12Nov 23, 2014Updated 11 years ago
- Basic static, client-side editor and compiler of LaTeX documents with GitHub integration☆14Nov 22, 2023Updated 2 years ago
- Adaptive, AI-driven ChainMeta Engine integrates real-time machine learning, scalable across distributed networks to optimize System.☆18Jun 13, 2026Updated 4 months ago
- 南航（南京航空航天大学）即选即中抢课程序☆12Jul 9, 2021Updated 5 years ago
- EPFL-LNCO: ExVR - Open Virtual Psychology☆14Jan 26, 2024Updated 2 years ago
- dct2 for 2d signal☆10Jun 27, 2022Updated 4 years ago
- Useful scripting functions in the MATLAB language; mostly related to image processing.☆10Oct 15, 2013Updated 13 years ago
- Mercedes-Benz style QML gauge cluster with speedometer, tachometer and indicator styling inspired by 90s cars.☆16Oct 25, 2025Updated 11 months ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Failure dataset accompanying the paper "How Bad Can a Bug Get? An Empirical Analysis of Software Failures in the OpenStack Cloud Computi…☆11Jun 12, 2020Updated 6 years ago
- EDA Tools: Altera Quartus 13 Dockerfile☆16Jun 21, 2022Updated 4 years ago
- A Tool-Chain for Quantitative Evaluation of Uncertainty-Aware Hybrid AADL Designs☆11Apr 28, 2017Updated 9 years ago
- MATLAB toolbox for evaluating dynamic link prediction accuracy☆10Jun 19, 2017Updated 9 years ago
- 利用connect、tcpsyn、tcpfin、udp实现端口扫描，使用socket☆11Jul 17, 2020Updated 6 years ago
- NUAA操作系统实验课☆10Jun 23, 2023Updated 3 years ago
- This is a selection of ethical hacking courses on video☆23Mar 23, 2022Updated 4 years ago