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