Technical Brief

Safety Constraints of Instrumental and Control Algorithm Configuration Based on SCADE Platform

[+] Author and Article Information
Hua Liu, Xiao-Hua Yang, Zhao-Hui Liu, Shi-Yu Yan, Meng Li, Jie Liu

CNNC Key Laboratory on High Trusted Computing,
University of South China,
Hengyang 421001, China

Zhi Chen

Nuclear Power Institute of China,
Chengdu 610200, China

Manuscript received November 1, 2017; final manuscript received January 16, 2019; published online May 3, 2019. Assoc. Editor: John F. P. de Grosbois.

ASME J of Nuclear Rad Sci 5(3), 034501 (May 03, 2019) (5 pages) Paper No: NERS-17-1284; doi: 10.1115/1.4042704 History: Received November 01, 2017; Revised January 16, 2019

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.

Copyright © 2019 by ASME
Topics: Safety , Signals , Algorithms
Your Session has timed out. Please sign back in to continue.


Gao, Y. N. , 2015, “ The Study of Embedded Software Development Method Based on SCADE,” Electron. Des. Eng., 21, pp. 103–105.
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.
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.
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.
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.
Lin, F. , 2011, “ Research on SCADE-Based Formal Verification Technology,” Meas. Control Technol., 30(12), pp. 71–74.
Lin, C. W. , 2007, “ Design and Implementation of Trinal-Redundancy Signal-Voting System Based on Scade,” Sci. Technol. Eng., 7(9), pp. 2085–2087.
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.


Grahic Jump Location
Fig. 1

Design process based on SCADE platform

Grahic Jump Location
Fig. 2

Basic process of safety constraints analysis

Grahic Jump Location
Fig. 3

The alarm exceeding the upper limit and the generation of shutdown signal

Grahic Jump Location
Fig. 4

The alarm below the lower limit and the generation of shutdown signal

Grahic Jump Location
Fig. 5

The OR gate with two input signals

Grahic Jump Location
Fig. 6

Space model of test cases



Some tools below are only available to our subscribers or users with an online account.

Related Content

Customize your page view by dragging and repositioning the boxes below.

Related Journal Articles
Related eBook Content
Topic Collections

Sorry! You do not have access to this content. For assistance or to subscribe, please contact us:

  • TELEPHONE: 1-800-843-2763 (Toll-free in the USA)
  • EMAIL: asmedigitalcollection@asme.org
Sign In