loading...
State Space Reduction in SDL Models of Fault-Tolerant Systems
Santa Fe, New Mexico April 26-April 30
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/IPDPS.2004.130323318th International Parallel and Distr ...
 This Article 
 
PDF
HTML
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
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.


Suggestions