Search results

Safety analysis fails to propagate fault behavior within faulty component

bug

Status: Open.

#21 In loonwerks/AMASE;

· kfhoech opened on Nov 29, 2023

Validation of fault_activation reports invalid component name

bug

Status: Open.

#20 In loonwerks/AMASE;

· kfhoech opened on Nov 29, 2023

Update to support AGREE 2.9.0

enhancement

Status: Open.

#19 In loonwerks/AMASE;

· kfhoech opened on Mar 21, 2022

·  

v1.4.0

Analysis handler should use consistent commands and views

bug

Status: Open.

#18 In loonwerks/AMASE;

· kfhoech opened on Mar 14, 2022

CI builds with Github Actions fail for releases

Status: Open.

#15 In loonwerks/AMASE;

· kfhoech opened on Mar 2, 2022

AGREE NestedDotID error

Status: Open.

#14 In loonwerks/AMASE;

· randerous opened on Apr 16, 2021

I get a bug during "Generate Minimal Cut Sets"

Status: Open.

#12 In loonwerks/AMASE;

· yiji-kong opened on May 26, 2020

Update AGREE and Resolute dependencies

Status: Open.

#10 In loonwerks/AMASE;

· smithdtyler opened on Jun 5, 2019

EMFIndexRetrieval deprecated class

Status: Open.

#9 In loonwerks/AMASE;

· dkstewart opened on Nov 9, 2018

Need validation error when fault hypothesis resides in component type

enhancement

Status: Open.

#8 In loonwerks/AMASE;

· janetlj opened on Mar 27, 2018

Enhancement on fault probability

enhancement

Status: Open.

#7 In loonwerks/AMASE;

· janetlj opened on Dec 11, 2017

Have faults show up with respective components in counterexample

enhancement

Status: Open.

#6 In loonwerks/AMASE;

· dkstewart opened on Nov 8, 2017