Designing time critical systems with TACT

Author

Stone, R.F. ; Zedan, H.S.M.

Author_Institution

Dept. of Comput. Sci., York Univ., UK

fYear

1989

Firstpage

74

Lastpage

82

Abstract

The authors propose a small set of extensions with language and run-time support, based on reliable communication and atomic actions, to the concurrent programming language OCCAM2. A description of the syntax and a formal definition of the semantics of the constructs, which are based on labeled transition systems, are given. Provisions for backward error recovery are described that allow well-established fault-tolerant strategies to be constructed. A simple example of the design paradigm is described. Some details of implementation issues are also given

Keywords

Occam; fault tolerant computing; parallel programming; program interpreters; real-time systems; software engineering; OCCAM2; TACT; atomic actions; backward error recovery; concurrent programming language; design paradigm; fault-tolerant strategies; labeled transition systems; reliable communication; run-time support; semantics; syntax; time critical systems; Aerospace control; Algorithm design and analysis; Concurrent computing; Control systems; Delay; Hazards; Humans; Power generation; Scheduling algorithm; Timing;

fLanguage

English

Publisher

ieee

Conference_Titel

Real Time, 1989. Proceedings., Euromicro Workshop on

Conference_Location

Como

Print_ISBN

0-8186-1956-2

Type

conf

DOI

10.1109/EMWRT.1989.43444

Filename

43444