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.

Issue Section:
Technical Brief
Keywords:
I&C algorithm, SCADE, safety constraints analysis
Topics:
Safety, Signals, Algorithms

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.
Copyright © 2019 by ASME
You do not currently have access to this content.