Conclusions Performability models of multiprocessor systems and their evaluation are presented. Two cases in which hierarchical modeling is applied are examined. 1. Models are developed to analyze the behavior of processor arrays of various sizes in the presence of permanent, transient, intermittent, and near-coincident faults. Models can be generated for typical reconfiguration schemes that co...

Dependable LQNS is a software tool for modeling and evaluating performability of fault-tolerant layered distributed applications that use a separate architecture for failure detection and reconfiguration. It takes into account the effects of management architecture, application software architecture, failure of management and application components in the dependability computation. It uses a co...

Drama is a stage performing art in which actors play characters and perform on to achieve narrative purposes the form of speech, movement, dance so on. The literary concept drama refers script, or play, written for theatrical performance. Translation theorist Susan Basnett has accordingly proposed famous principle performability, provides new perspective study translation. This paper examines d...

With the increasing complexity of multiprocessor and distributed processing systems, the need to develop efficient and accurate modeling methods is evident. Fault tolerance and degradable performance of such systems has given rise to considerable interest in models for the combined evaluation of performance and reliability [l], [2]. Markov or semi-Markov reward models can be used to evaluate th...

In this chapter, we discuss practical issues regarding analytical modeling of complex computer systems. We compare diierent model types in terms of their strengths and weaknesses for model construction, eeciency and accuracy of solution algorithms and the desired performance measures. The basic concepts of performance, dependability and performability modeling are introduced using the example o...

With the increased attention ATM is receiving to meet the needs of a wide variety of applications, tools are needed to help a network designer focus on the design at hand, rather than to spend time exhaustively learning the tools themselves. This is the concept behind IDEA. This paper introduces \modeling engines" chosen to be integrated into IDEA and presents a user interface for networking de...

In this paper, we discuss a case study performed for validating a Natural Language (NL) based software requirements specification (SRS) in terms of completeness, consistency, and fault-tolerance. A partial verification of the Guidance and Control Software (GCS) Specification is provided as a result of analysis using three modeling formalisms. Zed was applied first to detect and remove ambiguity...

Abstract Action theory may be regarded as a theoretical foundation of AI, because it provides in logically coherent way the principles performing actions by agents. But, more importantly, action offers formal ontology mainly based on set-theoretic constructs. This isolates various types structured entities: atomic, sequential, compound, ordered, situational etc., and is solid non-removable any ...

The SHARPE package is now 1 3 y ears old. A w ell known package in the eld of reliability and performability, SHARPE is used in universities as well as in companies. Many important c hanges have been made during these years to improve the satisfaction of our users. Recently several new algorithms have been added and a Graphical User Interface has been implemented. This paper presents the curren...