Algorithm library plays an important role in digital instrument control system. In the design process, software testing and safety verification are focused on safety and reliability of the algorithm library. The generation of trip that is a shutdown signal is applied based on the basic algorithms library of SCADE platform. A new standpoint is proposed. The safety constraints are mainly focus on the configured parameters. The configured parameters are important to the safety and reliability. Relations of parameters among the different modules are very complex. Parameters are easy to be wrongly configured in the design process. The correct or mistakes of the parameters must be considered and checked. The analysis process of safety constraints is established. The algorithm module invariables and constraint rules are concluded according to the functions of each module, inputs and outputs, parameter description in the library. The typical test cases are generated by the correct rules. Safety constraints and analysis have enough operability.

This content is only available via PDF.
You do not currently have access to this content.