Repositories list

• aadl-tooling

  Public
  AADL language server, VS Code extension, and osate-cli, built on OSATE

  language-servervscode-extensionaadl+ 3

  language-servervscode-extensionaadllspmbseosate

  Java

  •

  Other

  •00 forks•44 stars•00 issues•11 pull request•Updated Sep 29, 2026Sep 29, 2026

• homebrew-osate

  Public
  Ruby

  •00 forks•00 stars•00 issues•00 pull requests•Updated Sep 29, 2026Sep 29, 2026

• contract-annex

  Public
  Assurance Contract Annex Implementation

  Java

  •

  Other

  •00 forks•00 stars•1010 issues•44 pull requests•Updated Sep 29, 2026Sep 29, 2026

• osate2

  Public
  Open Source AADL2 Tool Environment

  Java

  •

  Other

  •1212 forks•5858 stars•104104 issues•22 pull requests•Updated Sep 28, 2026Sep 28, 2026

• osate.github.io

  Public
  pages

  Python

  •00 forks•00 stars•00 issues•00 pull requests•Updated Sep 28, 2026Sep 28, 2026

• examples

  Public
  Examples and case-study that use OSATE

  Java

  •6969 forks•6060 stars•22 issues•00 pull requests•Updated Apr 15, 2025Apr 15, 2025

• face2aadl

  Public
  Java

  •00 forks•44 stars•00 issues•00 pull requests•Updated Sep 4, 2024Sep 4, 2024

• osate2-gtse

  Public
  This plugin enables users to automatically explore the trade space of a system by connecting OSATE to Penn State's Trade Space Visualizer tool.

  Java

  •

  Other

  •00 forks•66 stars•1212 issues•11 pull request•Updated Aug 9, 2024Aug 9, 2024

• aadl-sysmlv2

  Public
  Experimental translation between AADL and SysMLv2

  Java

  •33 forks•1111 stars•00 issues•11 pull request•Updated May 17, 2024May 17, 2024

• discovery

  Public
  Data for additional installable OSATE components

  Eclipse Public License 2.0

  •22 forks•00 stars•00 issues•00 pull requests•Updated Apr 29, 2024Apr 29, 2024

• osate2-asap

  Public
  Architecture-Supported Audit Processor

  Java

  •

  Other

  •00 forks•11 star•22 issues•00 pull requests•Updated Jul 13, 2023Jul 13, 2023

• example-plugins

  Public
  Java

  •00 forks•00 stars•00 issues•00 pull requests•Updated May 19, 2022May 19, 2022

• osate2-mixedtrust

  Public
  Mixed trust scheduling

  Java

  •00 forks•00 stars•00 issues•00 pull requests•Updated Jan 10, 2022Jan 10, 2022

• website

  Public archive
  Python

  •11 fork•00 stars•00 issues•00 pull requests•Updated Sep 17, 2021Sep 17, 2021

• sandbox

  Public
  playground

  HTML

  •00 forks•00 stars•00 issues•00 pull requests•Updated Jun 11, 2021Jun 11, 2021

• experimental

  Public
  Java

  •11 fork•00 stars•00 issues•11 pull request•Updated May 15, 2020May 15, 2020

• osate-install

  Public
  Shell

  •

  Eclipse Public License 2.0

  •22 forks•11 star•00 issues•00 pull requests•Updated Apr 24, 2020Apr 24, 2020

• propertiescodegen

  Public
  Generate Java code from AADL property types

  Kotlin

  •

  Eclipse Public License 2.0

  •00 forks•00 stars•00 issues•00 pull requests•Updated Nov 15, 2019Nov 15, 2019

• alisa-examples

  Public
  Python

  •77 forks•88 stars•11 issue•00 pull requests•Updated Nov 12, 2019Nov 12, 2019

• buildtest

  Public
  Java

  •00 forks•00 stars•00 issues•11 pull request•Updated Apr 26, 2019Apr 26, 2019

• osate2-safe

  Public
  Report generator for AADL that works with SAFE, a derivitive of STPA

  HTML

  •

  Eclipse Public License 1.0

  •22 forks•11 star•00 issues•00 pull requests•Updated Aug 31, 2018Aug 31, 2018

• ErrorModelV2

  Public archive
  Old AADL EMV2 annex repository, kept for reference

  Java

  •1111 forks•44 stars•1313 issues•00 pull requests•Updated May 16, 2018May 16, 2018

• osate2-plugins

  Public archive
  Old analysis plugins for OSATE2 repository, kept for reference

  Java

  •1010 forks•1313 stars•1010 issues•00 pull requests•Updated May 16, 2018May 16, 2018

• alisa

  Public archive
  Old Alisa repository, kept for reference

  Java

  •22 forks•44 stars•1111 issues•00 pull requests•Updated May 5, 2018May 5, 2018

• osate2-core

  Public archive
  Old osate2-core repository, kept for reference

  HTML

  •33 forks•11 star•00 issues•00 pull requests•Updated May 4, 2018May 4, 2018

• osate-ge

  Public archive
  Old Graphical editor for OSATE repository, kept for reference

  Java

  •44 forks•66 stars•00 issues•00 pull requests•Updated May 4, 2018May 4, 2018

• osate2-ba

  Public archive
  Old Behavior Annex plug-in for OSATE repository, kept for reference

  Java

  •55 forks•55 stars•33 issues•00 pull requests•Updated May 4, 2018May 4, 2018

• development

  Public
  Settings for Eclipse

  Python

  •33 forks•22 stars•00 issues•00 pull requests•Updated Apr 3, 2018Apr 3, 2018

• aadl2altarica

  Public
  AADL to AltaRica Translator

  Java

  •

  Other

  •00 forks•22 stars•00 issues•00 pull requests•Updated Mar 16, 2018Mar 16, 2018

• aadl-website

  Public
  Source for the aadl.info website.

  Python

  •00 forks•00 stars•00 issues•00 pull requests•Updated Mar 8, 2018Mar 8, 2018