Frequently Asked Question
In low demand mode, hardware constraint verification works fine in exSILentia. May I know why when High Demand or Continuous Demand Mode is selected, hardware constraint verification disappears in exSILentia?
Last Updated a year ago
During the IEC 61508 committee meetings (2000 release) it was specifically stated that architectural constraints only applied to low demand applications. As a result, this is what is implemented in our tool. However, With the new version of IEC 61508 as well as IEC 61511 architectural constraints need to be enforced on all operating modes. The latest release of exSILentia v4, architectural constraints are applied to all operating modes.