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.

References

References
1.
Gao
,
Y. N.
,
2015
, “
The Study of Embedded Software Development Method Based on SCADE
,”
Electron. Des. Eng.
,
21
, pp.
103
105
.
2.
Caspi
,
P.
,
Mazuet
,
C.
,
Salem
,
R.
, and
Weber
,
D.
,
1999
, “
Formal Design of Distributed Control Systems With Lustre
,”
Computer Safety, Reliability and Security, 18th International Conference (Safecomp'99)
, Toulouse, France, Sept., pp.
396
409
.
3.
Zilio
,
S. D.
, and
Berthomieu
,
B.
,
2015
, “
Automating the Verification of Realtime Observers Using Probes and the Modal mu-Calculus
,” First IFIP International Conference on Topics in Theoretical Computer Science, Tehran, Iran, Aug. 26–28.
4.
Scaife
,
N.
,
Sofronis
,
C.
,
Caspi
,
P.
,
Tripakis
,
S.
, and
Maraninchi
,
F.
,
2004
, “
Defining and Translating a Safe Subset of Simulink/Stateflow Into Luster
,”
ACM International Conference on Embedded Software
, Pisa, Italy, Sept. 27–29, pp.
259
268
.http://www-verimag.imag.fr/~tripakis/papers/emsoft04.pdf
5.
Yao
,
L. I.
,
Guo
,
J.
,
Kong
,
L. J.
, and
Song
,
H. Q.
,
2013
, “
Research on Improvement of SCADE-Based Formal Verification Technology
,”
Comput. Eng. Des.
,
34
(
6
), pp.
2025
2030
.
6.
Lin
,
F.
,
2011
, “
Research on SCADE-Based Formal Verification Technology
,”
Meas. Control Technol.
,
30
(
12
), pp.
71
74
.
7.
Lin
,
C. W.
,
2007
, “
Design and Implementation of Trinal-Redundancy Signal-Voting System Based on Scade
,”
Sci. Technol. Eng.
,
7
(9), pp. 2085–2087.http://www.cqvip.com/qk/84018X/200709/24350859.html
8.
Guo
,
X. F.
,
2011
, “
The Embedded Software Design of Nuclear Reactor Protection System Based on SCADE
,” Xian University of Electronic Science and Technology, Xi'an, China.
You do not currently have access to this content.