Journal ArticleDOI
Embedding fault-tolerance properties in the design of complex software systems
Reads0
Chats0
TLDR
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.About:
This article is published in Journal of Systems and Software.The article was published on 1994-04-01. It has received 11 citations till now. The article focuses on the topics: Component (UML) & Component-based software engineering.read more
Citations
More filters
Book ChapterDOI
Integrating Software Engineering Methods and Petri Nets for the Specification and Prototyping of Complex Information Systems
Yi Deng,Shi-Kuo Chang,Jorge C. A. de Figueired,Jorge C. A. de Figueired,Angelo Perkusich,Angelo Perkusich +5 more
TL;DR: This work uses the client/server example to illustrate the G-Net specification of distributed systems, and how such a specification can be translated into a Predicate/Transition net for formal analysis.
Journal ArticleDOI
A model-oriented approach to safety analysis using fault trees and a support system
Shaoying Liu,John McDermid +1 more
TL;DR: A model-oriented approach for safety analysis using fault trees is described, which advocates that a safety analysis of a system should start with a systematic study of the physical model of the system and, as a result, construct a system safety model based on thephysical model.
Journal ArticleDOI
Faults and timing analysis in real-time distributed systems: a fuzzy time Petri-net-based approach
TL;DR: It is shown that fuzzy time G-nets can be used to represent fault-tolerant techniques and to consider anticipated faults in real-time distributed systems.
Proceedings ArticleDOI
Smart objects for dependable real-time systems
TL;DR: A modular approach to systematically introduce fault-tolerant properties into the design of time-dependent software components and techniques to design resilient smart objects are described.
References
More filters
Journal ArticleDOI
Petri nets: Properties, analysis and applications
TL;DR: The author proceeds with introductory modeling examples, behavioral and structural properties, three methods of analysis, subclasses of Petri nets and their analysis, and one section is devoted to marked graphs, the concurrent system model most amenable to analysis.
Journal ArticleDOI
A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems
TL;DR: It is shown that GSPN are equivalent to continuous-time stochastic processes, and solution methods for the derivation of the steady state probability distribution are presented.
Journal ArticleDOI
Performance Analysis Using Stochastic Petri Nets
TL;DR: An isomorphism between the behavior of Petri nets with exponentially distributed transition rates and Markov processes is presented and this work solves for the steady state average message delay and throughput on a communication link when the alternating bit protocol is used for error recovery.
Journal ArticleDOI
Recoverability of Communication Protocols--Implications of a Theoretical Study
P. Merlin,D. Farber +1 more
TL;DR: The time-Petri net (TPN) appears to be a suitable model for the study of practical recoverable processes and several practical communication protocols are formally designed and analyzed using this new model.
Dissertation
Analysis of asynchronous concurrent systems by timed petri nets
TL;DR: This thesis is concerned with the modeling and performance analysis of systems which consist of concurrently acting components, an example of which is an asynchronous pipelined processor.