Copyright © 1994 Published by Elsevier Science Inc.
Embedding fault-tolerant properties in the design of complex software systems
Available online 26 June 2003.
References and further reading may be available for this article. To view references and further reading you must purchase this article.
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.






E-mail Article
Add to my Quick Links

Cited By in Scopus (4)




