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.