Embedding fault-tolerant properties in the design of complex software systems

Abstract A systematic way to introduce time-dependent and non-time-dependent properties into a component of a complex software system incorporating real-time restrictions is presented. The approach is based on the decomposition of an extended Petri net model, called the G -Net system. The approach to introduce non-time-dependent fault-tolerant properties is based on the analysis of G -Net systems. The idea is to avoid interference in the behavior of a component caused by faulty behavior in a hardware or software component that interacts with it, and also introduce means by which a component can detect a fault in its behavior and prevent itself from generating more errors. Performance analysis based on the introduction of fuzzy time Petri nets is used to define timing constraints. When violated, these timing constraints may trigger the execution of recovery blocks.

[1]  Thomas I. McVittie,et al.  Implementing design diversity to achieve fault tolerance , 1991, IEEE Software.

[2]  Fevzi Belli,et al.  Specification of Fault-Tolerant System Issues by Predicate/Transition Nets and Regular Expressions-Approach and Case Study , 1991, IEEE Trans. Software Eng..

[3]  Amir Pnueli,et al.  In Transition From Global to Modular Temporal Reasoning about Programs , 1989, Logics and Models of Concurrent Systems.

[4]  Russ Abbott,et al.  Resourceful systems for fault tolerance, reliability, and safety , 1990, CSUR.

[5]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[6]  Marco Ajmone Marsan,et al.  A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems , 1984, TOCS.

[7]  Bernhard Josko,et al.  Verifying the Correctness of AADL Modules Using Model Checking , 1989, REX Workshop.

[8]  Kurt Jensen.  Coloured Petri nets: A high level language for system design and analysis , 1989, Applications and Theory of Petri Nets.

[9]  Michael K. Molloy.  Performance Analysis Using Stochastic Petri Nets , 1982, IEEE Transactions on Computers.

[10]  Joseph Sifakis.  Performance Evaluation of Systems Using Nets , 1979, Advanced Course: Net Theory and Applications.

[11]  Kurt Lautenbach,et al.  System Modelling with High-Level Petri Nets , 1981, Theor. Comput. Sci..

[12]  Nancy G. Leveson,et al.  Analyzing Safety and Fault Tolerance Using Time Petri Nets , 1985, TAPSOFT, Vol.2.

[13]  Hermann Kopetz,et al.  Distributed fault-tolerant real-time systems: the Mars approach , 1989, IEEE Micro.

[14]  Ghassan Chehaibar.  Use of reentrant nets in modular analysis of colored nets , 1990, Applications and Theory of Petri Nets.

[15]  Didier Dubois,et al.  Processing fuzzy temporal knowledge , 1989, IEEE Trans. Syst. Man Cybern..

[16]  Barry W. Johnson.  Design and Analysis of Fault-Tolerant Systems for Industrial Applications , 1989, Fehlertolerierende Rechensysteme.

[17]  Bernhard Josko.  MCTL - An Extension of CTL for Modular Verification of Concurrent Systems , 1987, Temporal Logic in Specification.

[18]  Rami R. Razouk,et al.  The derivation of performance expressions for communication protocols from timed petri net models , 1984, Comput. Commun. Rev..

[19]  David A. Rennels,et al.  Fault-Tolerant Computing—Concepts and Examples , 1984, IEEE Transactions on Computers.

[20]  Yi Deng,et al.  Unifying multi-paradigms in software system design , 1992, Proceedings Fourth International Conference on Software Engineering and Knowledge Engineering.

[21]  Jorge C. A. de Figueiredo,et al.  The Design of Real-Time Distributed information Systems with Object-Oriented and Fault-Tolerant Characteristics , 1993, SEKE.

[22]  Bernhard Josko,et al.  Modular Verification of Petri Nets: The Temporal Logic Approach , 1989, REX Workshop.

[23]  Nancy G. Leveson,et al.  Safety Analysis Using Petri Nets , 1987, IEEE Transactions on Software Engineering.

[24]  Bernhard Josko.  A Context Dependent Equivalence Relation Between Kripke Structures , 1990, CAV.

[25]  Kim G. Larsen,et al.  Partial Specifications and Compositional Verification , 1991, Theor. Comput. Sci..

[26]  P. Merlin,et al.  Recoverability of Communication Protocols - Implications of a Theoretical Study , 1976, IEEE Transactions on Communications.

[27]  Wilfried Brauer,et al.  A survey of behaviour and equivalence preserving refinements of Petri nets , 1991, Applications and Theory of Petri Nets.

[28]  C. Ramchandani,et al.  Analysis of asynchronous concurrent systems by timed petri nets , 1974 .

[29]  Hartmann J. Genrich.  Predicate/transition nets , 1987 .

[30]  Yi Deng,et al.  A Framework for the Modeling and Prototyping of Distributed Information Systems , 1991, Int. J. Softw. Eng. Knowl. Eng..

[31]  Jorge C. A. de Figueiredo,et al.  Integrating Software Engineering Methods and Petri Nets for the Specification and Prototyping of Complex Information Systems , 1993, Application and Theory of Petri Nets.

[32]  Orna Grumberg,et al.  Model checking and modular verification , 1991, TOPL.

[33]  C. Ghezzi,et al.  A general way to put time in Petri nets , 1989, IWSSD '89.

[34]  Nancy G Leveson,et al.  Software safety: why, what, and how , 1986, CSUR.

[35]  Peter J. Haas,et al.  Regenerative Stochastic Petri Nets , 1986, Perform. Evaluation.