Skip to content

KIT-TVA/ArchRel

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

18 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

ArchRel

TODO

  • Only the "root" of a interface change should be shown in the system CFT
  • the provider of an interface create failure in its parent (the component that depends on it) - and needs to be added to its CFT - not the systems
  • remove XOR, NOT Gates
  • currently subcomponents do not show their maxf value correctly
  • interface rule maxf refinement could be broken? (they get assigned the same value
  • repeatetly pressing "add component" should be the same as adding many subcomponents to the system
  • The maxf value of the system should be propagated downwards (each component recieves a maxf value)
  • during each refinement step the cft of the touched components should be evaluated to a probability and checked if that probability is higher than maxf - if so the refinement fails and an error is shown
  • double click on subcomponent opens its CFT
  • the maxf value of each subcomponent should be changeable to another value as long as with this new maxf value, it does not hurt the overall maxf value of the fault tree
  • instant feedback whether the current configuration is legal through giving the output a red or green border, instead of only showing the popup on close (keep the popup)
  • after the user has edited the automatically generate strict failure model fault tree, any newly auto generated fault tree, will be created under a new output node (the user edit stays on one output node and a second one is created for the automatically generated stuff)

About

Tool Support for RbC

Resources

Stars

1 star

Watchers

0 watching

Forks

Contributors

Languages