Bounded-Response-Time Self-Stabilizing OPS5 Production Systems

This paper examines the task of constructing boundedtime self-stabilizing rule-based systems that take their input from an external environment. Bounded response-time and self-stabilization are essential for rule-based programs that must be highly fault-tolerant and perform in a real-time environment. We present an approach for solving this problem using the OPS5 programming language as it is one of the most expressive and widely used rule-based programming languages. Bounded response-time of the program is ensured by constructing the state space graph so that the programmer can visualize the control flow of the program execution, and any possible infinite execution loops should be detected. Both the input variables and internal variables are made fault tolerant from corruption caused by transient

• Type: Conference
• Year: 2000
• Where: IPPS
• Authors: Albert Mo Kim Cheng, Seiya Fujii
• Keywords: Distributed And Parallel Computing, IPPS 2000, Rule-based Programming Languages, Rule-based Programs, Self-stabilizing Rule-based Systems