Title :
Checking modification tolerance
Author_Institution :
Erlangen-Nurnberg Univ., Germany
Abstract :
We elaborate a relational framework which allows the modeling and analysis of unintended and fault-tolerant system behavior. The framework is based on the notions of concurrent finite state machines and on tolerance and error relations over the state set of these machines. The focus is on permanent errors which modify the transition structure of these machines
Keywords :
errors; fault tolerant computing; finite state machines; relational algebra; analysis; concurrent finite state machines; error relations; fault-tolerant system behavior; modeling; modification tolerance checking; permanent errors; relational framework; transition structure; unintended system behavior; Automata; Calculus; Control systems; Fault tolerance; Fault tolerant systems; Mission critical systems; Monitoring; Power system modeling; Safety; State-space methods;
Conference_Titel :
High-Assurance Systems Engineering Symposium, 1998. Proceedings. Third IEEE International
Conference_Location :
Washington, DC
Print_ISBN :
0-8186-9221-9
DOI :
10.1109/HASE.1998.731589
