• Publication
  • 1991
  • Issue No. 6 - June
  • Abstract - Specification of Fault-Tolerant System Issues by predicate/Transition Nets and Regular Expressions-Approach and Case Study
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Specification of Fault-Tolerant System Issues by predicate/Transition Nets and Regular Expressions-Approach and Case Study
June 1991 (vol. 17 no. 6)
pp. 513-526

A method to systematically integrate fault tolerance properties into the design of complex software systems is presented. The method exploits a formal specification of the system in which the amount of necessary redundancy can be determined. The system description is based on a combination of a predicate/transition net with regular expressions. The net model provides a formal overview of the system behavior in general, supporting the correct understanding of potential concurrency in the system processes. Regular expressions are used to model the sequential behavior of single-system components in detail. Both model layers provide well-defined levels of error detection; the regular expressions enable the system designer to also determine and introduce redundancy to achieve error correction. The techniques used to describe and analyze system behavior are explained using a case study that contains a stepwise-refined specification and analysis of a multistory shelving system model that has been implemented using the method presented. It is shown that the method applies to any software system which is to be protected against the considered errors.

[1] F. Belli,Extension of Regular Expressions to Automatize the Detection and Correction of Syntactical Errors(in German). Munich: R. Oldenbourg, 1979.
[2] F. Belli and K.-E. Grosspietsch, "A strategy for the development of communication fault-tolerant systems by means of regular expressions," inProc. Int. Symp. Fault-Tolerant Computing FTCS-13(Milan, Italy), 1983, pp.66-73.
[3] W. Brauer, Ed.,Petri Nets Central Models and Their Properties. Berlin, Heidelberg, New York: Springer-Verlag, 1987.
[4] R. Buetler, R. Esser, and R. Mattman, "A distributed simulator for high-order petri nets," inProc. 10th Int. Conf. on Application and Theory of Petri Nets(Bonn), 1989 (to be published asVolume of Lecture Notes in Computer Science (LNCS)).
[5] K. Buergin, "Design, specification, and implementation of a PC-controlled commodity distribution model: Pallet conveying subsystem" (in German), Diploma Thesis, Hochschule (Polytechnic) Bremerhaven, 1985.
[6] L. Chen and A. Avizienis, "N-version programming: A fault-tolerant approach to reliability of software operation," inProc. 8th IFTCS, 1978, pp. 237-245.
[7] E. M. Clarke and O. Grumberg, "Research on automatic verification of finite-state concurrent systems,"Ann. Rev. Comput. Sci., vol. 2, pp. 269-290, 1987.
[8] B. Eggers and F. Belli, "A theory on analysis and construction of fault-tolerant systems" (in German),Informatik-Fachberichte, vol. 84, pp. 139-149, 1984.
[9] F. Feldbrugge and K. Jensen,Petri Net Tool Overview--1986(LNCS 225). New York: Springer-Verlag, 1986, pp. 20-61.
[10] H. Genrich, K. Lautenbach, "System modeling with high-level petri nets,"Theoretical Comput. Sci., vol. 13, pp. 109-136, 1981.
[11] H. J. Genrich, "Predicate/transition nets," inPetri Nets Central Models and Their Properties, W. Brauer, Ed. Berlin, Heidelberg, New York: Springer-Verlag, 1987, pp. 207-247.
[12] P. Huber, K. Jensch, and R. Shapiro, "Hierarchies in colored petri nets," inProc. 10th Int. Conf. on Application and Theory of Petri Nets(Bonn), 1989 (to be published asVolume of Lecture Notes in Computer Science (LNCS)).
[13] K. Jensen, "Colored petri nets are becoming a mature specification language," inProc. 10th Int. Conf. on Application and Theory of Petri Nets(Bonn), 1989 (to be published asVolume of Lecture Notes in Computer Science (LNCS).
[14] T. Murata, "Petri nets: Properties, analysis, and applications,"Proc. IEEE, vol. 77, no. 4, pp. 541-580, Apr. 1989.
[15] J. L. Peterson,Petri Net Theory and the Modeling of Systems. Englewood Cliffs, NJ: Prentice-Hall, 1981.
[16] B. Randell, "System structure for software fault tolerance,"IEEE Trans. Software Eng., vol. SE-1, pp. 220-231, Jan. 1975.
[17] A. Salomaa,Theory of Automata. London: Pergamon, 1969.
[18] A. C. Shaw, "Software specification languages based on regular expressions," inSoftware Development Tools, W. E. Riddle and R. E. Fairley, Eds. Berlin, Heidelberg, New York: Springer-Verlag, 1980, pp. 148-176.
[19] H. Troebner, "Implementation of a method to systematically treat communication errors by means of regular expressions: Generation of context and compatibility relations and error hypotheses" (in German), Diploma thesis, Hochschule (Polytechnic) Bremerhaven, 1986.

Index Terms:
fault tolerance properties; complex software systems; formal specification; redundancy; system description; predicate/transition net; regular expressions; formal overview; system behavior; sequential behavior; single-system components; model layers; error detection; stepwise-refined specification; multistory shelving system model; fault tolerant computing; formal specification; Petri nets; software reliability
Citation:
F. Belli, K.-E. Grosspietsch, "Specification of Fault-Tolerant System Issues by predicate/Transition Nets and Regular Expressions-Approach and Case Study," IEEE Transactions on Software Engineering, vol. 17, no. 6, pp. 513-526, June 1991, doi:10.1109/32.87278
Usage of this product signifies your acceptance of the Terms of Use.