• 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