SIL refers to the kind of testing done to validate the behavior of the C-code used in the controller.  That code can be auto-generated from the model used in algorithm development.  Emmeskay has a deep understanding of SIL testing and auto-code generation from the many SIL projects we have performed for our customers.  More details about our experience in the field can be found in the related items linked below.