DocumentCode
2361900
Title
Checking modification tolerance
Author
Cin, M. Dal
Author_Institution
Erlangen-Nurnberg Univ., Germany
fYear
1998
fDate
13-14 Nov 1998
Firstpage
4
Lastpage
12
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;
fLanguage
English
Publisher
ieee
Conference_Titel
High-Assurance Systems Engineering Symposium, 1998. Proceedings. Third IEEE International
Conference_Location
Washington, DC
Print_ISBN
0-8186-9221-9
Type
conf
DOI
10.1109/HASE.1998.731589
Filename
731589
Link To Document