Supporting fault tolerance in formal service design

Author

Jokanovic, Dusan

Author_Institution

Furukawa Electr. Ind. Co., Ltd., Sendai, Japan

Volume

2

fYear

1993

fDate

6-11 Sep 1993

Firstpage

586

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;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/SICON.1993.515655

Filename

515655