Title :
Behavioral design and prototyping of a fail-safe system
Author :
Min, Yinghua ; Zhou, Yutang ; Li, Zhongcheng ; Ye, Cheng ; Pan, Yuqi
Author_Institution :
Inst. of Comput. Technol., Beijing, China
Abstract :
This paper presents a methodology for designing and prototyping a fail-safe system at behavioral level. The theoretical framework for fail-safe circuits in the literature is difficult to apply in practice because of the complexity of practical systems. In this paper, a fail-safe system is defined at the behavioral level. The fail-safe rules in the system specification allow fault-tree analysis to verify the fail-safeness. To illustrate the methodology, a microprocessor-based fail-safe system for interlocking on railways is presented
Keywords :
VLSI; application specific integrated circuits; circuit reliability; logic design; logic testing; railways; safety systems; signalling; ASIC VLSIs; behavioral design; behavioral prototyping; fail-safe system; fault-tree analysis; interlocking; microprocessor-based fail-safe system; railway signaling; Application specific integrated circuits; Coils; Computers; Design methodology; Failure analysis; Prototypes; Rail transportation; Railway safety; Relays; Very large scale integration;
Conference_Titel :
VLSI Design, 1994., Proceedings of the Seventh International Conference on
Conference_Location :
Calcutta
Print_ISBN :
0-8186-4990-9
DOI :
10.1109/ICVD.1994.282676
