LAUSR

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 configured parameters are important for the safety and reliability. Relations of parameters among different modules are very complex. Parameters are easy to be wrongly configured in the design process. Parameters must be considered and checked. The analysis process of safety constraints is established. The analysis is not only important for the sufficient in the design validation and verification but also improves design quality and decreasing the defects.