Examples and case-study that use OSATE
☆57Apr 15, 2025Updated 11 months ago
Alternatives and similar repositories for examples
Users that are interested in examples are comparing it to the libraries listed below
Sorting:
- Library of AADL models☆46Nov 6, 2024Updated last year
- AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL☆73Mar 23, 2022Updated 3 years ago
- A Tool-Chain for Quantitative Evaluation of Uncertainty-Aware Hybrid AADL Designs☆11Apr 28, 2017Updated 8 years ago
- ☆35May 8, 2019Updated 6 years ago
- Bare Metal demos using Ada and ravenscar runtimes☆22Apr 8, 2020Updated 5 years ago
- PolyORB-HI/C runtime for Ocarina, supports POSIX, RTEMS, Xenomai, XtratuM RTOS☆12Sep 22, 2022Updated 3 years ago
- EMF-based Fault-Tree Analysis Tool☆63Jan 30, 2018Updated 8 years ago
- Unified Maude model-checking tool☆13Feb 4, 2026Updated last month
- DSLs for modeling and analyzing farming systems☆12May 4, 2017Updated 8 years ago
- An simple editor in pure Python-Qt binding for both PyQt5 and PySide2 to solve the problem that PySide2 lacks QScintilla bindings. This …☆12Feb 11, 2021Updated 5 years ago
- White-box Fairness Testing through Adversarial Sampling☆14Apr 16, 2021Updated 4 years ago
- The dataset in the paper "Detecting '0-Day' Vulnerability: An Empirical Study of Secret Security Patch in OSS", which appears in the 2019…☆13Aug 9, 2023Updated 2 years ago
- Toy Markdown Editor With Python & Tkinter☆11Jan 14, 2020Updated 6 years ago
- OCR application for Sailfish OS. Based on Tesseract OCR engine and Leptonica image processing library.☆20Feb 28, 2017Updated 9 years ago
- An interactive (fast) static source code analyzer☆189Jan 8, 2026Updated 2 months ago
- Tool for learning linear temporal logic formulas using combinatorial approach☆14Jan 11, 2025Updated last year
- dijkstra algorithm optimized with heap☆14Dec 20, 2018Updated 7 years ago
- This project relies on ROS Toolbox functionality to provide basic integration of Simulink® targets, with focus on Simulink Real-Time™ and…☆12Nov 7, 2023Updated 2 years ago
- OpenGEODE - a free SDL State Machine editor for space applications...and more☆76Mar 8, 2026Updated last week
- A python layer to interface with several SMTLIBv2 enabled SMT solvers☆16Apr 22, 2015Updated 10 years ago
- CleanVul: Automatic Function-Level Vulnerability Detection in Code Commits Using LLM Heuristics☆20Jan 23, 2026Updated last month
- TFHE is a popular algorithm for homomorphic encryption. Staring with a C/C++ specification of TFHE to be provided, This project rewrite t…☆20May 27, 2024Updated last year
- ☆16Aug 26, 2023Updated 2 years ago
- DARPA CASE program☆16Jun 10, 2025Updated 9 months ago
- Tools for Aard Dictionary☆16Nov 15, 2015Updated 10 years ago
- Python binding for NuSMV.☆11Nov 29, 2017Updated 8 years ago
- ☆13Jan 17, 2022Updated 4 years ago
- All materials related to GNN☆13Jan 4, 2023Updated 3 years ago
- Quantitative analysis of cell motility behaviors☆13Feb 21, 2025Updated last year
- Microsoft Kinect Xbox one is a 3D camera which is widely used for robotics application. In this work, it is demonstrated how to wrap it u…☆11Jun 13, 2022Updated 3 years ago
- Bee is a collection of lightweight interaction elements for modern web applications. It is built on top of Dart's Web UI package. It cont…☆72Aug 27, 2017Updated 8 years ago
- Sirius Web: open-source low-code platform to define custom web applications supporting your specific visual languages☆121Updated this week
- implementation of ideas from 'Neutaint: Efficient Dynamic Taint Analysis with Neural Networks'☆14Sep 17, 2019Updated 6 years ago
- Simple password db☆23Nov 23, 2018Updated 7 years ago
- DARPA's Automated Rapid Certification of Software (ARCOS) project called Rapid Assurance Curation Kit (RACK)☆21Mar 13, 2026Updated last week
- Slides of Italian C++ Conference 2021☆10Jul 13, 2021Updated 4 years ago
- Template for debugging C++ applications in docker containers.☆13Mar 13, 2019Updated 7 years ago
- Intel HEXL library backend for OpenFHE, which uses AVX-512 instructions to accelerate the execution of OpenFHE cryptographic capabilities…☆18Mar 12, 2026Updated last week
- Prolog stuff☆27Sep 1, 2019Updated 6 years ago