DocumentCode :
273783
Title :
A specification-based simulation technique for fault recovery process design
Author :
Ono, H.
Author_Institution :
NTT Corp., Tokyo, Japan
fYear :
1989
fDate :
3-6 Jul 1989
Firstpage :
127
Lastpage :
131
Abstract :
Stored program control switches split their functions between hardware and software; therefore, the effective allocation of functions is important in system design. A fault recovery process simulator is useful in supporting the designer´s thinking because he can easily test his ideas for the function allocation and confirm the system behavior with the tool before hardware and software designs become far advanced. The paper describes hardware and software specifications and a simulation technique based on these specifications. The main subjects discussed are: the model of the fault recovery process for hardware faults in ESS; the fault recovery process; user interfaces; and the simulation technique
Keywords :
digital simulation; electronic switching systems; fault tolerant computing; formal specification; system recovery; ESS; SPC switches; fault recovery process design; fault recovery process simulator; hardware specifications; software specifications; specification-based simulation technique; stored program control; system design; user interfaces;
fLanguage :
English
Publisher :
iet
Conference_Titel :
Software Engineering for Telecommunication Switching Systems, 1989. SETSS 89., Seventh International Conference on
Conference_Location :
Bournemouth
Print_ISBN :
0-85296-381-5
Type :
conf
Filename :
41861
Link To Document :
بازگشت