Skip to content
@osate

Open Source AADL Tool Environment

Pinned Loading

  1. osate2 osate2 Public

    Open Source AADL2 Tool Environment

    Java 57 12

  2. aadl-tooling aadl-tooling Public

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

    Java

Repositories

Showing 10 of 40 repositories
  • osate2 Public

    Open Source AADL2 Tool Environment

    osate/osate2's past year of commit activity
    Java 57 12 116 2 Updated Sep 9, 2026
  • aadl-tooling Public

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

    osate/aadl-tooling's past year of commit activity
    Java 0 0 0 1 Updated Sep 4, 2026
  • homebrew-osate Public
    osate/homebrew-osate's past year of commit activity
    Ruby 0 0 0 0 Updated Sep 2, 2026
  • aadl-language-server Public archive

    DEPRECATED — superseded by osate/aadl-tooling

    osate/aadl-language-server's past year of commit activity
    Java 0 0 0 0 Updated Sep 1, 2026
  • osate.github.io Public

    pages

    osate/osate.github.io's past year of commit activity
    HTML 0 0 0 0 Updated Aug 21, 2026
  • contract-annex Public

    Assurance Contract Annex Implementation

    osate/contract-annex's past year of commit activity
    Java 0 0 10 2 Updated Sep 27, 2025
  • examples Public

    Examples and case-study that use OSATE

    osate/examples's past year of commit activity
    Java 60 69 2 0 Updated Apr 15, 2025
  • face2aadl Public
    osate/face2aadl's past year of commit activity
    Java 4 0 0 0 Updated Sep 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.

    osate/osate2-gtse's past year of commit activity
    Java 6 0 12 1 Updated Aug 9, 2024
  • aadl-sysmlv2 Public

    Experimental translation between AADL and SysMLv2

    osate/aadl-sysmlv2's past year of commit activity
    Java 11 3 0 1 Updated May 17, 2024
View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Most used topics

Loading…