Issues

• Validate prefixed BA initialization per component instance 🤖

  bacategory:enhancement
  Feature

  osate/osate2#3230 · Filter by author lwrage opened on Sep 15, 2026

• Behavior annex should be instantiated

  bacategory:enhancement
  Feature

  osate/osate2#3229 · Filter by author lwrage opened on Sep 15, 2026

• Enforce LSER and ASER subprogram-call protocol restrictions 🤖

  bacategory:enhancement
  Feature

  osate/osate2#3192 · Filter by author lwrage opened on Sep 9, 2026
  1

  

• Check Behavior Annex freeze and send actions against Input_Time and Output_Time 🤖

  bacategory:enhancement
  Feature

  osate/osate2#3188 · Filter by author lwrage opened on Sep 9, 2026
  1

  

• Enforce Behavior Annex dispatch protocol and trigger compatibility rules 🤖

  bacategory:enhancement
  Feature

  osate/osate2#3187 · Filter by author lwrage opened on Sep 9, 2026
  1

  

• Verify network bandwidth analysis misses connection budget overruns 🤖

  alisacategory:bugimportance:low
  osate/osate2#3007 · Filter by author lwrage opened on Aug 8, 2026
  1

• Integrate SOM reachability analysis with model instantiation

  category:enhancementcore
  Feature

  osate/osate2#2958 · Filter by author lwrage opened on Aug 29, 2025

• SOM reachability analysis should consider bindings

  analysescategory:enhancement
  Feature

  osate/osate2#2950 · Filter by author lwrage opened on Aug 20, 2025
  

• Bogus warning on connection to feature with prototype

  category:enhancementcore
  Bug

  osate/osate2#2921 · Filter by author lwrage opened on Sep 23, 2024

• Allow more analyses to be run programmatically.

  osate/osate2#2887 · Filter by author schwerdf opened on Feb 8, 2024
  1

• Allow DAL to apply to thread group

  osate/osate2#2881 · Filter by author joeseibel opened on Oct 10, 2023
  

• The Slicer should support models where propagations are not described in flows

  category:enhancementimportance:low
  osate/osate2#2879 · Filter by author sprocter opened on Aug 1, 2023
  

• UI for ignoring and overriding contributed AADL is confusing

  category:enhancementcore
  osate/osate2#2861 · Filter by author lwrage opened on Feb 1, 2023
  1

• EMV2 checking of typesets in propagations and error conditions is incomplete.

  emv2
  osate/osate2#2855 · Filter by author AaronGreenhouse opened on Nov 11, 2022

• Fault tree analysis stack overflows when states have loops

  category:bugemv2
  osate/osate2#2841 · Filter by author AaronGreenhouse opened on Sep 21, 2022

• Missing validation for ErrorStateToModeMapping.typeToken

  category:bugemv2
  osate/osate2#2831 · Filter by author joeseibel opened on Aug 9, 2022

• Enable code generation for annexes

  category:enhancementcore
  Feature

  osate/osate2#2826 · Filter by author joeseibel opened on Jul 28, 2022
  

• Code coverage reported in sonarcloud is incomplete

  category:releng
  osate/osate2#2824 · Filter by author lwrage opened on Jul 8, 2022
  

• Validator doesn't lookup probability property when transition is in a state machine

  category:bugemv2
  osate/osate2#2822 · Filter by author joeseibel opened on Jul 1, 2022

• Wrong validation for type products in transitions

  category:bugemv2
  osate/osate2#2816 · Filter by author joeseibel opened on Jun 7, 2022

• Missing 'in' keyword for references to propagations in condition expression

  category:bugemv2
  osate/osate2#2815 · Filter by author joeseibel opened on Jun 2, 2022

• Missing validation for emv2PropagationKind in EMV2PathElement

  category:bugemv2
  osate/osate2#2812 · Filter by author joeseibel opened on Jun 1, 2022

• Internal features are not instantiated

  category:enhancementcore
  osate/osate2#2793 · Filter by author lwrage opened on May 2, 2022
  

• Classifiers referenced in property values are not instantiated

  category:enhancementcoremeta-model
  Feature

  osate/osate2#2792 · Filter by author lwrage opened on May 2, 2022
  1

  

• Incorrect syntax allowed for propagation paths

  category:bugemv2
  osate/osate2#2791 · Filter by author joeseibel opened on Apr 21, 2022
  1