Examples and case-study that use OSATE
☆60Apr 15, 2025Updated last year
Alternatives and similar repositories for examples
Users that are interested in examples are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL☆77Mar 23, 2022Updated 4 years ago
- Library of AADL models☆47Nov 6, 2024Updated last year
- Open Source AADL2 Tool Environment☆58Updated this week
- A Tool-Chain for Quantitative Evaluation of Uncertainty-Aware Hybrid AADL Designs☆11Apr 28, 2017Updated 9 years ago
- A wrapper-library that makes FreeRTOS much easier to use. Created for ESP32.☆20Dec 25, 2025Updated 10 months ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- SysML v2 Parser for HAMR☆14Sep 11, 2026Updated last month
- SysML Designer based on Obeo Designer.☆37Jan 30, 2019Updated 7 years ago
- ☆13Sep 6, 2025Updated last year
- ☆25Mar 24, 2023Updated 3 years ago
- EMF-based Fault-Tree Analysis Tool☆65Jan 30, 2018Updated 8 years ago
- Repository for FloripaSat Documentation☆19Dec 18, 2017Updated 8 years ago
- Compositional Performance Analysis in Python☆23Jan 8, 2021Updated 5 years ago
- 面向中文学习者与工程实践的开源 SysML v2 一体化学习平台，集课程、在线建模、模型验证、AI 辅导、工程案例与知识包扩展于一体。An open, all-in-one SysML v2 learning lab for modeling, validation, AI…☆18Oct 13, 2026Updated 2 weeks ago
- System for verifying the correctness of generated Copilot programs☆20May 8, 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.
- AADL models for the Crazyflie UAV -- OMSCS Class CS7639☆11Mar 22, 2020Updated 6 years ago
- Open Source SysML v2 Implementation in Go☆51Updated this week
- ☆10Apr 16, 2021Updated 5 years ago
- ☆10Jul 12, 2025Updated last year
- Unified Maude model-checking tool☆13Oct 18, 2026Updated 2 weeks ago
- AWS Lambda and CloudFormation code for loading CDC data from Relational databases to Amazon Kinesis using Database Migration Service.☆17Oct 14, 2020Updated 6 years ago
- KTH's Timed C compiler☆19Jan 7, 2022Updated 4 years ago
- Gephi 0.10 Tutorial for Network Visualization☆15Jun 14, 2025Updated last year
- POK kernel. Safe and secure for safety-critical systems.☆122Oct 3, 2026Updated 3 weeks ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆46Nov 18, 2024Updated last year
- Prometheus SDK for CircuitPython/MicroPython boards☆18Oct 11, 2024Updated 2 years ago
- A fault-aware model checker for message passing systems☆16Aug 20, 2014Updated 12 years ago
- H.264 transport for ROS☆14Jan 17, 2021Updated 5 years ago
- Entity-Relationship Diagram Drawing Tool☆17Mar 8, 2023Updated 3 years ago
- ☆16Jun 14, 2023Updated 3 years ago
- ☆17Jul 11, 2025Updated last year
- Reusable Agent Skills for Claude - technical-PM, prd-review, technical-pm-guided. Built by Taya Intelligence (Tigermed).☆35Jul 1, 2026Updated 4 months ago
- codes from the book “推荐系统开发实战”☆11Mar 19, 2020Updated 6 years ago
- 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.
- Implementation and evaluation data of the Concolic Walk heuristic for solving complex arithmetic path conditions.☆13Jul 11, 2014Updated 12 years ago
- Horizon is a data ingestion and management workflow system☆11Dec 5, 2022Updated 3 years ago
- ☆11May 15, 2025Updated last year
- A Raspberry Pi based Universal Testing Machine to perform a number of tasks related to mechanical tensile tests of specimens.☆13Mar 21, 2022Updated 4 years ago
- Java Ranger is a path-merging extension of Symbolic PathFinder☆16Sep 14, 2026Updated last month
- ☆14Oct 14, 2026Updated 2 weeks ago
- GPT Table Semantic Parsing with complex & non-intuitive structure.☆17Jul 16, 2025Updated last year