loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
18th International Parallel and Distributed Processing Symposium (IPDPS'04) - Workshop 11
State Space Reduction in SDL Models of Fault-Tolerant Systems
Santa Fe, New Mexico
April 26-April 30
ISBN: 0-7695-2132-0
Sabine M. Böhm, University of Duisburg-Essen
Klaus Echtle, University of Duisburg-Essen
Detailed state transition models of fault-tolerant systems tend to induce extremely large state spaces, mainly caused by the non-deterministic nature of faults. One of the well-known countermeasures are partial ordering techniques. Yet the remaining state space can be by far too large. This paper deals with a special partial ordering criteria to limit fault effects: After the model components have been grouped to single fault regions the concurrency between these regions is reduced by firing rules of the respective transitions. The rules are either based on a priority scheme or, preferably, on a model of time consumption. It is shown how the approach can be realized in standard SDL without an extension to the language. The problems of the underlying SDL time model and the relationship to single fault regions are discussed deeply. An experimental evaluation with a large model shows the usefulness of the approach.
Citation:
Sabine M. Böhm, Klaus Echtle, "State Space Reduction in SDL Models of Fault-Tolerant Systems," ipdps, vol. 12, pp.206b, 18th International Parallel and Distributed Processing Symposium (IPDPS'04) - Workshop 11, 2004
Usage of this product signifies your acceptance of the Terms of Use.