Title :
Supporting fault tolerance in formal service design
Author :
Jokanovic, Dusan
Author_Institution :
Furukawa Electr. Ind. Co., Ltd., Sendai, Japan
Abstract :
This paper considers design environment based on LOTOS formal specification language. Designers need an environment that effectively supports the development of reliable software. As a first step towards this goal, the author introduces an extension of LOTOS that makes it possible to define directly noninterruptible sequences of actions in specifications, that is, atomic actions at any level of abstraction. This allows specifying different software mechanisms for error recovery. The properties of the new language construct are discussed. In addition, how to use the enhanced LOTOS in order to specify a simple reliable protocol is shown
Keywords :
formal specification; programming environments; project support environments; protocols; sequences; software fault tolerance; specification languages; system recovery; design environment; error recovery; extension of LOTOS; fault tolerance; formal service design; formal specification language; noninterruptible sequences; protocol; software mechanisms; Concurrent computing; Fault tolerance; Formal specifications; Interleaved codes; Programming profession; Protocols; Redundancy; Runtime; Software tools; Standards development;
Conference_Titel :
Networks, 1993. International Conference on Information Engineering '93. 'Communications and Networks for the Year 2000', Proceedings of IEEE Singapore International Conference on
Print_ISBN :
0-7803-1445-X
DOI :
10.1109/SICON.1993.515655
