Skip to content
View brlarson's full-sized avatar
4 followers · 0 following
  • Multitude Corporation
  • 752 Gramsie Road, Shoreview MN 55126
  • 11:29 (UTC -06:00)

Achievements

Achievement: Pull Shark

Achievements

Achievement: Pull Shark

Highlights

  • Pro

Block or report brlarson

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

  • BLESS-IDE Public

    Open-source Integrated Development Environment plugin to OSATE for development of BLESS programs.

    Java Eclipse Public License 2.0 Updated Nov 1, 2024

  • BLESS-tutorial Public

    PostScript Updated Oct 18, 2024

  • BLESS-models Public

    AADL models having BLESS behaviors, proof scripts, and correctness proofs

    PostScript 3 Creative Commons Zero v1.0 Universal Updated Oct 11, 2024

  • BRL-SysML-v2-Pilot-Implementation Public

    Forked from Systems-Modeling/SysML-v2-Pilot-Implementation

    Proof-of-concept pilot implementation of the SysML v2 textual notation and visualization

    Java GNU Lesser General Public License v3.0 Updated Jun 23, 2024

  • IoMT Public

    Internet of Medical Things example system-of-systems with AADL and BLESS

    PostScript Updated Apr 22, 2024

  • BLESS2Slang Public

    IntelliJ projects of Slang (scala) generated from BLESS+AADL models

    Scala Updated Mar 21, 2024

  • set.mm Public

    Forked from metamath/set.mm

    Metamath source file for logic and set theory

    HTML Creative Commons Zero v1.0 Universal Updated Feb 15, 2024

  • ddd-slang-hccs-2023 Public

    Scala Updated May 9, 2023

  • DesignSpaceExplorer Public

    Generate instance models for particular products from AADL architectures defining a design space comprizing multiple products.

    Java Updated Apr 19, 2023

  • testgetdispatchprotocol Public

    Example OSATE plugin to debug GetProperties.getDispatchProtocol

    Java Updated Nov 21, 2022

  • AASPE Public

    Forked from cmu-sei/AASPE

    A set of modeling tools for security analysis (attack tree, attack impact) and a code generator to produce code for the seL4 platform from AADL models.

    Java Updated Jul 28, 2021

  • discovery Public

    Forked from osate/discovery

    Data for additional installable OSATE components

    Eclipse Public License 2.0 Updated Nov 20, 2020

  • osate2 Public

    Forked from gmcahill/osate2-core

    Open Source AADL2 Tool Environment

    HTML Eclipse Public License 2.0 Updated Mar 28, 2020

  • AADL-projects Public

    AADL projects uploaded for use in OSATE bug reporting

    Updated Jun 11, 2015