osate/examples

Issues

• CheckFlowLatency error caused by incomplete modeling in latency-case-study

  #14 opened a year ago by dynamicink
  1

• Redundant GPS in Speed regulation not redundant in Fault Tree

  #7 opened 4 years ago by Sigurthorb
  2

• Simple.aadl

  #13 opened 4 years ago by flambye94
  1

• SafetyTutorial import error

  #12 opened 5 years ago by jmvillalba
  1

• various errors reported against Embedded Control example

  #9 opened 6 years ago by Bazmundi
  2

• syntaxical errors in the PRISM generated models

  #3 opened 11 years ago by sma350
  5

• Logic error in embedded-control error model states

  #8 opened 8 years ago by pbalsgaard
  0

• Plug-in of PRISM for OSATE

  #5 opened 8 years ago by ksk261188
  2

• Multiple errors in project after import

  #6 opened 8 years ago by Sigurthorb
  4

• Syntaxic errors in some examples

  #2 opened 11 years ago by sma350
  3

• AircraftExample is not in compliance with current SEI property set

  #1 opened 11 years ago by khoroshilov
  5