Open Source AADL2 Tool Environment
☆51Updated this week
Alternatives and similar repositories for osate2
Users that are interested in osate2 are comparing it to the libraries listed below
Sorting:
- Library of AADL models☆45Nov 6, 2024Updated last year
- Examples and case-study that use OSATE☆56Apr 15, 2025Updated 10 months ago
- Model and examples for the AADL book. More on http://julien.gunnm.org/aadl-book☆14Jul 9, 2017Updated 8 years ago
- Assume-Guarantee REasoning Environment☆19Dec 3, 2025Updated 2 months ago
- AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL☆73Mar 23, 2022Updated 3 years ago
- HashCats Auto Clicker is a versatile tool that enhances your gaming experience by automating various actions within the HashCats game☆18Updated this week
- This repository is for D-Case Editor, an assurance case editor. See www.dcase.jp!☆10Mar 31, 2015Updated 10 years ago
- AADL models for the Crazyflie UAV -- OMSCS Class CS7639☆11Mar 22, 2020Updated 5 years ago
- PolyORB-HI/C runtime for Ocarina, supports POSIX, RTEMS, Xenomai, XtratuM RTOS☆12Sep 22, 2022Updated 3 years ago
- Search-based test generation toolbox written in Python☆17Oct 27, 2025Updated 4 months ago
- Sirius-based designer for Dart☆47Aug 26, 2015Updated 10 years ago
- Actor-based Runtime Verification Tool☆19Apr 13, 2023Updated 2 years ago
- ☆14Feb 17, 2025Updated last year
- EMF-based Fault-Tree Analysis Tool☆64Jan 30, 2018Updated 8 years ago
- An Opinionated Formatter for Verus☆16Updated this week
- Source code for 'Models to Code' by Leon Starr, Andrew Mangogna, and Stephen Mellor☆17Jun 23, 2017Updated 8 years ago
- Omicron Wiki☆18Jan 15, 2013Updated 13 years ago
- A Sirius designer for Enterprise Integration Patterns☆58Oct 5, 2016Updated 9 years ago
- AgileUML tools for MDE using UML☆21Updated this week
- Basic tools for building seL4 projects☆53Updated this week
- The open source IFML editor - Based on Sirius☆43Aug 26, 2015Updated 10 years ago
- YAKINDU Statechart Tools examples☆22Sep 15, 2025Updated 5 months ago
- Formal semantics of Rust☆23Apr 9, 2021Updated 4 years ago
- A Tool for Multi-Paradigm Modeling☆25Updated this week
- MDEForge is an extensible modeling framework specifically conceived to support for discovery and reuse of existing modeling artefacts. MD…☆24Dec 16, 2022Updated 3 years ago
- CMPE352/451 Group 5 repository☆10Dec 21, 2025Updated 2 months ago
- Fluent - Easy Telegram Bots with Spring!☆12Aug 2, 2024Updated last year
- This repo contains alls the vulnerabilities identified as a part of security research against IoT devices☆23Jul 24, 2021Updated 4 years ago
- ZAP Admin☆31Feb 19, 2026Updated last week
- A memory allocator verified with Verus☆30Feb 18, 2026Updated last week
- A Python 3 headless implementation of the Capella modeling tool.☆67Updated this week
- Fuzzing framework for Robot Operating System (ROS) and ROS-based robotic systems☆35Jul 7, 2025Updated 7 months ago
- Core OpenMETA Framework☆28Mar 1, 2023Updated 3 years ago
- High-assurance and performant Rust-based parsing and serialization of binary data formats verified in Verus☆49Updated this week
- A community preview of ongoing formal verification efforts for Asterinas☆42Updated this week
- NoSQL Data Engineering☆29Sep 25, 2024Updated last year
- Codes for reproducing the experimental results in "CNN-Cert: An Efficient Framework for Certifying Robustness of Convolutional Neural Net…☆27Jun 23, 2021Updated 4 years ago
- ☀️🦶 A lightweight framework for collaborative, open-source feature engineering☆33Oct 25, 2021Updated 4 years ago
- A concurrency framework for the Ivory language☆45Oct 7, 2019Updated 6 years ago