Repositories list

• osate2

  Public
  Open Source AADL2 Tool Environment

  Java

  •

  Eclipse Public License 2.0

  •8•40•165•3•Updated Oct 22, 2024Oct 22, 2024

• osate.github.io

  Public
  pages

  HTML

  •0•0•0•0•Updated Oct 18, 2024Oct 18, 2024

• contract-annex

  Public
  Assurance Contract Annex Implementation

  Java

  •

  Other

  •0•0•10•2•Updated Sep 12, 2024Sep 12, 2024

• face2aadl

  Public
  Java

  •0•4•0•0•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

  •0•5•12•1•Updated Aug 9, 2024Aug 9, 2024

• aadl-sysmlv2

  Public
  Experimental translation between AADL and SysMLv2

  Java

  •2•5•0•1•Updated May 17, 2024May 17, 2024

• discovery

  Public
  Data for additional installable OSATE components

  Eclipse Public License 2.0

  •2•0•0•0•Updated Apr 29, 2024Apr 29, 2024

• osate2-asap

  Public
  Architecture-Supported Audit Processor

  Java

  •

  Other

  •0•1•2•0•Updated Jul 13, 2023Jul 13, 2023

• example-plugins

  Public
  Java

  •0•0•0•0•Updated May 19, 2022May 19, 2022

• osate2-mixedtrust

  Public
  Mixed trust scheduling

  Java

  •0•0•0•0•Updated Jan 10, 2022Jan 10, 2022

• website

  Public archive
  Python

  •1•0•0•0•Updated Sep 17, 2021Sep 17, 2021

• sandbox

  Public
  playground

  HTML

  •0•0•0•0•Updated Jun 11, 2021Jun 11, 2021

• examples

  Public
  Examples and case-study that use OSATE

  Java

  •67•56•2•0•Updated Jan 28, 2021Jan 28, 2021

• experimental

  Public
  Java

  •1•0•0•1•Updated May 15, 2020May 15, 2020

• osate-install

  Public
  Shell

  •

  Eclipse Public License 2.0

  •2•1•0•0•Updated Apr 24, 2020Apr 24, 2020

• propertiescodegen

  Public
  Generate Java code from AADL property types

  Kotlin

  •

  Eclipse Public License 2.0

  •0•0•0•0•Updated Nov 15, 2019Nov 15, 2019

• alisa-examples

  Public
  Python

  •5•5•1•0•Updated Nov 12, 2019Nov 12, 2019

• buildtest

  Public
  Java

  •0•0•0•1•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

  •3•0•0•0•Updated Aug 31, 2018Aug 31, 2018

• ErrorModelV2

  Public archive
  Old AADL EMV2 annex repository, kept for reference

  Java

  •10•3•13•0•Updated May 16, 2018May 16, 2018

• osate2-plugins

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

  Java

  •9•13•10•0•Updated May 16, 2018May 16, 2018

• alisa

  Public archive
  Old Alisa repository, kept for reference

  Java

  •2•4•11•0•Updated May 5, 2018May 5, 2018

• osate2-core

  Public archive
  Old osate2-core repository, kept for reference

  HTML

  •2•0•0•0•Updated May 4, 2018May 4, 2018

• osate-ge

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

  Java

  •3•6•0•0•Updated May 4, 2018May 4, 2018

• osate2-ba

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

  Java

  •4•5•3•0•Updated May 4, 2018May 4, 2018

• development

  Public
  Settings for Eclipse

  Python

  •2•2•0•0•Updated Apr 3, 2018Apr 3, 2018

• aadl2altarica

  Public
  AADL to AltaRica Translator

  Java

  •

  Other

  •0•2•0•0•Updated Mar 16, 2018Mar 16, 2018

• aadl-website

  Public
  Source for the aadl.info website.

  Python

  •0•0•0•0•Updated Mar 8, 2018Mar 8, 2018

• aadl.github.io

  Public
  aadl.info

  0•0•0•0•Updated Mar 7, 2018Mar 7, 2018

• AADLV3

  Public
  Experimental AADL V3 Grammar

  0•0•0•0•Updated Mar 1, 2018Mar 1, 2018