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
- ☆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
- Unified Maude model-checking tool☆13Feb 4, 2026Updated last month
- Tkinter Console Widget Class☆11Dec 25, 2017Updated 8 years ago
- SWORD: A Whole Program Race Detector for Java☆13Jan 30, 2021Updated 5 years ago
- ☆18Jan 31, 2014Updated 12 years ago
- An ARM decompiler converts ARM code to a ready to compile C code. Project was done as a 3rd Semester project.☆15Jun 15, 2022Updated 3 years ago
- Toy Markdown Editor With Python & Tkinter☆11Jan 14, 2020Updated 6 years ago
- some personal experiments with Xtext2☆12Apr 19, 2014Updated 11 years ago
- OCR application for Sailfish OS. Based on Tesseract OCR engine and Leptonica image processing library.☆20Feb 28, 2017Updated 9 years ago
- Proof of Concept to learn Amaranth as an entry effort for Supercon's RTL design competition☆10Nov 11, 2022Updated 3 years ago
- An interactive (fast) static source code analyzer☆189Jan 8, 2026Updated 2 months ago
- ☆11Jan 2, 2020Updated 6 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
- Realize The Automation of UAV Cluster by Reinforcement Learning Approach☆12May 21, 2018Updated 7 years ago
- Code for the paper "Code Generation From Flowcharts with Texts: A Benchmark Dataset and An Approach"☆13Feb 11, 2023Updated 3 years ago
- ☆18Jun 14, 2024Updated last year
- ☆16Aug 26, 2023Updated 2 years ago
- DARPA CASE program☆16Jun 10, 2025Updated 9 months ago
- A formally verified Raft specification in SPIN, as course project of Software Formal Verification, 2020 Autumn, Tsinghua University☆17May 11, 2021Updated 4 years ago
- A first approach of getting a pure Ada program running on an FPGA with SaxonSOC☆10Apr 12, 2021Updated 4 years ago
- A "Hello World" JupyterLab extension using Vue.js☆15Jul 21, 2019Updated 6 years ago
- generic C++ containers; matrix, triangle matrix, crs sparse matrix, etc.☆12Mar 23, 2018Updated 7 years ago
- Sirius Web: open-source low-code platform to define custom web applications supporting your specific visual languages☆121Updated this week
- 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
- source code analysis workshop☆17Mar 7, 2021Updated 5 years ago
- Collection of Deep Learning algorithms for autonomous control of vehicles on Behavior Metrics Circuits. Contains both PyTorch and Tensorf…☆11Jan 15, 2024Updated 2 years ago
- Model Driven Engineering for C++ (MDE4CPP)☆14Feb 18, 2026Updated last month
- Collection of composable, simple, and hopefully useful scripts.☆11Jul 7, 2024Updated last year
- Command Line Interface Components☆14Feb 17, 2024Updated 2 years ago
- tamper resistant audit log☆17Aug 30, 2018Updated 7 years ago
- ☆16Jul 10, 2025Updated 8 months ago
- Library containing safer alternatives/wrappers for insecure C APIs.☆24Apr 2, 2025Updated 11 months ago