ScienceDirect® Home Skip Main Navigation Links
You have guest access to ScienceDirect. Find out more.
 
Home
Browse
My Settings
Alerts
Help
 Quick Search
 Search tips (Opens new window)
    Clear all fields    
Journal of Systems and Software
Volume 25, Issue 1, April 1994, Pages 23-37
 
Font Size: Decrease Font Size  Increase Font Size
 Abstract - selected
Purchase PDF (1908 K)

 
 
 
Related Articles in ScienceDirect
View More Related Articles
 
View Record in Scopus
 
doi:10.1016/0164-1212(94)90054-X    How to Cite or Link Using DOI (Opens New Window)
Copyright © 1994 Published by Elsevier Science Inc.

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

Angelo Perkusich and J. C. A. de Figueiredo

S. K. Chang

Department of Electrical Engineering, Federal University of Paraíba, Campina Grande, Brazil Department of Computer Science, University of Pittsburgh, Pittsburgh, Pennsylvania, USA

Available online 26 June 2003.

Purchase the full-text article



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.

Article Outline

• References

 
Home
Browse
My Settings
Alerts
Help
Elsevier.com (Opens new window)
About ScienceDirect  |  Contact Us  |  Information for Advertisers  |  Terms & Conditions  |  Privacy Policy
Copyright © 2008 Elsevier B.V. All rights reserved. ScienceDirect® is a registered trademark of Elsevier B.V.