EXPLICIT STATE MODEL CHECKING OF SL/SF MODELS USING THE AUTO-GENERATED CODE

摘要

A system and a method for validating a model for a control system as per a set of specifications. The method includes obtaining a model code corresponding to the model, where the model-code is generated by a modeling tool. Further, a test-code capable of monitoring one or more model parameters that need to be validated is generated using a testing tool. The model-code and the test-code are combined to obtain an integrated-code. The integrated code is executed in the testing tool that compares the obtained output values with the expected output values as provided in the specifications. Further, the model is identified as valid or invalid based on the comparison based on the results of the comparison.