NASA NTRS · 19900013002
Bounded-time fault-tolerant rule-based systems
Abstract
Two systems concepts are introduced: bounded response-time and self-stabilization in the context of rule-based programs. These concepts are essential for the design of rule-based programs which must be highly fault tolerant and perform in a real time environment. The mechanical analysis of programs for these two properties is discussed. The techniques are used to analyze a NASA application.
Keep this discovery
Explore connections, maps & timelines
Browne, James C., Emerson, Allen, Gouda, Mohamed, Miranker, Daniel, Mok, Aloysius, Rosier, Louis. 1990-05-01. Bounded-time fault-tolerant rule-based systems. https://ntrs.nasa.gov/citations/19900013002
Cite the original work for its findings. Save a collection to share your selection of sources.