Open Source AADL2 Tool Environment
☆58Oct 27, 2026Updated this week
Alternatives and similar repositories for osate2
Users that are interested in osate2 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Examples and case-study that use OSATE☆60Apr 15, 2025Updated last year
- AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL☆77Mar 23, 2022Updated 4 years ago
- Assume-Guarantee REasoning Environment☆25Dec 3, 2025Updated 10 months ago
- Old analysis plugins for OSATE2 repository, kept for reference☆13May 16, 2018Updated 8 years ago
- LFSC Proof Checker☆11Sep 14, 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.
- ☆25Mar 24, 2023Updated 3 years ago
- A Tool-Chain for Quantitative Evaluation of Uncertainty-Aware Hybrid AADL Designs☆11Apr 28, 2017Updated 9 years ago
- ☆35May 8, 2019Updated 7 years ago
- A Tutorial for tools developed on the DARPA CASE program☆17Oct 18, 2023Updated 3 years ago
- Automated Analysis Framework for Simulink/Stateflow models.☆62Feb 16, 2026Updated 8 months ago
- Ontology Modeling Language (OML) Workbench☆14Mar 12, 2020Updated 6 years ago
- Temporal Logic Extractor☆13May 12, 2017Updated 9 years ago
- CMU 15-745 Spring 2014☆10Mar 7, 2014Updated 12 years ago
- SysML v2 Robot Vacuum Cleaner project☆15Oct 22, 2026Updated last week
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Modelio is an extensible tool. The repository contains several modules, the means of defining, implementing and deploying extensions for …☆24Aug 7, 2026Updated 2 months ago
- Create docker image for running SysMLv2 with Jupyter☆38Oct 25, 2024Updated 2 years ago
- Ontological Modeling Language (OML)☆40Jun 20, 2025Updated last year
- AADL models for the Crazyflie UAV -- OMSCS Class CS7639☆11Mar 22, 2020Updated 6 years ago
- ☆28Sep 27, 2024Updated 2 years ago
- SysML v2 Parser for HAMR☆14Sep 11, 2026Updated last month
- Multi-engine SMT-based automatic model checker for safety properties of Lustre programs☆129Updated this week
- Sireum: A High Assurance System Engineering Platform☆32Updated this week
- A tool for the automatic generation of Isabelle/HOL correctness proofs for security protocols.☆20Jun 21, 2015Updated 11 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- JKind - An infinite-state model checker for safety properties in Lustre☆57Jul 3, 2025Updated last year
- ☆13Sep 6, 2025Updated last year
- Home of the AjiL Tool Suite comprising the Aji Modeling Language, the Aji Editor and the Aji Spring Cloud Generator☆12May 10, 2019Updated 7 years ago
- Reactor runtime implementation in Rust☆14Jun 10, 2025Updated last year
- Introductory documentation about seL4 microkernel's architecture & concepts with visualizations.☆12Nov 3, 2024Updated last year
- Woodpecker: Verifying systems rules using rule-directed symbolic execution☆12Jul 5, 2016Updated 10 years ago
- MontiArc is a formal component and connector architecture description language (ADL) for the specification and modeling of cyber-physical…☆29Updated this week
- #Add the MavLink for the open source UAV project Paparazzi，By San412#为Paparazzi飞控项目添加MavLink协议☆12Jul 5, 2013Updated 13 years ago
- Cyber-Physical Inconsistency Identification for Safety Checks in Robotic Vehicles☆10Oct 13, 2022Updated 4 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ☆15Updated this week
- Open source Traffic Collision Avoidance System☆12Jan 25, 2015Updated 11 years ago
- Dockerfiles defining the dependencies required to build seL4, CAmkES, and L4v.☆15Aug 4, 2026Updated 2 months ago
- A .NET implementation of the OMG SysML2 specification☆30Updated this week
- 基于MFC的无人机3D飞行姿态控制系统☆10Mar 29, 2017Updated 9 years ago
- SysIDE provides SysML v2 language support in VS Code☆54Oct 2, 2025Updated last year
- XSMP IDE for Eclipse/VSCode☆15Jun 9, 2026Updated 4 months ago