Search results

Incorrect construction of the minimal cut set in EMV2

Status: Open.

#2970 In osate/osate2;

· MaksimPerepelitsa opened on Feb 25, 2026

Re-enable instance model checks

category:enhancement

Status: Open.

Task

#2962 In osate/osate2;

· lwrage opened on Sep 30, 2025

Integrate SOM reachability analysis with model instantiation

category:enhancement

core

Status: Open.

Feature

#2958 In osate/osate2;

· lwrage opened on Aug 29, 2025

SOM reachability analysis should consider bindings

analysesanalyses from pluginsanalyses from plugins

category:enhancement

Status: Open.

Feature

#2950 In osate/osate2;

· lwrage opened on Aug 20, 2025

Bug in ormore FTA probability math

emv2

Status: Open.

Bug

#2927 In osate/osate2;

· anders-code opened on May 26, 2025

Bogus warning on connection to feature with prototype

category:enhancement

core

Status: Open.

Bug

#2921 In osate/osate2;

· lwrage opened on Sep 23, 2024

Allow more analyses to be run programmatically.

Status: Open.

#2887 In osate/osate2;

· schwerdf opened on Feb 8, 2024

Allow DAL to apply to thread group

Status: Open.

#2881 In osate/osate2;

· joeseibel opened on Oct 10, 2023

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

category:enhancement

importance:low

Status: Open.

#2879 In osate/osate2;

· sprocter opened on Aug 1, 2023

Flow instantiation silently fails when subcomponents have connections but not flow implementations

Status: Open.

#2872 In osate/osate2;

· smithdtyler opened on May 19, 2023

UI for ignoring and overriding contributed AADL is confusing

category:enhancement

core

Status: Open.

#2861 In osate/osate2;

· lwrage opened on Feb 1, 2023

Missing validation for CompositeState.typedToken

category:bug

emv2

Status: Open.

#2858 In osate/osate2;

· joeseibel opened on Dec 12, 2022