ge-high-assurance/VERDICT

Issues

• Discrete cost values at DALs to enable non-linear cost DAL relationships

  #289 opened 2 years ago by chrisage
  0

• Packaged release in not installable

  #325 opened 2 years ago by ASH-SYSTEMS
  1

• VDM Translator XML Marshalling Error: JAXB jakarta/activation/DataSource

  #277 opened 2 years ago by chrisage
  1

• Cutset likelihood switches between scientific and decimal notation

  #270 opened 2 years ago by chrisage
  1

• The results portion swapped for the XML and txt files generated by Soteria++

  #194 opened 2 years ago by baoluomeng
  12

• Misleading Calculated Likelihood in ImplProperties.txt when DAL=0

  #228 opened 2 years ago by kityansiu
  0

• Soteria++ fails when 2 controllers present in a file

  #255 opened 2 years ago by AbhaMoitra
  0

• Cost Model interface automatically changes Component/Connection in certain situations

  #230 opened 2 years ago by AbhaMoitra
  1

• New VDM to CSV translator

  #83 opened 2 years ago by baoluomeng
  0

• New VDM to Lustre translator

  #87 opened 3 years ago by baoluomeng
  0

• To do list for William

  #102 opened 4 years ago by baoluomeng
  0

• Defense Feedback

  #80 opened 4 years ago by MichaelDurlingGeneralElectric
  4

• Public set of Charts

  #79 opened 4 years ago by MichaelDurlingGeneralElectric
  2

• Bus support in VERDICT

  #92 opened 4 years ago by baoluomeng
  0

• Experiment with new model in VERDICT

  #78 opened 4 years ago by MichaelDurlingGeneralElectric
  0

• New VDM to Lustre translator

  #82 opened 4 years ago by baoluomeng
  0

• New VDM to CSV translator

  #81 opened 4 years ago by baoluomeng
  0

• Defense property on connection c1 also showed up on c11 erroneously

  #74 opened 4 years ago by kityansiu
  1

• [Installation issue] requires 'osgi.bundle; org.eclipse.emf.mwe2.launch 0.0.0' but it could not be found

  #75 opened 4 years ago by cong-liu-2000
  4

• Move some properties from component to connection

  #72 opened 4 years ago by AbhaMoitra
  0

• Implemented defenses should show "and" instead of "or"

  #65 opened 4 years ago by kityansiu
  1

• distinguish when CAPEC-137 is mitigated by a defense property on a connection from defense property on a component

  #66 opened 4 years ago by kityansiu
  0

• Cyber Requirement set to None

  #36 opened 4 years ago by MichaelDurlingGeneralElectric
  1

• Clarify Cyber Relation for boundary case

  #5 opened 5 years ago by MichaelDurlingGeneralElectric
  1