Title :
On the reliability of AI planning software in real-time applications
Author :
Chen, Ing-Ray ; Bastani, Farokh B. ; Tsao, Ta-Wei
Author_Institution :
Inst. of Inf. Eng., Nat. Cheng Kung Univ., Tainan, Taiwan
fDate :
2/1/1995 12:00:00 AM
Abstract :
We define the reliability of a real-time system incorporating AI planning programs as the probability that, for each problem-solving request issued from the environment, the embedded system can successfully plan and execute a response within a specified real-time deadline. A methodology is developed for evaluating the reliability of such systems taking into consideration the fact that, other than program bugs, the intrinsic characteristics of AI planning programs may also cause the embedded system to fail even after all software bugs are removed from the program. The utility of the methodology is demonstrated by applying it to the reliability evaluation of two AI planning algorithms embedded in a real-time multicriteria route finding system
Keywords :
planning (artificial intelligence); real-time systems; software reliability; AI planning programs; AI planning software; embedded system; heuristics; intrinsic characteristics; overall hardware/software system reliability; problem-solving request; program bugs; real-time applications; real-time multicriteria route finding system; reliability evaluation; software bugs; specified real-time deadline; Aircraft; Algorithm design and analysis; Application software; Artificial intelligence; Computer bugs; Embedded software; Embedded system; Path planning; Real time systems; Reliability;
Journal_Title :
Knowledge and Data Engineering, IEEE Transactions on
