Title :
Designing time critical systems with TACT
Author :
Stone, R.F. ; Zedan, H.S.M.
Author_Institution :
Dept. of Comput. Sci., York Univ., UK
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;
Conference_Titel :
Real Time, 1989. Proceedings., Euromicro Workshop on
Conference_Location :
Como
Print_ISBN :
0-8186-1956-2
DOI :
10.1109/EMWRT.1989.43444
