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 will be on permanent errors which modify the transition structure of these machines. |
Year | DOI | Venue |
---|---|---|
1998 | 10.1109/HASE.1998.731589 | HASE |
Keywords | Field | DocType |
checking modification tolerance,error relation,relational framework,permanent error,concurrent finite state machine,transition structure,fault-tolerant system behavior,fault tolerance,finite state machines,relational algebra,modeling,finite state machine,control systems,automata,fault tolerant system,analysis,calculus | Computer science,Software fault tolerance,Finite-state machine,Real-time computing,Relational algebra,Reliability engineering,Distributed computing | Conference |
ISBN | Citations | PageRank |
0-8186-9221-9 | 1 | 0.40 |
References | Authors | |
5 | 1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Mario Dal Cin | 1 | 282 | 40.09 |